PL/pgSQL 语言不区分大小写。所有关键字和 标识符都可以混合使用大写和小写。

PL/pgSQL 是一种面向块的语言。块的定义是

    [<<label>>]
    [DECLARE
        declarations]
    BEGIN
        statements
    END;

块的语句部分可以有任意数量的子块。子块可以用来 对语句块外部隐藏变量。块的声明 部分中声明的变量在每次进入该块时 都会被初始化为它们的默认值， 而不是每次函数调用只初始化一次。

重要的是不要误解 PL/pgSQL 中用于分组语句的 BEGIN/END 与 用于事务控制的数据库命令之间的区别。函数和触发器过程不能 启动或提交事务，而且 Postgres 没有嵌套事务。

PL/pgSQL 中有两种注释。双横线 '--' 开始一个延伸到行尾的注释。'/*' 开始一个延伸到下一个 '*/' 出现处的块注释。 块注释不能嵌套，但双横线注释可以 放在块注释内，双横线也可以隐藏 块注释定界符 '/*' 和 '*/'。

块或其子块中使用的所有变量、行和记录都必须在块的声明 区中声明，唯一例外是在整数范围上迭代的 FOR 循环的循环变量。 传给 PL/pgSQL 函数的参数会用通常的标识符 $n 自动声明。 声明使用如下语法：

变量的类型可以是数据库中 任何已存在的基本类型。上面声明区中的 type 定义为：

variable 是在同一函数中先前声明、 在此处可见的 变量的名称。

class 是已存在的表 或视图的名称，field 是其中某个 属性的名称。

使用 class.field%TYPE 会使 PL/pgSQL在后端生命周期内第一次调用函数时 查找该属性的定义。 假设有一个带 char(20) 属性的表和一些在局部变量中 处理其内容的 PL/pgSQL 函数。现在有人 认为 char(20) 不够用，转储表、删除它、 把这个属性重新定义为 char(40) 再重建表并恢复数据。哈——他忘了那些 函数。其中的计算会把值 截断为 20 个字符。但如果它们是用 class.field%TYPE 声明定义的，就会自动处理大小变化， 包括新表模式把该属性定义为 text 类型的情况。

PL/pgSQL 语句中使用的所有表达式都由后端的 执行器处理。看起来包含常量的 表达式实际上可能需要运行时求值（例如 datetime 类型的 'now'）， 因此 PL/pgSQL 解析器不可能 识别除 NULL 关键字之外的真常量值。所有 表达式都在内部通过执行查询

    SELECT expression
    

用 SPI 管理器求值。在表达式中，变量 标识符的出现被替换为参数，变量的 实际值通过参数数组传给执行器。PL/pgSQL 函数中使用的所有表达式都只预备和 保存一次。

Postgres 主解析器所做的类型检查对 常量值的解释有 一些副作用。具体来说， 下面两个函数的行为有所不同：

    CREATE FUNCTION logfunc1 (text) RETURNS datetime AS '
        DECLARE
            logtxt ALIAS FOR $1;
        BEGIN
            INSERT INTO logtable VALUES (logtxt, ''now'');
            RETURN ''now'';
        END;
    ' LANGUAGE 'plpgsql';
    

and

    CREATE FUNCTION logfunc2 (text) RETURNS datetime AS '
        DECLARE
            logtxt ALIAS FOR $1;
            curtime datetime;
        BEGIN
            curtime := ''now'';
            INSERT INTO logtable VALUES (logtxt, curtime);
            RETURN curtime;
        END;
    ' LANGUAGE 'plpgsql';
    

在 logfunc1() 的情况中，Postgres 主解析器 在为 INSERT 预备计划时知道字符串 'now' 应该被解释为 datetime，因为 logtable 的目标字段 是那种类型。这样，它此时就会把它变成一个常量， 而这个常量值随后在后端整个 生命周期内的所有 logfunc1() 调用中 都被使用。不用说，这并不是 程序员想要的。

在 logfunc2() 的例子中，Postgres 主解析器不知道 'now' 应该变成什么类型，因此它返回一个包含 字符串 'now' 的 text 数据类型。在赋值给局部变量 curtime 时， PL/pgSQL 解释器会调用 text_out() 和 datetime_in() 函数把这个字符串 转换为 datetime 类型。

Postgres 主解析器所做的这种 类型检查是在 PL/pgSQL 几乎完工之后 实现的。这是 6.3 与 6.4 之间的一个差异，影响所有 使用 SPI 管理器预备计划特性的函数。 目前在 PL/pgSQL 中，按上述方式使用 局部变量是让这些值被正确解释的 唯一方法。

如果在表达式或语句中使用记录字段，在同一个表达式的 多次调用之间字段的数据类型 不应改变。在编写处理多个表的 事件的触发器过程时，请记住这一点。

PL/pgSQL 解析器按下面的说明不理解的任何内容 都会被放进一个查询并发给数据库引擎 执行。这种查询不应返回任何数据。

PL/pgSQL 可以用来定义触发器过程。它们像平常一样用 CREATE FUNCTION 命令创建为一个没有 参数、返回类型为 OPAQUE 的函数。

用作触发器过程的函数有一些 Postgres 特有的细节。

首先它们在顶层块的声明区中自动创建了一些 特殊变量。它们是

其次它们必须返回 NULL，或者返回一个恰好具有 触发该触发器的表的结构的记录/行。 AFTER 触发器总是可以返回 NULL 值而 无任何影响。BEFORE 触发器返回 NULL 时会通知触发器 管理器跳过这一实际行的操作。 否则，返回的记录/行会替换操作中被插入/更新的 行。可以直接在 NEW 中替换单个值 并返回它，或者构造一个完整的新记录/行 返回。

Postgres 没有一个很聪明的 异常处理模型。每当解析器、规划器/优化器 或执行器判定一条语句无法继续处理时， 整个事务都会被中止，系统会跳回 主循环去获取客户端应用的 下一条查询。

可以挂入错误机制来注意到发生了 这种情况。但目前无法判断到底是什么 导致了中止（输入/输出转换错误、浮点 错误、解析错误）。而且此时数据库后端 可能处于不一致状态，返回上层 执行器或发出更多命令可能会损坏整个数据库。 即便可以，此时事务 已中止的信息已经发送给了客户端应用，恢复 操作没有任何意义。

因此，PL/pgSQL 目前在函数或触发器 过程执行期间遇到中止时，唯一能做的 就是写一些额外的 DEBUG 级别日志消息， 说明发生在哪个函数的什么地方（行号和 语句类型）。

下面两个 PL/pgSQL 函数与 C 语言 函数讨论中的对应函数等价。

    CREATE FUNCTION add_one (int4) RETURNS int4 AS '
        BEGIN
            RETURN $1 + 1;
        END;
    ' LANGUAGE 'plpgsql';
    

    CREATE FUNCTION concat_text (text, text) RETURNS text AS '
        BEGIN
            RETURN $1 || $2;
        END;
    ' LANGUAGE 'plpgsql';
    

这同样是 C 函数一节中示例的 PL/pgSQL 等价实现。

    CREATE FUNCTION c_overpaid (EMP, int4) RETURNS bool AS '
        DECLARE
            emprec ALIAS FOR $1;
            sallim ALIAS FOR $2;
        BEGIN
            IF emprec.salary ISNULL THEN
                RETURN ''f'';
            END IF;
            RETURN emprec.salary > sallim;
        END;
    ' LANGUAGE 'plpgsql';
    

这个触发器确保每当表中插入或更新一行时， 当前的用户名和时间都会被盖印到 该行上。它还确保给出了雇员的名字，并且 工资是正值。

    CREATE TABLE emp (
        empname text,
        salary int4,
        last_date datetime,
        last_user name);

    CREATE FUNCTION emp_stamp () RETURNS OPAQUE AS
        BEGIN
            -- Check that empname and salary are given
            IF NEW.empname ISNULL THEN
                RAISE EXCEPTION ''empname cannot be NULL value'';
            END IF;
            IF NEW.salary ISNULL THEN
                RAISE EXCEPTION ''% cannot have NULL salary'', NEW.empname;
            END IF;

            -- Who works for us when she must pay for?
            IF NEW.salary < 0 THEN
                RAISE EXCEPTION ''% cannot have a negative salary'', NEW.empname;
            END IF;

            -- Remember who changed the payroll when
            NEW.last_date := ''now'';
            NEW.last_user := getpgusername();
            RETURN NEW;
        END;
    ' LANGUAGE 'plpgsql';

    CREATE TRIGGER emp_stamp BEFORE INSERT OR UPDATE ON emp
        FOR EACH ROW EXECUTE PROCEDURE emp_stamp();