描述

定义一个指明了的基本类型的变量．如果变量被定义为 CONSTANT，该变量值就不能修改．如果声明了 NOT NULL，则赋予一个 NULL 值给该变量将导致一个运行时错误．因为所有变量的缺省值都是 SQL NULL，因而所有定义为 NOT NULL 的变量都必须有指明的缺省值．

缺省值在每次函数调用时都被计算．所以赋予 'now' 给一个类型为 datetime 的变量将导致变量拥有实际函数调用时的时间，而不是函数被编译为字节码的时间．
 

定义一个带有指定表的结构的行．表必须是一个数据库中现存的表或视图的名称．行的字段是通过点定义来访问的．函数的参数可以是复合类型（表里面完整的行）．这时，对应的标识 $n 将是一个行类型（rowtype），但是它必须用下面描述的 ALIAS 命令取个别名．在一行里只有用户字段可以被访问，而 OID 或其他系统字段都不可访问（因为行可能来自一个视图，而视图的行并没有有用的系统字段）．

行类型（rowtype）字段继承表中 char() 等数据类型的字段尺寸或精度．
 

记录（Records）类似于行类型（rowtypes），但它们没有预定义的结构．它们在选择和 FOR 循环中使用，用于从一个 SELECT 操作中保存一个具体的数据库的行．该条记录可以在不同的选择中使用．当没有实际的行存在于其中时试图访问一条记录或赋予某个变量的值将导致一个运行时错误产生．

触发器里的 NEW 和 OLD 行是作为记录传给过程的．这一点是必要的，因为 Postgres 里同样的触发器过程可以为不同的表控制触发器事件．
 

为了让代码更具可读性，我们可以为函数的位置参数定义一个别名．
 

改变变量，记录或者行的名称．这一点当 NEW 或 OLD 在触发器里要被做为另一个名字引用时很有用．

给一个变量或行/记录赋值用下面方法

         identifier := expression;

下面方法可以把一个完整的选择放到一条记录或者行里

SELECT expressions INTO target FROM ...;

如果一行或者一个变量列表当做目标，选择的数值必须与目标列的结构完全一样，否则会产生一条运行时错误．FORM 关键字可以跟随着任意可在 SELECT 语句里使用的有效的资格（条件），分组，排序等．

一个名为 FOUND 的特殊的布尔类型的变量可以在 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

RETURN expression

表达式的结果将被自动转换成函数返回类型－－象我们在赋值里描述的那样．
 

象上面的例子指明的那样，有一个 RAISE 语句可以丢出一条信息到 Postgres elog 机制里面．

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

IF expression THEN
    statements
[ELSE
    statements]
END IF;

有许多循环的类型．

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

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

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

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

EXIT [ label ] [ WHEN expression ];

数据类型是 text 的数组；是 CREATE TRIGGER 语句里的参数．下标从 0 开始记数，并且可以由一个表达式来表示．非法下标（< 0 或 >= tg_nargs）导致一个 NULL 值的返回．