声明一个指定基本类型的变量。如果变量被声明为 CONSTANT，它的值不能被更改。如果指定了 NOT NULL，赋予 NULL 值会导致一个运行时错误。由于所有变量的默认值都是 SQL的 NULL 值，所有声明为 NOT NULL 的变量还必须指定一个默认值。

默认值在每次函数被调用时都会被求值。因此把 'now'赋给一个 datetime类型的变量会让该变量拥有实际这次函数调用的时间，而不是函数被预编译为字节码时的时间。

声明一个具有给定类结构的行。类必须是数据库中已存在的表或视图的名字。行的字段用点号记法访问。函数的参数可以是复合类型（完整的表行）。这种情况下，对应的标识符 $n 将是一个行类型，但它必须用下面描述的 ALIAS 命令声明别名。行中只能访问表行的用户属性，不能访问 Oid 或其他系统属性（因为该行可能来自一个视图，而视图的行没有有用的系统属性）。

行类型的字段继承表中该字段的尺寸或精度（对于 char() 等数据类型）。

记录与行类型类似，但它们没有预定义的结构。它们被用在选取和 FOR 循环中，保存 SELECT 操作产生的一个实际数据库行。同一个记录可以用于不同的选取。当记录中没有实际行时访问记录或试图给记录字段赋值都会导致运行时错误。

触发器中的 NEW 和 OLD 行会作为记录交给过程。这是必要的，因为在Postgres中同一个触发器过程可以处理不同表的触发器事件。

为了让代码有更好的可读性，可以为函数的位置参数定义一个别名。

当复合类型作为参数传给函数时，这种别名声明是必需的。SQL 函数中的点号记法 $1.salary 在 PL/pgSQL 中是不允许的。

更改变量、记录或行的名字。这在需要在触发器过程内部用另一个名字引用 NEW 或 OLD 时有用。

把一个值赋给变量或行/记录字段写作

	 identifier := expression;
	

如果表达式的结果数据类型与变量的数据类型不匹配，或者变量具有已知的尺寸/精度（如 char(20)），结果值会被 PL/pgSQL 字节码解释器使用结果类型的输出函数和变量类型的输入函数隐式转换。注意这可能导致类型的输入函数产生运行时错误。

把一个完整的选取赋给记录或行可以这样完成

SELECT  INTO target expressions FROM ...;
	

target可以是记录、行变量，或者由变量和记录/行字段组成的逗号分隔列表。

如果用一行或一个变量列表作为目标，所选中的值必须与目标的结构完全匹配，否则会发生运行时错误。FROM 关键字后面可以跟 SELECT 语句允许的任何有效的限定条件、分组、排序等。

有一个名为 FOUND 的 bool 类型特殊变量，可以在 SELECT INTO 之后立即使用它来检查赋值是否成功。

SELECT INTO myrec * FROM EMP WHERE empname = myname;
IF NOT FOUND THEN
    RAISE EXCEPTION ''employee % not found'', myname;
END IF;
	

如果选取返回多行，只有第一行会被移入目标字段。其余的行都会被无声地丢弃。

Prostgres数据库中定义的所有函数都返回一个值。因此，调用函数的通常方式是执行一个 SELECT 查询或做一次赋值（产生一个 PL/pgSQL 内部的 SELECT）。但有时人们并不关心函数的结果。

PERFORM query
	

通过 SPI 管理器执行一个'SELECT query' 并丢弃结果。像局部变量这样的标识符仍然会被替换为参数。

RETURN expression
	

函数终止，expression的值会被返回给上层执行器。函数的返回值不能没有定义。如果控制到达函数顶层块的末尾而没有碰到 RETURN 语句，就会发生运行时错误。

表达式的结果会被自动转换成函数的返回类型，转换方式与赋值中描述的相同。

正如上面的例子所示，有一条 RAISE 语句可以把消息抛进 Postgres的 elog 机制。

RAISE level format'' [, identifier [...]];
	

在格式中，"%"用作后续逗号分隔标识符的占位符。可用的级别有 DEBUG（在生产运行的数据库中被无声地抑制）、NOTICE（写进数据库日志并转发给客户端应用）和 EXCEPTION（写进数据库日志并中止事务）。

IF expression THEN
    statements
[ELSE
    statements]
END IF;
	

expression必须返回一个至少可以转换为布尔类型的值。

有多种类型的循环。

[<<label>>]
LOOP
    statements
END LOOP;
	

一个必须由 EXIT 语句显式终止的无条件循环。可选的标签可以被嵌套循环的 EXIT 语句用来指定应该终止哪一层嵌套。

[<<label>>]
WHILE expression LOOP
    statements
END LOOP;
	

一个条件循环，只要expression的求值为真它就一直执行。

[<<label>>]
FOR name IN [ REVERSE ] expression .. expression LOOP
    statements
END LOOP;
	

一个遍历一段整数值范围的循环。变量 name被自动创建为 integer 类型并且只存在于循环内部。给出范围下界和上界的两个表达式只在进入循环时被求值。迭代步长总是 1。

[<<label>>]
FOR record | row IN select_clause LOOP
    statements
END LOOP;
	

记录或行会被赋以 select 子句产生的所有行，并且语句对每一行都执行。如果循环被 EXIT 语句终止，最后赋值的行在循环之后仍然可以访问。

EXIT [ label ] [ WHEN expression ];
	

如果没有给出label，最内层的循环会被终止，接下来执行 END LOOP 之后的语句。如果给出了 label，它必须是当前或嵌套循环块某个上层的标签。此时被命名的循环或块被终止，控制转移到该循环/块对应的 END 之后的语句。

数据类型 RECORD；在行级触发器中保存 INSERT/UPDATE 操作的新数据库行的变量。

数据类型 RECORD；在行级触发器中保存 UPDATE/DELETE 操作的旧数据库行的变量。

数据类型 name；包含实际被触发的触发器名字的变量。

数据类型 text；依据触发器定义而是'BEFORE'或'AFTER'之一的字符串。

数据类型 text；依据触发器定义而是'ROW'或'STATEMENT'之一的字符串。

数据类型 text；'INSERT'、'UPDATE'或'DELETE'之一的字符串，指出触发器实际是为哪个操作而触发。

数据类型 oid；导致触发器调用的表的对象 ID。

数据类型 name；导致触发器调用的表的名字。

数据类型 integer；CREATE TRIGGER 语句中给触发器过程的参数个数。

text 类型的数组；来自 CREATE TRIGGER 语句的参数。索引从 0 开始计数并且可以用表达式给出。无效的索引（< 0 或 >= tg_nargs）得到 NULL 值。