openGauss关于PL/SQL匿名块调用测试

openGauss 关于 PL/SQL 匿名块调用测试

一、原理介绍

PL/SQL(Procedure Language/Structure Query Language)是标准 SQL 语言添加了过程化功能的一门程序设计语言。

单一的 SQL 语句只能进行数据操作，没有流程控制，无法开发复杂的应用。PL/SQL 语言是结合了结构化查询与数据库自身过程控制为一体的强大语言。

1.PL/SQL 原理

PL/SQL 是一种块结构的语言，它将一组语句放在一个块中，一次性发送给服务器。

PL/SQL 引擎分析收到 PL/SQL 语句块中的内容，把其中的过程控制语句由 PL/SQL 引擎自身去执行,把 PL/SQL 块中的 SQL 语句交给服务器的 SQL 语句执行器执行。

PL/SQL 块发送给服务器后，先被编译然后执行，对于有名称的 PL/SQL 块（如子程序）可以单独编译，永久的存储在数据库中，随时准备执行。

PL/SQL 是一种块结构的语言，一个 PL/SQL 程序包含了一个或者多个逻辑块，逻辑块中可以声明变量，变量在使用之前必须先声明。

2.PL/SQL 特点

–与 SQL 紧密结合 –支持面向对象编程 –更好的性能 –可移植性 –安全性

3.语法结构

除了正常的执行程序外，PL/SQL 还提供了专门的异常处理部分进行异常处理

[DECLARE
     --declaration statements]  ①
BEGIN
     --executable statements   ②
[EXCEPTION
     --exception statements]   ③
END;

语法解析 ① 声明部分：声明部分包含了变量和常量的定义。在此声明 PL/SQL 用到的变量,类型及游标，以及局部的存储过程和函数， 这个部分由关键字 DECLARE 开始，如果不声明变量或者常量，可以省略这部分。 ② 执行部分：执行部分是 PL/SQL 块的指令部分，由关键字 BEGIN 开始，关键字 END 结尾。 所有的可执行 PL/SQL 语句都放在这一部分，该部分执行命令并操作变量。其他的 PL/SQL 块可以作为子块嵌套在该部分。 PL/SQL 块的执行部分是必选的。注意 END 关键字后面用分号结尾。 ③ 异常处理部分：该部分是可选的，该部分用 EXCEPTION 关键字把可执行部分分成两个小部分，之前的程序是正常运行的程序， 一旦出现异常就跳转到异常部分执行。

4.PL/SQL 语句块的类型

1、匿名块 2、命名块 –①procedure 存储过程 –②function 函数 –③package 包 –④trigger 触发器

原本大家可能一提到 PL/SQL 就会想到 ORACLE，ORACLE 的 PL/SQL 很强大，它的匿名块调用以及有名块调用可以解决很多问题，在 openGauss 中，其实也有这样的功能，如下，是我针对 openGauss 匿名块的一些测试。

二、匿名块测试

1.普通匿名块调用

openGauss=# create table t1(a int ,b text);
CREATE TABLE

openGauss=# DECLARE
openGauss-# PRAGMA AUTONOMOUS_TRANSACTION;
openGauss-# BEGIN
openGauss$# raise notice 'Normal anonymous block printing.';
openGauss$# insert into t1 values(1,'I am lmj!');
openGauss$# END;
openGauss$# /
NOTICE:  Normal anonymous block printing.

ANONYMOUS BLOCK EXECUTE
openGauss=# select * from t1;
 a |     b
---+-----------
 1 | I am lmj!
(1 row)

2.匿名块和事务影响

启动一个事务后，执行一个自治事务匿名块，如果事务回滚，则匿名块不回滚。

3.外部匿名块和内部匿名块

其中外部匿名块是一个公共匿名块，而内部匿名块是一个自治事务匿名块，可以根据如下例子和第二个例子对比事务回滚和匿名块回滚

openGauss=# truncate table t1;
TRUNCATE TABLE

openGauss=# START TRANSACTION;
START TRANSACTION
openGauss=# DECLARE
openGauss-# PRAGMA AUTONOMOUS_TRANSACTION;
openGauss-# BEGIN
openGauss$# raise notice 'an autonomous transaction anonymous block.';
openGauss$# insert into t1 values(1,'it will commit!');
openGauss$# END;
openGauss$# /
NOTICE:  an autonomous transaction anonymous block.

ANONYMOUS BLOCK EXECUTE
openGauss=# insert into t1 values(1,'you will rollback!');
INSERT 0 1
openGauss=# rollback;
ROLLBACK
openGauss=# select * from t1;
 a |        b
---+-----------------
 1 | it will commit!
(1 row)

4.匿名块直接执行自治事务匿名块并引发异常

openGauss=# DECLARE
openGauss-# PRAGMA AUTONOMOUS_TRANSACTION;
openGauss-# res int := 0;
openGauss-# res2 int := 1;
openGauss-# BEGIN
openGauss$# raise notice 'just use call.';
openGauss$# res2 = res2/res;
openGauss$# END;
openGauss$# /
NOTICE:  just use call.

ERROR:  ERROR:  division by zero
CONTEXT:  PL/pgSQL function inline_code_block line 7 at assignment

匿名块执行错误，会报出异常

5.异常捕获

在执行期间引发异常后，将捕获匿名块，如下所示，在执行错误后，抛出 autonomous throw exception 提示

openGauss=# DECLARE
openGauss-# PRAGMA AUTONOMOUS_TRANSACTION;
openGauss-# res int := 0;
openGauss-# res2 int := 1;
openGauss-# BEGIN
openGauss$# raise notice 'error catch.';
openGauss$# res2 = res2/res;
openGauss$# EXCEPTION
openGauss$# WHEN division_by_zero THEN
openGauss$#     raise notice 'autonomous throw exception.';
openGauss$# END;
openGauss$# /
NOTICE:  error catch.

NOTICE:  autonomous throw exception.

ANONYMOUS BLOCK EXECUTE