Procedural SQL (PSQL)

Table of Contents

Quick Links A handful of improvements was added to the collection of PSQL extensions that came with Firebird 2. The highlights are new capabilities to use domains and collation sequences when declaring variables and arguments in procedures and triggers. It is also now possible to apply a NOT NULL constraint to variables and arguments.

Quick Links

Domains in PSQL COLLATE in Stored Procedure Parameters and Variables NOT NULL Supported in Stored Procedure Parameters and Variables WHERE CURRENT OF Now Allowed for Views Context Variable ROW_COUNT Enhanced Explicit Cursors Defaults for Stored Procedure Arguments LEAVE <label> Syntax Support OLD Context Variables Now Read-only PSQL Stack Trace Call a UDF as a Void Function (Procedure) Domains in PSQL COLLATE in Stored Procedures NOT NULL in Stored Procedures WHERE CURRENT OF for Views ROW_COUNT Counts Rows Returned by SELECT Explicit Cursors Stored Procedure Arguments Can Take Defaults LEAVE <label> Flow Control Operator OLD Variables Now Read-only Stack Trace for PSQL Exceptions Call UDFs as Procedures Domains in PSQL

Adriano dos Santos Fernandes

(V.2.1) It is now possible to use a domain when declaring the data types of arguments and variables in PSQL modules. Depending on your requirements, you can declare the argument or variable using

the domain identifier alone, in lieu of the native data type identifier, to have the variable inherit all of the attributes of the domain; or

the data type of the domain, without inheriting CHECK constraints and the DEFAULT value (if declared in the domain), by including the TYPE OF keyword in the declaration (see the syntax below)

Syntax

data_type ::=

   <builtin_data_type>
   | <domain_name>
   | TYPE OF <domain_name>

Examples

CREATE DOMAIN DOM AS INTEGER;

CREATE PROCEDURE SP (

 I1 TYPE OF DOM,
 I2 DOM)

RETURNS (

 O1 TYPE OF DOM,
 O2 DOM)

AS

 DECLARE VARIABLE V1 TYPE OF DOM;
 DECLARE VARIABLE V2 DOM;

BEGIN

 ...

END

Note

A new field RDB$VALID_BLR was added in RDB$PROCEDURES and RDB$TRIGGERS to indicate whether the procedure/trigger is valid after an ALTER DOMAIN operation. The value of RDB$VALID_BLR is shown in the ISQL commands SHOW PROCEDURE or SHOW TRIGGER.

COLLATE in Stored Procedure Parameters and Variables

A. dos Santos Fernandes

(V.2.1) Collations can now be applied to PSQL variables, including stored procedure parameters.

NOT NULL Supported in Stored Procedure Parameters and Variables

A. dos Santos Fernandes

(V.2.1) The NOT NULL constraint can now be applied to PSQL variables, including stored procedure parameters.

Important

If you use this option, remember to include adequate exception handling for blocks that have the potential to return NULL to the variables so declared.

WHERE CURRENT OF Now Allowed for Views

Feature request CORE-1213

(V.2.1) The cursor operator WHERE CURRENT OF can now step through a cursor set selected from a view set, just as it does in a cursor set output from a SELECT on a table. For example:

... FOR SELECT ...

  FROM MY_VIEW INTO ... AS CURSOR VIEW_CURSOR DO

BEGIN

 ...
 DELETE FROM MY_VIEW
   WHERE CURRENT OF VIEW_CURSOR;
 ...

END

Context Variable ROW_COUNT Enhanced

D. Yemanov

ROW_COUNT has been enhanced so that it can now return the number of rows returned by a SELECT statement.

For example, it can be used to check whether a singleton SELECT INTO statement has performed an assignment:

 ..
 BEGIN
   SELECT COL FROM TAB INTO :VAR;
   IF (ROW_COUNT = 0) THEN
     EXCEPTION NO_DATA_FOUND;
 END
 ..

See also its usage in the examples below for explicit PSQL cursors.

Explicit Cursors

D. Yemanov

It is now possible to declare and use multiple cursors in PSQL. Explicit cursors are available in a DSQL EXECUTE BLOCK structure as well as in stored procedures and triggers.

Syntax pattern

   DECLARE [VARIABLE] <cursor_name> CURSOR FOR ( <select_statement> );
   OPEN <cursor_name>;
   FETCH <cursor_name> INTO <var_name> [, <var_name> ...];
   CLOSE <cursor_name>;

Examples

1.

   DECLARE RNAME CHAR(31);
   DECLARE C CURSOR FOR ( SELECT RDB$RELATION_NAME
                             FROM RDB$RELATIONS );
   BEGIN
     OPEN C;
     WHILE (1 = 1) DO
     BEGIN
       FETCH C INTO :RNAME;
       IF (ROW_COUNT = 0) THEN
         LEAVE;
       SUSPEND;
     END
     CLOSE C;
   END

2.

   DECLARE RNAME CHAR(31);
   DECLARE FNAME CHAR(31);
   DECLARE C CURSOR FOR ( SELECT RDB$FIELD_NAME
                          FROM RDB$RELATION_FIELDS
                          WHERE RDB$RELATION_NAME = :RNAME
                          ORDER BY RDB$FIELD_POSITION );
   BEGIN
     FOR
       SELECT RDB$RELATION_NAME
       FROM RDB$RELATIONS
       INTO :RNAME
     DO
     BEGIN
       OPEN C;
       FETCH C INTO :FNAME;
       CLOSE C;
       SUSPEND;
     END
   END

Note

Cursor declaration is allowed only in the declaration section of a PSQL block/procedure/trigger, as with any regular local variable declaration.

Cursor names are required to be unique in the given context. They must not conflict with the name of another cursor that is "announced", via the AS CURSOR clause, by a FOR SELECT cursor. However, a cursor can share its name with any other type of variable within the same context, since the operations available to each are different.

Positioned updates and deletes with cursors using the WHERE CURRENT OF clause are allowed.

Attempts to fetch from or close a FOR SELECT cursor are prohibited.

Attempts to open a cursor that is already open, or to fetch from or close a cursor that is already closed, will fail.

All cursors which were not explicitly closed will be closed automatically on exit from the current PSQL block/procedure/trigger.

The ROW_COUNT system variable can be used after each FETCH statement to check whether any row was returned.

Defaults for Stored Procedure Arguments

V. Khorsun

Defaults can now be declared for stored procedure arguments.

The syntax is the same as a default value definition for a column or domain, except that you can use '=' in place of 'DEFAULT' keyword.

Arguments with default values must be last in the argument list; that is, you cannot declare an argument that has no default value after any arguments that have been declared with default values. The caller must supply the values for all of the arguments preceding any that are to use their defaults.

For example, it is illegal to do something like this: supply arg1, arg2, miss arg3, set arg4...

Substitution of default values occurs at run-time. If you define a procedure with defaults (say P1), call it from another procedure (say P2) and skip some final, defaulted arguments, then the default values for P1 will be substituted by the engine at time execution P1 starts. This means that, if you change the default values for P1, it is not necessary to recompile P2.

However, it is still necessary to disconnect all client connections, as discussed in the Borland InterBase 6 beta "Data Definition Guide" (DataDef.pdf), in the section "Altering and dropping procedures in use".

Examples

  CONNECT ... ;
  SET TERM ^;
  CREATE PROCEDURE P1 (X INTEGER = 123)
  RETURNS (Y INTEGER)
  AS
  BEGIN
    Y = X;
    SUSPEND;
  END ^
  COMMIT ^
  SET TERM ;^
  SELECT * FROM P1;
             Y
  ============
           123
  EXECUTE PROCEDURE P1;
             Y
  ============
           123
  SET TERM ^;
  CREATE PROCEDURE P2
  RETURNS (Y INTEGER)
  AS
  BEGIN
    FOR SELECT Y FROM P1 INTO :Y
    DO SUSPEND;
  END ^
  COMMIT ^
  SET TERM ;^
  SELECT * FROM P2;
             Y
  ============
           123
  SET TERM ^;
  ALTER PROCEDURE P1 (X INTEGER = CURRENT_TRANSACTION)
           RETURNS (Y INTEGER)
  AS
  BEGIN
    Y = X;
   SUSPEND;
  END; ^
  COMMIT ^
  SET TERM ;^
  SELECT * FROM P1;
             Y
  ============
          5875
  SELECT * FROM P2;
             Y
  ============
           123
  COMMIT;
  CONNECT  ... ;
  SELECT * FROM P2;
             Y
  ============
          5880

Note

The source and BLR for the argument defaults are stored in RDB$FIELDS.

As was pointed out in a Tracker entry, the examples above should not be taken as a recommendation to use a SUSPEND statement to handle return values in an executable stored procedure. The author used SUSPEND here in order to illustrate the aspects of the new feature.

LEAVE <label> Syntax Support

D. Yemanov

New LEAVE <label> syntax now allows PSQL loops to be marked with labels and terminated in Java style. The purpose is to stop execution of the current block and unwind back to the specified label. After that execution resumes at the statement following the terminated loop.

Syntax pattern

   <label_name>: <loop_statement>
   ...
   LEAVE [<label_name>]

where <loop_statement> is one of: WHILE, FOR SELECT, FOR EXECUTE STATEMENT.

Examples

1.

  FOR
    SELECT COALESCE(RDB$SYSTEM_FLAG, 0), RDB$RELATION_NAME
      FROM RDB$RELATIONS
      ORDER BY 1
    INTO :RTYPE, :RNAME
    DO
    BEGIN
      IF (RTYPE = 0) THEN
        SUSPEND;
      ELSE
        LEAVE; -- exits current loop
    END

2.

  CNT = 100;
  L1:
  WHILE (CNT >= 0) DO
  BEGIN
    IF (CNT < 50) THEN
      LEAVE L1; -- exists WHILE loop
    CNT = CNT - l;
  END

3.

  STMT1 = 'SELECT RDB$RELATION_NAME FROM RDB$RELATIONS';
  L1:
  FOR
    EXECUTE STATEMENT :STMT1 INTO :RNAME
  DO
  BEGIN
    STMT2 = 'SELECT RDB$FIELD_NAME FROM RDB$RELATION_FIELDS
      WHERE RDB$RELATION_NAME = ';
    L2:
    FOR
      EXECUTE STATEMENT :STMT2 || :RNAME INTO :FNAME
    DO
    BEGIN
      IF (RNAME = 'RDB$DATABASE') THEN
        LEAVE L1; -- exits the outer loop
      ELSE IF (RNAME = 'RDB$RELATIONS') THEN
        LEAVE L2; -- exits the inner loop
      ELSE
        SUSPEND;
    END
  END

Note

Note that LEAVE without an explicit label means interrupting the current (innermost) loop.

OLD Context Variables Now Read-only

D. Yemanov

The set of OLD context variables available in trigger modules is now read-only. An attempt to assign a value to OLD.something will be rejected.

Note

NEW context variables are now read-only in AFTER-triggers as well.

PSQL Stack Trace

V. Khorsun

The API client can now extract a simple stack trace Error Status Vector when an exception occurs during PSQL execution (stored procedures or triggers). A stack trace is represented by one string (2048 bytes max.) and consists of all the stored procedure and trigger names, starting from the point where the exception occurred, out to the outermost caller. If the actual trace is longer than 2Kb, it is truncated.

Additional items are appended to the status vector as follows:

  isc_stack_trace, isc_arg_string, <string length>, <string>

isc_stack_trace is a new error code with value of 335544842L.

Examples

Metadata creation

 CREATE TABLE ERR (
   ID INT NOT NULL PRIMARY KEY,
   NAME VARCHAR(16));
 CREATE EXCEPTION EX '!';
 SET TERM ^;
 CREATE OR ALTER PROCEDURE ERR_1 AS
 BEGIN
   EXCEPTION EX 'ID = 3';
 END ^
 CREATE OR ALTER TRIGGER ERR_BI FOR ERR
   BEFORE INSERT AS
 BEGIN
   IF (NEW.ID = 2)
   THEN EXCEPTION EX 'ID = 2';
   IF (NEW.ID = 3)
   THEN EXECUTE PROCEDURE ERR_1;
   IF (NEW.ID = 4)
   THEN NEW.ID = 1 / 0;
 END ^
 CREATE OR ALTER PROCEDURE ERR_2 AS
 BEGIN
   INSERT INTO ERR VALUES (3, '333');
 END ^

1. User exception from a trigger:

 SQL" INSERT INTO ERR VALUES (2, '2');
 Statement failed, SQLCODE = -836
 exception 3
 -ID = 2
 -At trigger 'ERR_BI'

2. User exception from a procedure called by a trigger:

 SQL" INSERT INTO ERR VALUES (3, '3');
 Statement failed, SQLCODE = -836
 exception 3
 -ID = 3
 -At procedure 'ERR_1'
 At trigger 'ERR_BI'

3. Run-time exception occurring in trigger (division by zero):

 SQL" INSERT INTO ERR VALUES (4, '4');
 Statement failed, SQLCODE = -802
 arithmetic exception, numeric overflow, or string truncation
 -At trigger 'ERR_BI'

4. User exception from procedure:

 SQL" EXECUTE PROCEDURE ERR_1;
 Statement failed, SQLCODE = -836
 exception 3
 -ID = 3
 -At procedure 'ERR_1'

5. User exception from a procedure with a deeper call stack:

 SQL" EXECUTE PROCEDURE ERR_2;
 Statement failed, SQLCODE = -836
 exception 3
 -ID = 3
 -At procedure 'ERR_1'
 At trigger 'ERR_BI'
 At procedure 'ERR_2'

Call a UDF as a Void Function (Procedure)

N. Samofatov

In PSQL, supported UDFs, e.g. RDB$SET_CONTEXT, can be called as though they were void functions (a.k.a “procedures” in Object Pascal). For example:

 BEGIN
    ...
    RDB$SET_CONTEXT('USER_TRANSACTION', 'MY_VAR', '123');
    ...
 END