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();