IF boolean-expression THEN
    statements
END IF;

IF-THEN 语句是 IF 最简单的形式。条件为真时，THEN 和 END IF 之间的语句将被执行。否则，它们被跳过。

IF v_user_id <> 0 THEN
    UPDATE users SET email = v_email WHERE user_id = v_user_id;
END IF;

IF boolean-expression THEN
    statements
ELSE
    statements
END IF;

IF-THEN-ELSE 语句在 IF-THEN 的基础上增加了对条件求值为假时应执行 的另一组语句的指定。

IF parentid IS NULL or parentid = ''''
THEN 
    return fullname;
ELSE
    return hp_true_filename(parentid) || ''/'' || fullname;
END IF;


IF v_count > 0 THEN 
    INSERT INTO users_count(count) VALUES(v_count);
    return ''t'';
ELSE 
    return ''f'';
END IF;

IF 语句可以嵌套，如下例所示：

IF demo_row.sex = ''m'' THEN
  pretty_sex := ''man'';
ELSE
  IF demo_row.sex = ''f'' THEN
    pretty_sex := ''woman'';
  END IF;
END IF;

使用这种形式时，你实际上是在外层 IF 语句的 ELSE 部分中嵌套了一个 IF 语句。因此，每个嵌套的 IF 需要一个 END IF 语句，父级 IF-ELSE 也需要一个。这可行，但当要检查的备选很多时就变得乏味。

IF boolean-expression THEN
    statements
[ ELSIF boolean-expression THEN
    statements
[ ELSIF boolean-expression THEN
    statements
    ...]]
[ ELSE
    statements ]
END IF;

IF-THEN-ELSIF-ELSE 提供了在一条语句中检查许多备选的 更方便的方法。形式上它等价于嵌套的 IF-THEN-ELSE-IF-THEN 命令，但只需要一个 END IF。

下面是一个例子：

IF number = 0 THEN
    result := ''zero'';
ELSIF number > 0 THEN 
    result := ''positive'';
ELSIF number < 0 THEN
    result := ''negative'';
ELSE
    -- hmm, the only other possibility is that number IS NULL
    result := ''NULL'';
END IF;

最后的 ELSE 部分是可选的。

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

LOOP 定义一个无限重复的无条件循环，直到被 EXIT 或 RETURN 语句 终止。可选的标签可供嵌套循环中的 EXIT 语句用来指定应终止哪一层 嵌套。

EXIT [ label ] [ WHEN expression ];

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

如果存在 WHEN，只有当指定条件为真时才退出循环，否则控制传递到 EXIT 之后的语句。

例子：

LOOP
    -- some computations
    IF count > 0 THEN
        EXIT;  -- exit loop
    END IF;
END LOOP;

LOOP
    -- some computations
    EXIT WHEN count > 0;
END LOOP;

BEGIN
    -- some computations
    IF stocks > 100000 THEN
        EXIT;  -- illegal. Can't use EXIT outside of a LOOP
    END IF;
END;

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

WHILE 语句在条件表达式求值为真期间重复一个语句序列。条件在每次 进入循环体之前检查。

例如：

WHILE amount_owed > 0 AND gift_certificate_balance > 0 LOOP
    -- some computations here
END LOOP;

WHILE NOT boolean_expression LOOP
    -- some computations here
END LOOP;

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

这种形式的 FOR 创建一个在整数值范围上迭代的循环。变量 name 自动定义为 integer 类型，且只存在 于循环内部。给出范围下界和上界的两个表达式在进入循环时求值一次。 迭代步长通常为 1，指定 REVERSE 时为 -1。

整数 FOR 循环的一些例子：

FOR i IN 1..10 LOOP
  -- some expressions here

    RAISE NOTICE ''i is %'',i;
END LOOP;

FOR i IN REVERSE 10..1 LOOP
    -- some expressions here
END LOOP;