BNF Grammar for ISO/IEC 9075-2:2003 - Database Language SQL (SQL-2003) SQL/Foundation

 
Cross-Reference: rules
Cross-Reference: keywords

Derived from file sql-2003-2.bnf version 1.11 dated 2005/07/13 18:37:30
Generated on 2005-07-13 18:37:56+00:00 by file bnf2html.pl version 3.7 dated 2005/07/13 18:32:35

Information taken from the Final Committee Draft (FCD) of ISO/IEC 9075-2:2003. However, the page numbers and some section titles (9.14 through 9.23, for example) are from the final standard. This means there could be other as yet undiagnosed differences between the final standard and the notation in this document; you were warned!

The plain text version of this grammar is sql-2003-2.bnf .


Key SQL Statements and Fragments

  • ALTER DOMAIN <alter domain statement>
  • ALTER TABLE <alter table statement>
  • CLOSE cursor <close statement>
  • Column definition <column definition>
  • COMMIT WORK <commit statement>
  • CONNECT <connect statement>
  • CREATE ASSERTION <assertion definition>
  • CREATE CHARACTER SET <character set definition>
  • CREATE COLLATION <collation definition>
  • CREATE DOMAIN <domain definition>
  • CREATE FUNCTION <schema function>
  • CREATE PROCEDURE <schema procedure>
  • CREATE SCHEMA <schema definition>
  • CREATE TABLE <table definition>
  • CREATE TRANSLATION <translation definition>
  • CREATE TRIGGER <trigger definition>
  • CREATE VIEW <view definition>
  • Data type <data type>
  • DEALLOCATE PREPARE <deallocate prepared statement>
  • DECLARE cursor <declare cursor> <dynamic declare cursor>
  • DECLARE LOCAL TEMPORARY TABLE <temporary table declaration>
  • DELETE <delete statement: positioned> <delete statement: searched> <dynamic delete statement: positioned>
  • DESCRIBE <describe statement>
  • DESCRIPTOR statements <system descriptor statement>
  • DISCONNECT <disconnect statement>
  • EXECUTE <execute statement>
  • EXECUTE IMMEDIATE <execute immediate statement>
  • FETCH cursor <fetch statement>
  • FROM clause <from clause>
  • GET DIAGNOSTICS <get diagnostics statement>
  • GRANT <grant statement>
  • GROUP BY clause <group by clause>
  • HAVING clause <having clause>
  • INSERT <insert statement>
  • Literals <literal>
  • Keywords <key word>
  • MERGE <merge statement>
  • OPEN cursor <open statement>
  • ORDER BY clause <order by clause>
  • PREPARE <prepare statement>
  • REVOKE <revoke statement>
  • ROLLBACK WORK <rollback statement>
  • SAVEPOINT <savepoint statement>
  • Search condition <search condition> <regular expression>
  • SELECT <query specification>
  • SET CATALOG <set catalog statement>
  • SET CONNECTION <set connection statement>
  • SET CONSTRAINTS <set constraints mode statement>
  • SET NAMES <set names statement>
  • SET SCHEMA <set schema statement>
  • SET SESSION AUTHORIZATION <set session user identifier statement>
  • SET TIME ZONE <set local time zone statement>
  • SET TRANSACTION <set transaction statement>
  • SQL Client MODULE <SQL-client module definition>
  • UPDATE <update statement: positioned> <update statement: searched> <dynamic update statement: positioned>
  • Value expression <value expression>
  • WHERE clause <where clause>

    Top


    5 Lexical Elements

    Basic definitions of characters used, tokens, symbols, etc. Most of this section would normally be handled within the lexical analyzer rather than in the grammar proper. Further, the original document does not quote the various single characters, which makes it hard to process automatically.

    5.1 <SQL terminal character> (p151)

      <SQL terminal character>    ::=   <SQL language character>

      <SQL language character>    ::=   <simple Latin letter> | <digit> | <SQL special character>

      <simple Latin letter>    ::=   <simple Latin upper case letter> | <simple Latin lower case letter>

      <simple Latin upper case letter>    ::=
             A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

      <simple Latin lower case letter>    ::=
             a | b | c | d | e | f | g | h | i | j | k | l | m | n | o | p | q | r | s | t | u | v | w | x | y | z

      <digit>    ::=   0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

      <SQL special character>    ::=
             <space>
         |     <double quote>
         |     <percent>
         |     <ampersand>
         |     <quote>
         |     <left paren>
         |     <right paren>
         |     <asterisk>
         |     <plus sign>
         |     <comma>
         |     <minus sign>
         |     <period>
         |     <solidus>
         |     <colon>
         |     <semicolon>
         |     <less than operator>
         |     <equals operator>
         |     <greater than operator>
         |     <question mark>
         |     <left bracket>
         |     <right bracket>
         |     <circumflex>
         |     <underscore>
         |     <vertical bar>
         |     <left brace>
         |     <right brace>

      <space>    ::=   !! See the Syntax Rules

      <double quote>    ::=   "

      <percent>    ::=   %

      <ampersand>    ::=   &

      <quote>    ::=   '

      <left paren>    ::=   (

      <right paren>    ::=   )

      <asterisk>    ::=   *

      <plus sign>    ::=   +

      <comma>    ::=   ,

      <minus sign>    ::=   -

      <period>    ::=   .

      <solidus>    ::=   /

      <colon>    ::=   :

      <semicolon>    ::=   ;

      <less than operator>    ::=   <

      <equals operator>    ::=   =

      <greater than operator>    ::=   >

      <question mark>    ::=   ?

    The trigraphs are new in SQL-2003.

      <left bracket or trigraph>    ::=   <left bracket> | <left bracket trigraph>

      <right bracket or trigraph>    ::=   <right bracket> | <right bracket trigraph>

      <left bracket>    ::=   [

      <left bracket trigraph>    ::=   ??(

      <right bracket>    ::=   ]

      <right bracket trigraph>    ::=   ??)

      <circumflex>    ::=   ^

      <underscore>    ::=   _

      <vertical bar>    ::=  /* Nothing */ |

      <left brace>    ::=   {

      <right brace>    ::=   }

    Top


    5.2 <token> and <separator> (p134)

    Specifying lexical units (tokens and separators) that participate in SQL language.

      <token>    ::=   <nondelimiter token> | <delimiter token>

      <nondelimiter token>    ::=
             <regular identifier>
         |     <key word>
         |     <unsigned numeric literal>
         |     <national character string literal>
         |     <bit string literal>
         |     <hex string literal>
         |     <large object length token>
         |     <multiplier>

      <regular identifier>    ::=   <identifier body>

      <identifier body>    ::=   <identifier start> [ <identifier part> ... ]

      <identifier part>    ::=   <identifier start> | <identifier extend>

    Previous standard said:

      <identifier start>    ::=   <initial alphabetic character> | <ideographic character>

      <identifier start>    ::=   !! See the Syntax Rules

      <identifier extend>    ::=   !! See the Syntax Rules

      <large object length token>    ::=   <digit> ... <multiplier>

      <multiplier>    ::=   K | M | G

    The productions for <Unicode delimited identifier> and so on are new in SQL-2003.

      <Unicode delimited identifier>    ::=
             U <ampersand> <double quote> <Unicode delimiter body> ... <double quote>
             [ ESCAPE <escape character> ]

      <Unicode delimiter body>    ::=   <Unicode identifier part> ...

      <Unicode identifier part>    ::=   <delimited identifier part> | <Unicode escape value>

      <Unicode escape value>    ::=   <Unicode 4 digit escape value> | <Unicode 6 digit escape value>

      <Unicode 4 digit escape value>    ::=   <escape character> <hexit> <hexit> <hexit> <hexit>

      <Unicode 6 digit escape value>    ::=   <escape character> <plus sign> <hexit> <hexit> <hexit> <hexit> <hexit> <hexit>

      <escape character>    ::=   !! See the Syntax Rules

      <nondoublequote character>    ::=   !! See the Syntax Rules

    The rule for <doublequote symbol> in the standard uses two adjacent literal double quotes rather than referencing <double quote>; the reasons are not clear. It is annotated '!! two consecutive double quote characters'.

      <doublequote symbol>    ::=   <double quote> <double quote>

      <delimiter token>    ::=
             <character string literal>
         |     <date string>
         |     <time string>
         |     <timestamp string>
         |     <interval string>
         |     <delimited identifier>
         |     <Unicode delimited identifier>
         |     <SQL special character>
         |     <not equals operator>
         |     <greater than or equals operator>
         |     <less than or equals operator>
         |     <concatenation operator>
         |     <right arrow>
         |     <left bracket trigraph>
         |     <right bracket trigraph>
         |     <double colon>
         |     <double period>

    The rules for <not equals operator> etc in the standard uses two adjacent literal characters rather than referencing <less than> and <greater than>; the reasons are not clear. Note that two characters must be adjacent with no intervening space, not a pair of characters separated by arbitrary white space.

      <not equals operator>    ::=   <less than operator> <greater than operator>

      <greater than or equals operator>    ::=   <greater than operator> <equals operator>

      <less than or equals operator>    ::=   <less than operator> <equals operator>

      <concatenation operator>    ::=   <vertical bar> <vertical bar>

      <right arrow>    ::=   <minus sign> <greater than operator>

      <double colon>    ::=   <colon> <colon>

      <double period>    ::=   <period> <period>

      <separator>    ::=   { <comment> | <white space> }...

      <comment>    ::=   <simple comment> | <bracketed comment>

      <simple comment>    ::=   <simple comment introducer> [ <comment character> ... ] <newline>

      <simple comment introducer>    ::=   <minus sign> <minus sign> [ <minus sign> ... ]

    The <bracketed comment> rule included '!! See the Syntax Rules'. This probably says something about the <slash> <asterisk> and <asterisk> <slash> needing to be adjacent characters rather than adjacent tokens.

      <bracketed comment>    ::=
             <bracketed comment introducer> <bracketed comment contents> <bracketed comment terminator>

      <bracketed comment introducer>    ::=   <slash> <asterisk>

      <bracketed comment terminator>    ::=   <asterisk> <slash>

      <bracketed comment contents>    ::=   [ { <comment character> | <separator> }... ]

      <comment character>    ::=   <nonquote character> | <quote>

      <newline>    ::=   !! See the Syntax Rules

    There was a surprising amount of movement of keywords between the reserved and non-reserved word classes. There is also room to think that much of the host language support moved out of Part 2 (SQL/Foundation).

      <key word>    ::=   <reserved word> | <non-reserved word>

      <non-reserved word>    ::=
             A
         |     ABS
         |     ABSOLUTE
         |     ACTION
         |     ADA
         |     ADMIN
         |     AFTER
         |     ALWAYS
         |     ASC
         |     ASSERTION
         |     ASSIGNMENT
         |     ATTRIBUTE
         |     ATTRIBUTES
         |     AVG
         |     BEFORE
         |     BERNOULLI
         |     BREADTH
         |     C
         |     CARDINALITY
         |     CASCADE
         |     CATALOG
         |     CATALOG_NAME
         |     CEIL
         |     CEILING
         |     CHAIN
         |     CHARACTERISTICS
         |     CHARACTERS
         |     CHARACTER_LENGTH
         |     CHARACTER_SET_CATALOG
         |     CHARACTER_SET_NAME
         |     CHARACTER_SET_SCHEMA
         |     CHAR_LENGTH
         |     CHECKED
         |     CLASS_ORIGIN
         |     COALESCE
         |     COBOL
         |     CODE_UNITS
         |     COLLATION
         |     COLLATION_CATALOG
         |     COLLATION_NAME
         |     COLLATION_SCHEMA
         |     COLLECT
         |     COLUMN_NAME
         |     COMMAND_FUNCTION
         |     COMMAND_FUNCTION_CODE
         |     COMMITTED
         |     CONDITION
         |     CONDITION_NUMBER
         |     CONNECTION_NAME
         |     CONSTRAINTS
         |     CONSTRAINT_CATALOG
         |     CONSTRAINT_NAME
         |     CONSTRAINT_SCHEMA
         |     CONSTRUCTORS
         |     CONTAINS
         |     CONVERT
         |     CORR
         |     COUNT
         |     COVAR_POP
         |     COVAR_SAMP
         |     CUME_DIST
         |     CURRENT_COLLATION
         |     CURSOR_NAME
         |     DATA
         |     DATETIME_INTERVAL_CODE
         |     DATETIME_INTERVAL_PRECISION
         |     DEFAULTS
         |     DEFERRABLE
         |     DEFERRED
         |     DEFINED
         |     DEFINER
         |     DEGREE
         |     DENSE_RANK
         |     DEPTH
         |     DERIVED
         |     DESC
         |     DESCRIPTOR
         |     DIAGNOSTICS
         |     DISPATCH
         |     DOMAIN
         |     DYNAMIC_FUNCTION
         |     DYNAMIC_FUNCTION_CODE
         |     EQUALS
         |     EVERY
         |     EXCEPTION
         |     EXCLUDE
         |     EXCLUDING
         |     EXP
         |     EXTRACT
         |     FINAL
         |     FIRST
         |     FLOOR
         |     FOLLOWING
         |     FORTRAN
         |     FOUND
         |     FUSION
         |     G
         |     GENERAL
         |     GO
         |     GOTO
         |     GRANTED
         |     HIERARCHY
         |     IMPLEMENTATION
         |     INCLUDING
         |     INCREMENT
         |     INITIALLY
         |     INSTANCE
         |     INSTANTIABLE
         |     INTERSECTION
         |     INVOKER
         |     ISOLATION
         |     K
         |     KEY
         |     KEY_MEMBER
         |     KEY_TYPE
         |     LAST
         |     LENGTH
         |     LEVEL
         |     LN
         |     LOCATOR
         |     LOWER
         |     M
         |     MAP
         |     MATCHED
         |     MAX
         |     MAXVALUE
         |     MESSAGE_LENGTH
         |     MESSAGE_OCTET_LENGTH
         |     MESSAGE_TEXT
         |     MIN
         |     MINVALUE
         |     MOD
         |     MORE
         |     MUMPS
         |     NAME
         |     NAMES
         |     NESTING
         |     NEXT
         |     NORMALIZE
         |     NORMALIZED
         |     NULLABLE
         |     NULLIF
         |     NULLS
         |     NUMBER
         |     OBJECT
         |     OCTETS
         |     OCTET_LENGTH
         |     OPTION
         |     OPTIONS
         |     ORDERING
         |     ORDINALITY
         |     OTHERS
         |     OVERLAY
         |     OVERRIDING
         |     PAD
         |     PARAMETER_MODE
         |     PARAMETER_NAME
         |     PARAMETER_ORDINAL_POSITION
         |     PARAMETER_SPECIFIC_CATALOG
         |     PARAMETER_SPECIFIC_NAME
         |     PARAMETER_SPECIFIC_SCHEMA
         |     PARTIAL
         |     PASCAL
         |     PATH
         |     PERCENTILE_CONT
         |     PERCENTILE_DISC
         |     PERCENT_RANK
         |     PLACING
         |     PLI
         |     POSITION
         |     POWER
         |     PRECEDING
         |     PRESERVE
         |     PRIOR
         |     PRIVILEGES
         |     PUBLIC
         |     RANK
         |     READ
         |     REGR_AVGX
         |     REGR_AVGY
         |     REGR_COUNT
         |     REGR_INTERCEPT
         |     REGR_R2
         |     REGR_SLOPE
         |     REGR_SXX
         |     REGR_SXY
         |     REGR_SXY
         |     RELATIVE
         |     REPEATABLE
         |     RESTART
         |     RESULT
         |     RETURNED_CARDINALITY
         |     RETURNED_LENGTH
         |     RETURNED_OCTET_LENGTH
         |     RETURNED_SQLSTATE
         |     ROLE
         |     ROUTINE
         |     ROUTINE_CATALOG
         |     ROUTINE_NAME
         |     ROUTINE_SCHEMA
         |     ROW_COUNT
         |     ROW_NUMBER
         |     SCALE
         |     SCHEMA
         |     SCHEMA_NAME
         |     SCOPE_CATALOG
         |     SCOPE_NAME
         |     SCOPE_SCHEMA
         |     SECTION
         |     SECURITY
         |     SELF
         |     SEQUENCE
         |     SERIALIZABLE
         |     SERVER_NAME
         |     SESSION
         |     SETS
         |     SIMPLE
         |     SIZE
         |     SOURCE
         |     SPACE
         |     SPECIFIC_NAME
         |     SQRT
         |     STATE
         |     STATEMENT
         |     STDDEV_POP
         |     STDDEV_SAMP
         |     STRUCTURE
         |     STYLE
         |     SUBCLASS_ORIGIN
         |     SUBSTRING
         |     SUM
         |     TABLESAMPLE
         |     TABLE_NAME
         |     TEMPORARY
         |     TIES
         |     TOP_LEVEL_COUNT
         |     TRANSACTION
         |     TRANSACTIONS_COMMITTED
         |     TRANSACTIONS_ROLLED_BACK
         |     TRANSACTION_ACTIVE
         |     TRANSFORM
         |     TRANSFORMS
         |     TRANSLATE
         |     TRIGGER_CATALOG
         |     TRIGGER_NAME
         |     TRIGGER_SCHEMA
         |     TRIM
         |     TYPE
         |     UNBOUNDED
         |     UNCOMMITTED
         |     UNDER
         |     UNNAMED
         |     UPPER
         |     USAGE
         |     USER_DEFINED_TYPE_CATALOG
         |     USER_DEFINED_TYPE_CODE
         |     USER_DEFINED_TYPE_NAME
         |     USER_DEFINED_TYPE_SCHEMA
         |     VAR_POP
         |     VAR_SAMP
         |     VIEW
         |     WIDTH_BUCKET
         |     WORK
         |     WRITE
         |     ZONE

      <reserved word>    ::=
             ADD
         |     ALL
         |     ALLOCATE
         |     ALTER
         |     AND
         |     ANY
         |     ARE
         |     ARRAY
         |     AS
         |     ASENSITIVE
         |     ASYMMETRIC
         |     AT
         |     ATOMIC
         |     AUTHORIZATION
         |     BEGIN
         |     BETWEEN
         |     BIGINT
         |     BINARY
         |     BLOB
         |     BOOLEAN
         |     BOTH
         |     BY
         |     CALL
         |     CALLED
         |     CASCADED
         |     CASE
         |     CAST
         |     CHAR
         |     CHARACTER
         |     CHECK
         |     CLOB
         |     CLOSE
         |     COLLATE
         |     COLUMN
         |     COMMIT
         |     CONNECT
         |     CONSTRAINT
         |     CONTINUE
         |     CORRESPONDING
         |     CREATE
         |     CROSS
         |     CUBE
         |     CURRENT
         |     CURRENT_DATE
         |     CURRENT_DEFAULT_TRANSFORM_GROUP
         |     CURRENT_PATH
         |     CURRENT_ROLE
         |     CURRENT_TIME
         |     CURRENT_TIMESTAMP
         |     CURRENT_TRANSFORM_GROUP_FOR_TYPE
         |     CURRENT_USER
         |     CURSOR
         |     CYCLE
         |     DATE
         |     DAY
         |     DEALLOCATE
         |     DEC
         |     DECIMAL
         |     DECLARE
         |     DEFAULT
         |     DELETE
         |     DEREF
         |     DESCRIBE
         |     DETERMINISTIC
         |     DISCONNECT
         |     DISTINCT
         |     DOUBLE
         |     DROP
         |     DYNAMIC
         |     EACH
         |     ELEMENT
         |     ELSE
         |     END
         |     END -EXEC
         |     ESCAPE
         |     EXCEPT
         |     EXEC
         |     EXECUTE
         |     EXISTS
         |     EXTERNAL
         |     FALSE
         |     FETCH
         |     FILTER
         |     FLOAT
         |     FOR
         |     FOREIGN
         |     FREE
         |     FROM
         |     FULL
         |     FUNCTION
         |     GET
         |     GLOBAL
         |     GRANT
         |     GROUP
         |     GROUPING
         |     HAVING
         |     HOLD
         |     HOUR
         |     IDENTITY
         |     IMMEDIATE
         |     IN
         |     INDICATOR
         |     INNER
         |     INOUT
         |     INPUT
         |     INSENSITIVE
         |     INSERT
         |     INT
         |     INTEGER
         |     INTERSECT
         |     INTERVAL
         |     INTO
         |     IS
         |     ISOLATION
         |     JOIN
         |     LANGUAGE
         |     LARGE
         |     LATERAL
         |     LEADING
         |     LEFT
         |     LIKE
         |     LOCAL
         |     LOCALTIME
         |     LOCALTIMESTAMP
         |     MATCH
         |     MEMBER
         |     MERGE
         |     METHOD
         |     MINUTE
         |     MODIFIES
         |     MODULE
         |     MONTH
         |     MULTISET
         |     NATIONAL
         |     NATURAL
         |     NCHAR
         |     NCLOB
         |     NEW
         |     NO
         |     NONE
         |     NOT
         |     NULL
         |     NUMERIC
         |     OF
         |     OLD
         |     ON
         |     ONLY
         |     OPEN
         |     OR
         |     ORDER
         |     OUT
         |     OUTER
         |     OUTPUT
         |     OVER
         |     OVERLAPS
         |     PARAMETER
         |     PARTITION
         |     PRECISION
         |     PREPARE
         |     PRIMARY
         |     PROCEDURE
         |     RANGE
         |     READS
         |     REAL
         |     RECURSIVE
         |     REF
         |     REFERENCES
         |     REFERENCING
         |     RELEASE
         |     RETURN
         |     RETURNS
         |     REVOKE
         |     RIGHT
         |     ROLLBACK
         |     ROLLUP
         |     ROW
         |     ROWS
         |     SAVEPOINT
         |     SCROLL
         |     SEARCH
         |     SECOND
         |     SELECT
         |     SENSITIVE
         |     SESSION_USER
         |     SET
         |     SIMILAR
         |     SMALLINT
         |     SOME
         |     SPECIFIC
         |     SPECIFICTYPE
         |     SQL
         |     SQLEXCEPTION
         |     SQLSTATE
         |     SQLWARNING
         |     START
         |     STATIC
         |     SUBMULTISET
         |     SYMMETRIC
         |     SYSTEM
         |     SYSTEM_USER
         |     TABLE
         |     THEN
         |     TIME
         |     TIMESTAMP
         |     TIMEZONE_HOUR
         |     TIMEZONE_MINUTE
         |     TO
         |     TRAILING
         |     TRANSLATION
         |     TREAT
         |     TRIGGER
         |     TRUE
         |     UNION
         |     UNIQUE
         |     UNKNOWN
         |     UNNEST
         |     UPDATE
         |     USER
         |     USING
         |     VALUE
         |     VALUES
         |     VARCHAR
         |     VARYING
         |     WHEN
         |     WHENEVER
         |     WHERE
         |     WINDOW
         |     WITH
         |     WITHIN
         |     WITHOUT
         |     YEAR

    Top


    5.3 <literal> (p143)

      <literal>    ::=   <signed numeric literal> | <general literal>

      <unsigned literal>    ::=   <unsigned numeric literal> | <general literal>

      <general literal>    ::=
             <character string literal>
         |     <national character string literal>
         |     <Unicode character string literal>
         |     <binary string literal>
         |     <datetime literal>
         |     <interval literal>
         |     <boolean literal>

      <character string literal>    ::=
             [ <introducer> <character set specification> ]
             <quote> [ <character representation> ... ] <quote>
             [ { <separator> <quote> [ <character representation> ... ] <quote> }... ]

      <introducer>    ::=   <underscore>

      <character representation>    ::=   <nonquote character> | <quote symbol>

      <nonquote character>    ::=   !! See the Syntax Rules

    The <quote symbol> rule consists of two immediately adjacent <quote> marks with no spaces. As usual, this would be best handled in the lexical analyzer, not in the grammar.

      <quote symbol>    ::=   <quote> <quote>

      <national character string literal>    ::=
             N <quote> [ <character representation> ... ] <quote>
             [ { <separator> <quote> [ <character representation> ... ] <quote> }... ]

      <Unicode character string literal>    ::=
             [ <introducer> <character set specification> ]
             U <ampersand> <quote> [ <Unicode representation> ... ] <quote>
             [ { <separator> <quote> [ <Unicode representation> ... ] <quote> }... ]
             [ ESCAPE <escape character> ]

      <Unicode representation>    ::=   <character representation> | <Unicode escape value>

      <binary string literal>    ::=
             X <quote> [ { <hexit> <hexit> }... ] <quote>
             [ { <separator> <quote> [ { <hexit> <hexit> }... ] <quote> }... ]
             [ ESCAPE <escape character> ]

      <hexit>    ::=   <digit> | A | B | C | D | E | F | a | b | c | d | e | f

      <signed numeric literal>    ::=   [ <sign> ] <unsigned numeric literal>

      <unsigned numeric literal>    ::=   <exact numeric literal> | <approximate numeric literal>

      <exact numeric literal>    ::=
             <unsigned integer> [ <period> [ <unsigned integer> ] ]
         |     <period> <unsigned integer>

      <sign>    ::=   <plus sign> | <minus sign>

      <approximate numeric literal>    ::=   <mantissa> E <exponent>

      <mantissa>    ::=   <exact numeric literal>

      <exponent>    ::=   <signed integer>

      <signed integer>    ::=   [ <sign> ] <unsigned integer>

      <datetime literal>    ::=   <date literal> | <time literal> | <timestamp literal>

      <date literal>    ::=   DATE <date string>

      <time literal>    ::=   TIME <time string>

      <timestamp literal>    ::=   TIMESTAMP <timestamp string>

      <date string>    ::=   <quote> <unquoted date string> <quote>

      <time string>    ::=   <quote> <unquoted time string> <quote>

      <timestamp string>    ::=   <quote> <unquoted timestamp string> <quote>

      <time zone interval>    ::=   <sign> <hours value> <colon> <minutes value>

      <date value>    ::=   <years value> <minus sign> <months value> <minus sign> <days value>

      <time value>    ::=   <hours value> <colon> <minutes value> <colon> <seconds value>

      <interval literal>    ::=   INTERVAL [ <sign> ] <interval string> <interval qualifier>

      <interval string>    ::=   <quote> <unquoted interval string> <quote>

      <unquoted date string>    ::=   <date value>

      <unquoted time string>    ::=   <time value> [ <time zone interval> ]

      <unquoted timestamp string>    ::=   <unquoted date string> <space> <unquoted time string>

      <unquoted interval string>    ::=   [ <sign> ] { <year-month literal> | <day-time literal> }

      <year-month literal>    ::=   <years value> | [ <years value> <minus sign> ] <months value>

      <day-time literal>    ::=   <day-time interval> | <time interval>

      <day-time interval>    ::=
             <days value> [ <space> <hours value> [ <colon> <minutes value> [ <colon> <seconds value> ] ] ]

      <time interval>    ::=
             <hours value> [ <colon> <minutes value> [ <colon> <seconds value> ] ]
         |     <minutes value> [ <colon> <seconds value> ]
         |     <seconds value>

      <years value>    ::=   <datetime value>

      <months value>    ::=   <datetime value>

      <days value>    ::=   <datetime value>

      <hours value>    ::=   <datetime value>

      <minutes value>    ::=   <datetime value>

      <seconds value>    ::=   <seconds integer value> [ <period> [ <seconds fraction> ] ]

      <seconds integer value>    ::=   <unsigned integer>

      <seconds fraction>    ::=   <unsigned integer>

      <datetime value>    ::=   <unsigned integer>

      <boolean literal>    ::=   TRUE | FALSE | UNKNOWN

    Top


    5.4 Names and identifiers (p151)

      <identifier>    ::=   <actual identifier>

      <actual identifier>    ::=   <regular identifier> | <delimited identifier>

      <SQL language identifier>    ::=
             <SQL language identifier start> [ { <underscore> | <SQL language identifier part> }... ]

      <SQL language identifier start>    ::=   <simple Latin letter>

      <SQL language identifier part>    ::=   <simple Latin letter> | <digit>

      <authorization identifier>    ::=   <role name> | <user identifier>

      <table name>    ::=   <local or schema qualified name>

      <domain name>    ::=   <schema qualified name>

      <schema name>    ::=   [ <catalog name> <period> ] <unqualified schema name>

      <catalog name>    ::=   <identifier>

      <schema qualified name>    ::=   [ <schema name> <period> ] <qualified identifier>

      <local or schema qualified name>    ::=   [ <local or schema qualifier> <period> ] <qualified identifier>

      <local or schema qualifier>    ::=   <schema name> | MODULE

      <qualified identifier>    ::=   <identifier>

      <column name>    ::=   <identifier>

      <correlation name>    ::=   <identifier>

      <query name>    ::=   <identifier>

      <SQL-client module name>    ::=   <identifier>

      <procedure name>    ::=   <identifier>

      <schema qualified routine name>    ::=   <schema qualified name>

      <method name>    ::=   <identifier>

      <specific name>    ::=   <schema qualified name>

      <cursor name>    ::=   <local qualified name>

      <local qualified name>    ::=   [ <local qualifier> <period> ] <qualified identifier>

      <local qualifier>    ::=   MODULE

      <host parameter name>    ::=   <colon> <identifier>

      <SQL parameter name>    ::=   <identifier>

      <constraint name>    ::=   <schema qualified name>

      <external routine name>    ::=   <identifier> | <character string literal>

      <trigger name>    ::=   <schema qualified name>

      <collation name>    ::=   <schema qualified name>

      <character set name>    ::=   [ <schema name> <period> ] <SQL language identifier>

      <transliteration name>    ::=   <schema qualified name>

      <transcoding name>    ::=   <schema qualified name>

      <user-defined type name>    ::=   <schema qualified type name>

      <schema-resolved user-defined type name>    ::=   <user-defined type name>

      <schema qualified type name>    ::=   [ <schema name> <period> ] <qualified identifier>

      <attribute name>    ::=   <identifier>

      <field name>    ::=   <identifier>

      <savepoint name>    ::=   <identifier>

      <sequence generator name>    ::=   <schema qualified name>

      <role name>    ::=   <identifier>

      <user identifier>    ::=   <identifier>

      <connection name>    ::=   <simple value specification>

      <SQL-server name>    ::=   <simple value specification>

      <connection user name>    ::=   <simple value specification>

      <SQL statement name>    ::=   <statement name> | <extended statement name>

      <statement name>    ::=   <identifier>

      <extended statement name>    ::=   [ <scope option> ] <simple value specification>

      <dynamic cursor name>    ::=   <cursor name> | <extended cursor name>

      <extended cursor name>    ::=   [ <scope option> ] <simple value specification>

      <descriptor name>    ::=   [ <scope option> ] <simple value specification>

      <scope option>    ::=   GLOBAL | LOCAL

      <window name>    ::=   <identifier>

    Top


    6 Scalar expressions

    6.1 <data type> (p161)

      <data type>    ::=
             <predefined type>
         |     <row type>
         |     <path-resolved user-defined type name>
         |     <reference type>
         |     <collection type>

      <predefined type>    ::=
             <character string type> [ CHARACTER SET <character set specification> ] [ <collate clause> ]
         |     <national character string type> [ <collate clause> ]
         |     <binary large object string type>
         |     <numeric type>
         |     <boolean type>
         |     <datetime type>
         |     <interval type>

      <character string type>    ::=
             CHARACTER [ <left paren> <length> <right paren> ]
         |     CHAR [ <left paren> <length> <right paren> ]
         |     CHARACTER VARYING <left paren> <length> <right paren>
         |     CHAR VARYING <left paren> <length> <right paren>
         |     VARCHAR <left paren> <length> <right paren>
         |     CHARACTER LARGE OBJECT [ <left paren> <large object length> <right paren> ]
         |     CHAR LARGE OBJECT [ <left paren> <large object length> <right paren> ]
         |     CLOB [ <left paren> <large object length> <right paren> ]

      <national character string type>    ::=
             NATIONAL CHARACTER [ <left paren> <length> <right paren> ]
         |     NATIONAL CHAR [ <left paren> <length> <right paren> ]
         |     NCHAR [ <left paren> <length> <right paren> ]
         |     NATIONAL CHARACTER VARYING <left paren> <length> <right paren>
         |     NATIONAL CHAR VARYING <left paren> <length> <right paren>
         |     NCHAR VARYING <left paren> <length> <right paren>
         |     NATIONAL CHARACTER LARGE OBJECT [ <left paren> <large object length> <right paren> ]
         |     NCHAR LARGE OBJECT [ <left paren> <large object length> <right paren> ]
         |     NCLOB [ <left paren> <large object length> <right paren> ]

      <binary large object string type>    ::=
             BINARY LARGE OBJECT [ <left paren> <large object length> <right paren> ]
         |     BLOB [ <left paren> <large object length> <right paren> ]

      <numeric type>    ::=   <exact numeric type> | <approximate numeric type>

      <exact numeric type>    ::=
             NUMERIC [ <left paren> <precision> [ <comma> <scale> ] <right paren> ]
         |     DECIMAL [ <left paren> <precision> [ <comma> <scale> ] <right paren> ]
         |     DEC [ <left paren> <precision> [ <comma> <scale> ] <right paren> ]
         |     SMALLINT
         |     INTEGER
         |     INT
         |     BIGINT

      <approximate numeric type>    ::=
             FLOAT [ <left paren> <precision> <right paren> ]
         |     REAL
         |     DOUBLE PRECISION

      <length>    ::=   <unsigned integer>

      <large object length>    ::=
             <unsigned integer> [ <multiplier> ] [ <char length units> ]
         |     <large object length token> [ <char length units> ]

      <char length units>    ::=   CHARACTERS | CODE_UNITS | OCTETS

      <precision>    ::=   <unsigned integer>

      <scale>    ::=   <unsigned integer>

      <boolean type>    ::=   BOOLEAN

      <datetime type>    ::=
             DATE
         |     TIME [ <left paren> <time precision> <right paren> ] [ <with or without time zone> ]
         |     TIMESTAMP [ <left paren> <timestamp precision> <right paren> ] [ <with or without time zone> ]

      <with or without time zone>    ::=   WITH TIME ZONE | WITHOUT TIME ZONE

      <time precision>    ::=   <time fractional seconds precision>

      <timestamp precision>    ::=   <time fractional seconds precision>

      <time fractional seconds precision>    ::=   <unsigned integer>

      <interval type>    ::=   INTERVAL <interval qualifier>

      <row type>    ::=   ROW <row type body>

      <row type body>    ::=   <left paren> <field definition> [ { <comma> <field definition> }... ] <right paren>

      <reference type>    ::=   REF <left paren> <referenced type> <right paren> [ <scope clause> ]

      <scope clause>    ::=   SCOPE <table name>

      <referenced type>    ::=   <path-resolved user-defined type name>

      <path-resolved user-defined type name>    ::=   <user-defined type name>

      <path-resolved user-defined type name>    ::=   <user-defined type name>

      <collection type>    ::=   <array type> | <multiset type>

      <array type>    ::=   <data type> ARRAY [ <left bracket or trigraph> <unsigned integer> <right bracket or trigraph> ]

      <multiset type>    ::=   <data type> MULTISET

    Top


    6.2 <field definition> (p173)

      <field definition>    ::=   <field name> <data type> [ <reference scope check> ]

    Top


    6.3 <value expression primary> (p174)

      <value expression primary>    ::=
             <parenthesized value expression>
         |     <nonparenthesized value expression primary>

      <parenthesized value expression>    ::=   <left paren> <value expression> <right paren>

      <nonparenthesized value expression primary>    ::=
             <unsigned value specification>
         |     <column reference>
         |     <set function specification>
         |     <window function>
         |     <scalar subquery>
         |     <case expression>
         |     <cast specification>
         |     <field reference>
         |     <subtype treatment>
         |     <method invocation>
         |     <static method invocation>
         |     <new specification>
         |     <attribute or method reference>
         |     <reference resolution>
         |     <collection value constructor>
         |     <array element reference>
         |     <multiset element reference>
         |     <routine invocation>
         |     <next value expression>

    Top


    6.4 <value specification> and <target specification> (p176)

      <value specification>    ::=   <literal> | <general value specification>

      <unsigned value specification>    ::=   <unsigned literal> | <general value specification>

      <general value specification>    ::=
             <host parameter specification>
         |     <SQL parameter reference>
         |     <dynamic parameter specification>
         |     <embedded variable specification>
         |     <current collation specification>
         |     CURRENT_DEFAULT_TRANSFORM_GROUP
         |     CURRENT_PATH
         |     CURRENT_ROLE
         |     CURRENT_TRANSFORM_GROUP_FOR_TYPE <path-resolved user-defined type name>
         |     CURRENT_USER
         |     SESSION_USER
         |     SYSTEM_USER
         |     USER
         |     VALUE

      <simple value specification>    ::=
             <literal>
         |     <host parameter name>
         |     <SQL parameter reference>
         |     <embedded variable name>

      <target specification>    ::=
             <host parameter specification>
         |     <SQL parameter reference>
         |     <column reference>
         |     <target array element specification>
         |     <dynamic parameter specification>
         |     <embedded variable specification>

      <simple target specification>    ::=
             <host parameter specification>
         |     <SQL parameter reference>
         |     <column reference>
         |     <embedded variable name>

      <host parameter specification>    ::=   <host parameter name> [ <indicator parameter> ]

      <dynamic parameter specification>    ::=   <question mark>

      <embedded variable specification>    ::=   <embedded variable name> [ <indicator variable> ]

      <indicator variable>    ::=   [ INDICATOR ] <embedded variable name>

      <indicator parameter>    ::=   [ INDICATOR ] <host parameter name>

      <target array element specification>    ::=
             <target array reference> <left bracket or trigraph> <simple value specification> <right bracket or trigraph>

      <target array reference>    ::=   <SQL parameter reference> | <column reference>

      <current collation specification>    ::=   CURRENT_COLLATION <left paren> <string value expression> <right paren>

    Top


    6.5 <contextually typed value specification> (p181)

      <contextually typed value specification>    ::=
             <implicitly typed value specification> | <default specification>

      <implicitly typed value specification>    ::=   <null specification> | <empty specification>

      <null specification>    ::=   NULL

      <empty specification>    ::=
             ARRAY <left bracket or trigraph> <right bracket or trigraph>
         |     MULTISET <left bracket or trigraph> <right bracket or trigraph>

      <default specification>    ::=   DEFAULT

    Top


    6.6 <identifier chain> (p183)

      <identifier chain>    ::=   <identifier> [ { <period> <identifier> }... ]

      <basic identifier chain>    ::=   <identifier chain>

    Top


    6.7 <column reference> (p187)

      <column reference>    ::=
             <basic identifier chain>
         |     MODULE <period> <qualified identifier> <period> <column name>

    Top


    6.8 <SQL parameter reference> (p190)

      <SQL parameter reference>    ::=   <basic identifier chain>

    Top


    6.9 <set function specification> (p191)

      <set function specification>    ::=   <aggregate function> | <grouping operation>

      <grouping operation>    ::=   GROUPING <left paren> <column reference> [ { <comma> <column reference> }... ] <right paren>

    Top


    6.10 <window function> (p193)

      <window function>    ::=   <window function type> OVER <window name or specification>

      <window function type>    ::=
             <rank function type> <left paren> <right paren>
         |     ROW_NUMBER <left paren> <right paren>
         |     <aggregate function>

      <rank function type>    ::=   RANK | DENSE_RANK | PERCENT_RANK | CUME_DIST

      <window name or specification>    ::=   <window name> | <in-line window specification>

      <in-line window specification>    ::=   <window specification>

    Top


    6.11 <case expression> (p197)

      <case expression>    ::=   <case abbreviation> | <case specification>

      <case abbreviation>    ::=
             NULLIF <left paren> <value expression> <comma> <value expression> <right paren>
         |     COALESCE <left paren> <value expression> { <comma> <value expression> }... <right paren>

      <case specification>    ::=   <simple case> | <searched case>

      <simple case>    ::=   CASE <case operand> <simple when clause> ... [ <else clause> ] END

      <searched case>    ::=   CASE <searched when clause> ... [ <else clause> ] END

      <simple when clause>    ::=   WHEN <when operand> THEN <result>

      <searched when clause>    ::=   WHEN <search condition> THEN <result>

      <else clause>    ::=   ELSE <result>

      <case operand>    ::=   <row value predicand> | <overlaps predicate part>

      <when operand>    ::=
             <row value predicand>
         |     <comparison predicate part 2>
         |     <between predicate part 2>
         |     <in predicate part 2>
         |     <character like predicate part 2>
         |     <octet like predicate part 2>
         |     <similar predicate part 2>
         |     <null predicate part 2>
         |     <quantified comparison predicate part 2>
         |     <match predicate part 2>
         |     <overlaps predicate part 2>
         |     <distinct predicate part 2>
         |     <member predicate part 2>
         |     <submultiset predicate part 2>
         |     <set predicate part 2>
         |     <type predicate part 2>

      <result>    ::=   <result expression> | NULL

      <result expression>    ::=   <value expression>

    Top


    6.12 <cast specification> (p200)

      <cast specification>    ::=   CAST <left paren> <cast operand> AS <cast target> <right paren>

      <cast operand>    ::=   <value expression> | <implicitly typed value specification>

      <cast target>    ::=   <domain name> | <data type>

    Top


    6.13 <next value expression> (p216)

      <next value expression>    ::=   NEXT VALUE FOR <sequence generator name>

    Top


    6.14 <field reference> (p218)

      <field reference>    ::=   <value expression primary> <period> <field name>

    Top


    6.15 <subtype treatment> (p219)

      <subtype treatment>    ::=
             TREAT <left paren> <subtype operand> AS <target subtype> <right paren>

      <subtype operand>    ::=   <value expression>

      <target subtype>    ::=
             <path-resolved user-defined type name>
         |     <reference type>

    Top


    6.16 <method invocation> (p221)

      <method invocation>    ::=   <direct invocation> | <generalized invocation>

      <direct invocation>    ::=
             <value expression primary> <period> <method name> [ <SQL argument list> ]

      <generalized invocation>    ::=
             <left paren> <value expression primary> AS <data type> <right paren> <period> <method name>
             [ <SQL argument list> ]

      <method selection>    ::=   <routine invocation>

      <constructor method selection>    ::=   <routine invocation>

    Top


    6.17 <static method invocation> (p223)

      <static method invocation>    ::=
             <path-resolved user-defined type name> <double colon> <method name> [ <SQL argument list> ]

      <static method selection>    ::=   <routine invocation>

    Top


    6.18 <new specification> (p225)

      <new specification>    ::=   NEW <routine invocation>

      <new invocation>    ::=   <method invocation> | <routine invocation>

    Top


    6.19 <attribute or method reference> (p227)

      <attribute or method reference>    ::=
             <value expression primary> <dereference operator> <qualified identifier>
             [ <SQL argument list> ]

      <dereference operator>    ::=   <right arrow>

    Top


    6.20 <dereference operation> (p229)

      <dereference operation>    ::=   <reference value expression> <dereference operator> <attribute name>

    Top


    6.21 <method reference> (p230)

      <method reference>    ::=
             <value expression primary> <dereference operator> <method name> <SQL argument list>

    Top


    6.22 <reference resolution> (p232)

      <reference resolution>    ::=   DEREF <left paren> <reference value expression> <right paren>

    Top


    6.23 <array element reference> (p234)

      <array element reference>    ::=
             <array value expression> <left bracket or trigraph> <numeric value expression> <right bracket or trigraph>

    Top


    6.24 <multiset element reference> (p235)

      <multiset element reference>    ::=
             ELEMENT <left paren> <multset value expression> <right paren>

    6.25 <value expression> (p236)

    Specify a value.

      <value expression>    ::=
             <common value expression>
         |     <boolean value expression>
         |     <row value expression>

      <common value expression>    ::=
             <numeric value expression>
         |     <string value expression>
         |     <datetime value expression>
         |     <interval value expression>
         |     <user-defined type value expression>
         |     <reference value expression>
         |     <collection value expression>

      <user-defined type value expression>    ::=   <value expression primary>

      <reference value expression>    ::=   <value expression primary>

      <collection value expression>    ::=   <array value expression> | <multiset value expression>

      <collection value constructor>    ::=   <array value constructor> | <multiset value constructor>

    6.26 <numeric value expression> (p240)

    Specify a numeric value.

      <numeric value expression>    ::=
             <term>
         |     <numeric value expression> <plus sign> <term>
         |     <numeric value expression> <minus sign> <term>

      <term>    ::=
             <factor>
         |     <term> <asterisk> <factor>
         |     <term> <solidus> <factor>

      <factor>    ::=   [ <sign> ] <numeric primary>

      <numeric primary>    ::=
             <value expression primary>
         |     <numeric value function>

    6.27 <numeric value function> (p242)

    Specify a function yielding a value of type numeric.

      <numeric value function>    ::=
             <position expression>
         |     <extract expression>
         |     <length expression>
         |     <cardinality expression>
         |     <absolute value expression>
         |     <modulus expression>
         |     <natural logarithm>
         |     <exponential function>
         |     <power function>
         |     <square root>
         |     <floor function>
         |     <ceiling function>
         |     <width bucket function>

      <position expression>    ::=
             <string position expression>
         |     <blob position expression>

      <string position expression>    ::=
             POSITION <left paren> <string value expression> IN <string value expression> [ USING <char length units> ] <right paren>

      <blob position expression>    ::=
             POSITION <left paren> <blob value expression> IN <blob value expression> <right paren>

      <length expression>    ::=
             <char length expression>
         |     <octet length expression>

      <char length expression>    ::=
             { CHAR_LENGTH | CHARACTER_LENGTH } <left paren> <string value expression> [ USING <char length units> ] <right paren>

      <octet length expression>    ::=   OCTET_LENGTH <left paren> <string value expression> <right paren>

      <extract expression>    ::=   EXTRACT <left paren> <extract field> FROM <extract source> <right paren>

      <extract field>    ::=   <primary datetime field> | <time zone field>

      <time zone field>    ::=   TIMEZONE_HOUR | TIMEZONE_MINUTE

      <extract source>    ::=   <datetime value expression> | <interval value expression>

      <cardinality expression>    ::=   CARDINALITY <left paren> <collection value expression> <right paren>

      <absolute value expression>    ::=   ABS <left paren> <numeric value expression> <right paren>

      <modulus expression>    ::=   MOD <left paren> <numeric value expression dividend> <comma> <numeric value expression divisor> <right paren>

      <natural logarithm>    ::=   LN <left paren> <numeric value expression> <right paren>

      <exponential function>    ::=   EXP <left paren> <numeric value expression> <right paren>

      <power function>    ::=   POWER <left paren> <numeric value expression base> <comma> <numeric value expression exponent> <right paren>

      <numeric value expression base>    ::=   <numeric value expression>

      <numeric value expression exponent>    ::=   <numeric value expression>

      <square root>    ::=   SQRT <left paren> <numeric value expression> <right paren>

      <floor function>    ::=   FLOOR <left paren> <numeric value expression> <right paren>

      <ceiling function>    ::=   { CEIL | CEILING } <left paren> <numeric value expression> <right paren>

      <width bucket function>    ::=   WIDTH_BUCKET <left paren> <width bucket operand> <comma> <width bucket bound 1> <comma> <width bucket bound 2> <comma> <width bucket count> <right paren>

      <width bucket operand>    ::=   <numeric value expression>

      <width bucket bound 1>    ::=   <numeric value expression>

      <width bucket bound 2>    ::=   <numeric value expression>

      <width bucket count>    ::=   <numeric value expression>

    6.28 <string value expression> (p251)

    Specify a character string value or a binary string value.

      <string value expression>    ::=   <character value expression> | <blob value expression>

      <character value expression>    ::=   <concatenation> | <character factor>

      <concatenation>    ::=   <character value expression> <concatenation operator> <character factor>

      <character factor>    ::=   <character primary> [ <collate clause> ]

      <character primary>    ::=   <value expression primary> | <string value function>

      <blob value expression>    ::=   <blob concatenation> | <blob factor>

      <blob factor>    ::=   <blob primary>

      <blob primary>    ::=   <value expression primary> | <string value function>

      <blob concatenation>    ::=   <blob value expression> <concatenation operator> <blob factor>

    6.29 <string value function> (p255)

    Specify a function yielding a value of type character string or binary string.

      <string value function>    ::=   <character value function> | <blob value function>

      <character value function>    ::=
             <character substring function>
         |     <regular expression substring function>
         |     <fold>
         |     <transcoding>
         |     <character transliteration>
         |     <trim function>
         |     <character overlay function>
         |     <normalize function>
         |     <specific type method>

      <character substring function>    ::=
             SUBSTRING <left paren> <character value expression> FROM <start position>
             [ FOR <string length> ] [ USING <char length units> ] <right paren>

      <regular expression substring function>    ::=
             SUBSTRING <left paren> <character value expression>
             SIMILAR <character value expression> ESCAPE <escape character> <right paren>

      <fold>    ::=   { UPPER | LOWER } <left paren> <character value expression> <right paren>

      <transcoding>    ::=   CONVERT <left paren> <character value expression> USING <transcoding name> <right paren>

      <character transliteration>    ::=   TRANSLATE <left paren> <character value expression> USING <transliteration name> <right paren>

      <trim function>    ::=   TRIM <left paren> <trim operands> <right paren>

      <trim operands>    ::=   [ [ <trim specification> ] [ <trim character> ] FROM ] <trim source>

      <trim source>    ::=   <character value expression>

      <trim specification>    ::=   LEADING | TRAILING | BOTH

      <trim character>    ::=   <character value expression>

      <character overlay function>    ::=
             OVERLAY <left paren> <character value expression> PLACING <character value expression>
             FROM <start position> [ FOR <string length> ] [ USING <char length units> ] <right paren>

      <normalize function>    ::=   NORMALIZE <left paren> <character value expression> <right paren>

      <specific type method>    ::=   <user-defined type value expression> <period> SPECIFICTYPE

      <blob value function>    ::=
             <blob substring function>
         |     <blob trim function>
         |     <blob overlay function>

      <blob substring function>    ::=
             SUBSTRING <left paren> <blob value expression> FROM <start position> [ FOR <string length> ] <right paren>

      <blob trim function>    ::=   TRIM <left paren> <blob trim operands> <right paren>

      <blob trim operands>    ::=   [ [ <trim specification> ] [ <trim octet> ] FROM ] <blob trim source>

      <blob trim source>    ::=   <blob value expression>

      <trim octet>    ::=   <blob value expression>

      <blob overlay function>    ::=
             OVERLAY <left paren> <blob value expression> PLACING <blob value expression>
             FROM <start position> [ FOR <string length> ] <right paren>

      <start position>    ::=   <numeric value expression>

      <string length>    ::=   <numeric value expression>

    6.30 <datetime value expression> (p266)

    Specify a datetime value.

      <datetime value expression>    ::=
             <datetime term>
         |     <interval value expression> <plus sign> <datetime term>
         |     <datetime value expression> <plus sign> <interval term>
         |     <datetime value expression> <minus sign> <interval term>

      <datetime term>    ::=   <datetime factor>

      <datetime factor>    ::=   <datetime primary> [ <time zone> ]

      <datetime primary>    ::=   <value expression primary> | <datetime value function>

      <time zone>    ::=   AT <time zone specifier>

      <time zone specifier>    ::=   LOCAL | TIME ZONE <interval primary>

    6.31 <datetime value function> (p269)

    Specify a function yielding a value of type datetime.

      <datetime value function>    ::=
             <current date value function>
         |     <current time value function>
         |     <current timestamp value function>
         |     <current local time value function>
         |     <current local timestamp value function>

      <current date value function>    ::=   CURRENT_DATE

      <current time value function>    ::=   CURRENT_TIME [ <left paren> <time precision> <right paren> ]

      <current local time value function>    ::=   LOCALTIME [ <left paren> <time precision> <right paren> ]

      <current timestamp value function>    ::=   CURRENT_TIMESTAMP [ <left paren> <timestamp precision> <right paren> ]

      <current local timestamp value function>    ::=   LOCALTIMESTAMP [ <left paren> <timestamp precision> <right paren> ]

    6.32 <interval value expression> (p271)

    Specify an interval value.

      <interval value expression>    ::=
             <interval term>
         |     <interval value expression 1> <plus sign> <interval term 1>
         |     <interval value expression 1> <minus sign> <interval term 1>
         |     <left paren> <datetime value expression> <minus sign> <datetime term> <right paren> <interval qualifier>

      <interval term>    ::=
             <interval factor>
         |     <interval term 2> <asterisk> <factor>
         |     <interval term 2> <solidus> <factor>
         |     <term> <asterisk> <interval factor>

      <interval factor>    ::=   [ <sign> ] <interval primary>

      <interval primary>    ::=
             <value expression primary> [ <interval qualifier> ]
         |     <interval value function>

      <interval value expression 1>    ::=   <interval value expression>

      <interval term 1>    ::=   <interval term>

      <interval term 2>    ::=   <interval term>

    6.33 <interval value function> (p276)

      <interval value function>    ::=   <interval absolute value function>

      <interval absolute value function>    ::=   ABS <left paren> <interval value expression> <right paren>

    6.34 <boolean value expression> (p277)

      <boolean value expression>    ::=
             <boolean term>
         |     <boolean value expression> OR <boolean term>

      <boolean term>    ::=
             <boolean factor>
         |     <boolean term> AND <boolean factor>

      <boolean factor>    ::=   [ NOT ] <boolean test>

      <boolean test>    ::=   <boolean primary> [ IS [ NOT ] <truth value> ]

      <truth value>    ::=   TRUE | FALSE | UNKNOWN

      <boolean primary>    ::=   <predicate> | <boolean predicand>

      <boolean predicand>    ::=
             <parenthesized boolean value expression>
         |     <nonparenthesized value expression primary>

      <parenthesized boolean value expression>    ::=   <left paren> <boolean value expression> <right paren>

    6.35 <array value expression> (p284)

      <array value expression>    ::=   <array concatenation> | <array factor>

      <array concatenation>    ::=   <array value expression 1> <concatenation operator> <array factor>

      <array value expression 1>    ::=   <array value expression>

      <array factor>    ::=   <value expression primary>

    6.36 <array value constructor> (p284)

      <array value constructor>    ::=
             <array value constructor by enumeration>
         |     <array value constructor by query>

      <array value constructor by enumeration>    ::=
             ARRAY <left bracket or trigraph> <array element list> <right bracket or trigraph>

      <array element list>    ::=   <array element> [ { <comma> <array element> }... ]

      <array element>    ::=   <value expression>

      <array value constructor by query>    ::=
             ARRAY <left paren> <query expression> [ <order by clause> ] <right paren>

    6.37 <multiset value expression> (p286)

      <multiset value expression>    ::=
             <multiset term>
         |     <multiset value expression> MULTISET UNION [ ALL | DISTINCT ] <multiset term>
         |     <multiset value expression> MULTISET EXCEPT [ ALL | DISTINCT ] <multiset term>

      <multiset term>    ::=
             <multiset primary>
         |     <multiset term> MULTISET INTERSECT [ ALL | DISTINCT ] <multiset primary>

      <multiset primary>    ::=   <multiset value function> | <value expression primary>

    6.38 <multiset value function> (p289)

      <multiset value function>    ::=   <multiset set function>

      <multiset set function>    ::=   SET <left paren> <multiset value expression> <right paren>

    6.39 <multiset value constructor> (p290)

      <multiset value constructor>    ::=
             <multiset value constructor by enumeration>
         |     <multiset value constructor by query>
         |     <table value constructor by query>

      <multiset value constructor by enumeration>    ::=   MULTISET <left bracket or trigraph> <multiset element list> <right bracket or trigraph>

      <multiset element list>    ::=   <multiset element> [ { <comma> <multiset element> } ]

      <multiset element>    ::=   <value expression>

      <multiset value constructor by query>    ::=   MULTISET <left paren> <query expression> <right paren>

      <table value constructor by query>    ::=   TABLE <left paren> <query expression> <right paren>

    Top


    7 Query expressions

    7.1 <row value constructor> (p293)

    Specify a value or list of values to be constructed into a row or partial row.

      <row value constructor>    ::=
             <common value expression>
         |     <boolean value expression>
         |     <explicit row value constructor>

      <explicit row value constructor>    ::=
             <left paren> <row value constructor element> <comma> <row value constructor element list> <right paren>
         |     ROW <left paren> <row value constructor element list> <right paren>
         |     <row subquery>

      <row value constructor element list>    ::=
             <row value constructor element> [ { <comma> <row value constructor element> }... ]

      <row value constructor element>    ::=   <value expression>

      <contextually typed row value constructor>    ::=
             <common value expression>
         |     <boolean value expression>
         |     <contextually typed value specification>
         |     <left paren> <contextually typed row value constructor element> <comma> <contextually typed row value constructor element list> <right paren>
         |     ROW <left paren> <contextually typed row value constructor element list> <right paren>

      <contextually typed row value constructor element list>    ::=
             <contextually typed row value constructor element>
             [ { <comma> <contextually typed row value constructor element> }... ]

      <contextually typed row value constructor element>    ::=
             <value expression>
         |     <contextually typed value specification>

      <row value constructor predicand>    ::=
             <common value expression>
         |     <boolean predicand>
         |     <explicit row value constructor>

    7.2 <row value expression> (p296)

    Specify a row value.

      <row value expression>    ::=
             <row value special case>
         |     <explicit row value constructor>

      <table row value expression>    ::=
             <row value special case>
         |     <row value constructor>

      <contextually typed row value expression>    ::=
             <row value special case>
         |     <contextually typed row value constructor>

      <row value predicand>    ::=
             <row value special case>
         |     <row value constructor predicand>

      <row value special case>    ::=   <nonparenthesized value expression primary>

    7.3 <table value constructor> (p298)

    Specify a set of <row value expression>s to be constructed into a table.

      <table value constructor>    ::=   VALUES <row value expression list>

      <row value expression list>    ::=   <table row value expression> [ { <comma> <table row value expression> }... ]

      <contextually typed table value constructor>    ::=   VALUES <contextually typed row value expression list>

      <contextually typed row value expression list>    ::=   <contextually typed row value expression> [ { <comma> <contextually typed row value expression> }... ]

    7.4 <table expression> (p300)

    Specify a table or a grouped table.

      <table expression>    ::=
             <from clause>
             [ <where clause> ]
             [ <group by clause> ]
             [ <having clause> ]
             [ <window clause> ]

    7.5 <from clause> (p301)

    Specify a table derived from one or more tables.

      <from clause>    ::=   FROM <table reference list>

      <table reference list>    ::=   <table reference> [ { <comma> <table reference> }... ]

    7.6 <table reference> (p303)

    Reference a table.

      <table reference>    ::=   <table primary or joined table> [ <sample clause> ]

      <table primary or joined table>    ::=   <table primary> | <joined table>

      <sample clause>    ::=
             TABLESAMPLE <sample method> <left paren> <sample percentage> <right paren> [ <repeatable clause> ]

      <sample method>    ::=   BERNOULLI | SYSTEM

      <repeatable clause>    ::=   REPEATABLE <left paren> <repeat argument> <right paren>

      <sample percentage>    ::=   <numeric value expression>

      <repeat argument>    ::=   <numeric value expression>

      <table primary>    ::=
             <table or query name> [ [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ] ]
         |     <derived table> [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ]
         |     <lateral derived table> [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ]
         |     <collection derived table> [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ]
         |     <table function derived table> [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ]
         |     <only spec> [ [ AS ] <correlation name> [ <left paren> <derived column list> <right paren> ] ]
         |     <left paren> <joined table> <right paren>

      <only spec>    ::=   ONLY <left paren> <table or query name> <right paren>

      <lateral derived table>    ::=   LATERAL <table subquery>

      <collection derived table>    ::=   UNNEST <left paren> <collection value expression> <right paren> [ WITH ORDINALITY ]

      <table function derived table>    ::=   TABLE <left paren> <collection value expression> <right paren>

      <derived table>    ::=   <table subquery>

      <table or query name>    ::=   <table name> | <query name>

      <derived column list>    ::=   <column name list>

      <column name list>    ::=   <column name> [ { <comma> <column name> }... ]

    7.7 <joined table> (p312)

    Specify a table derived from a Cartesian product, inner or outer join, or union join.

      <joined table>    ::=
             <cross join>
         |     <qualified join>
         |     <natural join>
         |     <union join>

      <cross join>    ::=   <table reference> CROSS JOIN <table primary>

      <qualified join>    ::=   <table reference> [ <join type> ] JOIN <table reference> <join specification>

      <natural join>    ::=   <table reference> NATURAL [ <join type> ] JOIN <table primary>

      <union join>    ::=   <table reference> UNION JOIN <table primary>

      <join specification>    ::=   <join condition> | <named columns join>

      <join condition>    ::=   ON <search condition>

      <named columns join>    ::=   USING <left paren> <join column list> <right paren>

      <join type>    ::=   INNER | <outer join type> [ OUTER ]

      <outer join type>    ::=   LEFT | RIGHT | FULL

      <join column list>    ::=   <column name list>

    7.8 <where clause> (p319)

    Specify a table derived by the application of a <search condition> to the result of the preceding <from clause>.

      <where clause>    ::=   WHERE <search condition>

    7.9 <group by clause> (p320)

    Specify a grouped table derived by the application of the <group by clause> to the result of the previously specified clause.

      <group by clause>    ::=   GROUP BY [ <set quantifier> ] <grouping element list>

      <grouping element list>    ::=   <grouping element> [ { <comma> <grouping element> }... ]

      <grouping element>    ::=
             <ordinary grouping set>
         |     <rollup list>
         |     <cube list>
         |     <grouping sets specification>
         |     <empty grouping set>

      <ordinary grouping set>    ::=
             <grouping column reference>
         |     <left paren> <grouping column reference list> <right paren>

      <grouping column reference>    ::=   <column reference> [ <collate clause> ]

      <grouping column reference list>    ::=   <grouping column reference> [ { <comma> <grouping column reference> }... ]

      <rollup list>    ::=   ROLLUP <left paren> <ordinary grouping set list> <right paren>

      <ordinary grouping set list>    ::=   <ordinary grouping set> [ { <comma> <ordinary grouping set> }... ]

      <cube list>    ::=   CUBE <left paren> <ordinary grouping set list> <right paren>

      <grouping sets specification>    ::=   GROUPING SETS <left paren> <grouping set list> <right paren>

      <grouping set list>    ::=   <grouping set> [ { <comma> <grouping set> }... ]

      <grouping set>    ::=
             <ordinary grouping set>
         |     <rollup list>
         |     <cube list>
         |     <grouping sets specification>
         |     <empty grouping set>

      <empty grouping set>    ::=   <left paren> <right paren>

    7.10 <having clause> (p329)

    Specify a grouped table derived by the elimination of groups that do not satisfy a <search condition>.

      <having clause>    ::=   HAVING <search condition>

    7.11 <window clause> (p331)

    Specify one or more window definitions.

      <window clause>    ::=   WINDOW <window definition list>

      <window definition list>    ::=   <window definition> [ { <comma> <window definition> }... ]

      <window definition>    ::=   <new window name> AS <window specification>

      <new window name>    ::=   <window name>

      <window specification>    ::=   <left paren> <window specification details> <right paren>

      <window specification details>    ::=
             [ <existing window name> ] [ <window partition clause> ] [ <window order clause> ] [ <window frame clause> ]

      <existing window name>    ::=   <window name>

      <window partition clause>    ::=   PARTITION BY <window partition column reference list>

      <window partition column reference list>    ::=   <window partition column reference> [ { <comma> <window partition column reference> }... ]

      <window partition column reference>    ::=   <column reference> [ <collate clause> ]

      <window order clause>    ::=   ORDER BY <sort specification list>

      <window frame clause>    ::=   <window frame units> <window frame extent> [ <window frame exclusion> ]

      <window frame units>    ::=   ROWS | RANGE

      <window frame extent>    ::=   <window frame start> | <window frame between>

      <window frame start>    ::=   UNBOUNDED PRECEDING | <window frame preceding> | CURRENT ROW

      <window frame preceding>    ::=   <unsigned value specification> PRECEDING

      <window frame between>    ::=   BETWEEN <window frame bound 1> AND <window frame bound 2>

      <window frame bound 1>    ::=   <window frame bound>

      <window frame bound 2>    ::=   <window frame bound>

      <window frame bound>    ::=
             <window frame start>
         |     UNBOUNDED FOLLOWING
         |     <window frame following>

      <window frame following>    ::=   <unsigned value specification> FOLLOWING

      <window frame exclusion>    ::=
             EXCLUDE CURRENT ROW
         |     EXCLUDE GROUP
         |     EXCLUDE TIES
         |     EXCLUDE NO OTHERS

    7.12 <query specification> (p341)

    Specify a table derived from the result of a <table expression>.

      <query specification>    ::=   SELECT [ <set quantifier> ] <select list> <table expression>

      <select list>    ::=   <asterisk> | <select sublist> [ { <comma> <select sublist> }... ]

      <select sublist>    ::=   <derived column> | <qualified asterisk>

      <qualified asterisk>    ::=
             <asterisked identifier chain> <period> <asterisk>
         |     <all fields reference>

      <asterisked identifier chain>    ::=   <asterisked identifier> [ { <period> <asterisked identifier> }... ]

      <asterisked identifier>    ::=   <identifier>

      <derived column>    ::=   <value expression> [ <as clause> ]

      <as clause>    ::=   [ AS ] <column name>

      <all fields reference>    ::=   <value expression primary> <period> <asterisk> [ AS <left paren> <all fields column name list> <right paren> ]

      <all fields column name list>    ::=   <column name list>

    7.13 <query expression> (p350)

    Specify a table.

      <query expression>    ::=   [ <with clause> ] <query expression body>

      <with clause>    ::=   WITH [ RECURSIVE ] <with list>

      <with list>    ::=   <with list element> [ { <comma> <with list element> }... ]

      <with list element>    ::=
             <query name> [ <left paren> <with column list> <right paren> ]
             AS <left paren> <query expression> <right paren> [ <search or cycle clause> ]

      <with column list>    ::=   <column name list>

      <query expression body>    ::=   <non-join query expression> | <joined table>

      <non-join query expression>    ::=
             <non-join query term>
         |     <query expression body> UNION [ ALL | DISTINCT ] [ <corresponding spec> ] <query term>
         |     <query expression body> EXCEPT [ ALL | DISTINCT ] [ <corresponding spec> ] <query term>

      <query term>    ::=   <non-join query term> | <joined table>

      <non-join query term>    ::=
             <non-join query primary>
         |     <query term> INTERSECT [ ALL | DISTINCT ] [ <corresponding spec> ] <query primary>

      <query primary>    ::=   <non-join query primary> | <joined table>

      <non-join query primary>    ::=   <simple table> | <left paren> <non-join query expression> <right paren>

      <simple table>    ::=
             <query specification>
         |     <table value constructor>
         |     <explicit table>

      <explicit table>    ::=   TABLE <table or query name>

      <corresponding spec>    ::=   CORRESPONDING [ BY <left paren> <corresponding column list> <right paren> ]

      <corresponding column list>    ::=   <column name list>

    7.14 <search or cycle clause> (p363)

    Specify the generation of ordering and cycle detection information in the result of recursive query expressions.

      <search or cycle clause>    ::=
             <search clause>
         |     <cycle clause>
         |     <search clause> <cycle clause>

      <search clause>    ::=   SEARCH <recursive search order> SET <sequence column>

      <recursive search order>    ::=
             DEPTH FIRST BY <sort specification list>
         |     BREADTH FIRST BY <sort specification list>

      <sequence column>    ::=   <column name>

      <cycle clause>    ::=
             CYCLE <cycle column list>
             SET <cycle mark column> TO <cycle mark value>
             DEFAULT <non-cycle mark value>
             USING <path column>

      <cycle column list>    ::=   <cycle column> [ { <comma> <cycle column> }... ]

      <cycle column>    ::=   <column name>

      <cycle mark column>    ::=   <column name>

      <path column>    ::=   <column name>

      <cycle mark value>    ::=   <value expression>

      <non-cycle mark value>    ::=   <value expression>

    7.15 <subquery> (p368)

    Specify a scalar value, a row, or a table derived from a <query expression>.

      <scalar subquery>    ::=   <subquery>

      <row subquery>    ::=   <subquery>

      <table subquery>    ::=   <subquery>

      <subquery>    ::=   <left paren> <query expression> <right paren>

    Top


    8 Predicates

    8.1 <predicate> (p371)

    Specify a condition that can be evaluated to give a boolean value.

      <predicate>    ::=
             <comparison predicate>
         |     <between predicate>
         |     <in predicate>
         |     <like predicate>
         |     <similar predicate>
         |     <null predicate>
         |     <quantified comparison predicate>
         |     <exists predicate>
         |     <unique predicate>
         |     <normalized predicate>
         |     <match predicate>
         |     <overlaps predicate>
         |     <distinct predicate>
         |     <member predicate>
         |     <submultiset predicate>
         |     <set predicate>
         |     <type predicate>

    8.2 <comparison predicate> (p373)

    Specify a comparison of two row values.

      <comparison predicate>    ::=   <row value predicand> <comparison predicate part 2>

      <comparison predicate part 2>    ::=   <comp op> <row value predicand>

      <comp op>    ::=
             <equals operator>
         |     <not equals operator>
         |     <less than operator>
         |     <greater than operator>
         |     <less than or equals operator>
         |     <greater than or equals operator>

    8.3 <between predicate> (p380)

    Specify a range comparison.

      <between predicate>    ::=   <row value predicand> <between predicate part 2>

      <between predicate part 2>    ::=   [ NOT ] BETWEEN [ ASYMMETRIC | SYMMETRIC ] <row value predicand> AND <row value predicand>

    8.4 <in predicate> (p381)

    Specify a quantified comparison.

      <in predicate>    ::=   <row value predicand> <in predicate part 2>

      <in predicate part 2>    ::=   [ NOT ] IN <in predicate value>

      <in predicate value>    ::=
             <table subquery>
         |     <left paren> <in value list> <right paren>

      <in value list>    ::=   <row value expression> [ { <comma> <row value expression> }... ]

    8.5 <like predicate> (p383)

    Specify a pattern-match comparison.

      <like predicate>    ::=   <character like predicate> | <octet like predicate>

      <character like predicate>    ::=   <row value predicand> <character like predicate part 2>

      <character like predicate part 2>    ::=   [ NOT ] LIKE <character pattern> [ ESCAPE <escape character> ]

      <character pattern>    ::=   <character value expression>

      <escape character>    ::=   <character value expression>

      <octet like predicate>    ::=   <row value predicand> <octet like predicate part 2>

      <octet like predicate part 2>    ::=   [ NOT ] LIKE <octet pattern> [ ESCAPE <escape octet> ]

      <octet pattern>    ::=   <blob value expression>

      <escape octet>    ::=   <blob value expression>

    8.6 <similar predicate> (p389)

    Specify a character string similarity by means of a regular expression.

      <similar predicate>    ::=   <row value predicand> <similar predicate part 2>

      <similar predicate part 2>    ::=   [ NOT ] SIMILAR TO <similar pattern> [ ESCAPE <escape character> ]

      <similar pattern>    ::=   <character value expression>

      <regular expression>    ::=
             <regular term>
         |     <regular expression> <vertical bar> <regular term>

      <regular term>    ::=
             <regular factor>
         |     <regular term> <regular factor>

      <regular factor>    ::=
             <regular primary>
         |     <regular primary> <asterisk>
         |     <regular primary> <plus sign>
         |     <regular primary> <question mark>
         |     <regular primary> <repeat factor>

      <repeat factor>    ::=   <left brace> <low value> [ <upper limit> ] <right brace>

      <upper limit>    ::=   <comma> [ <high value> ]

      <low value>    ::=   <unsigned integer>

      <high value>    ::=   <unsigned integer>

      <regular primary>    ::=
             <character specifier>
         |     <percent>
         |     <regular character set>
         |     <left paren> <regular expression> <right paren>

      <character specifier>    ::=   <non-escaped character> | <escaped character>

      <non-escaped character>    ::=   !! See the Syntax Rules

      <escaped character>    ::=   !! See the Syntax Rules

      <regular character set>    ::=
             <underscore>
         |     <left bracket> <character enumeration> ... <right bracket>
         |     <left bracket> <circumflex> <character enumeration> ... <right bracket>
         |     <left bracket> <character enumeration include> ... <circumflex> <character enumeration exclude> ... <right bracket>

      <character enumeration include>    ::=   <character enumeration>

      <character enumeration exclude>    ::=   <character enumeration>

      <character enumeration>    ::=
             <character specifier>
         |     <character specifier> <minus sign> <character specifier>
         |     <left bracket> <colon> <regular character set identifier> <colon> <right bracket>

      <regular character set identifier>    ::=   <identifier>

    8.7 <null predicate> (p395)

    Specify a test for a null value.

      <null predicate>    ::=   <row value predicand> <null predicate part 2>

      <null predicate part 2>    ::=   IS [ NOT ] NULL

    8.8 <quantified comparison predicate> (p397)

    Specify a quantified comparison.

      <quantified comparison predicate>    ::=   <row value predicand> <quantified comparison predicate part 2>

      <quantified comparison predicate part 2>    ::=   <comp op> <quantifier> <table subquery>

      <quantifier>    ::=   <all> | <some>

      <all>    ::=   ALL

      <some>    ::=   SOME | ANY

    8.9 <exists predicate> (p399)

    Specify a test for a non-empty set.

      <exists predicate>    ::=   EXISTS <table subquery>

    8.10 <unique predicate> (p400)

    Specify a test for the absence of duplicate rows

      <unique predicate>    ::=   UNIQUE <table subquery>

    8.11 <normalized predicate> (p401)

    Determine whether a character string value is normalized.

      <normalized predicate>    ::=   <string value expression> IS [ NOT ] NORMALIZED

    8.12 <match predicate> (p402)

    Specify a test for matching rows.

      <match predicate>    ::=   <row value predicand> <match predicate part 2>

      <match predicate part 2>    ::=   MATCH [ UNIQUE ] [ SIMPLE | PARTIAL | FULL ] <table subquery>

    8.13 <overlaps predicate> (p405)

    Specify a test for an overlap between two datetime periods.

      <overlaps predicate>    ::=   <overlaps predicate part 1> <overlaps predicate part 2>

      <overlaps predicate part 1>    ::=   <row value predicand 1>

      <overlaps predicate part 2>    ::=   OVERLAPS <row value predicand 2>

      <row value predicand 1>    ::=   <row value predicand>

      <row value predicand 2>    ::=   <row value predicand>

    8.14 <distinct predicate> (p407)

    Specify a test of whether two row values are distinct

      <distinct predicate>    ::=   <row value predicand 3> <distinct predicate part 2>

      <distinct predicate part 2>    ::=   IS DISTINCT FROM <row value predicand 4>

      <row value predicand 3>    ::=   <row value predicand>

      <row value predicand 4>    ::=   <row value predicand>

    8.15 <member predicate> (p409)

    Specify a test of whether a value is a member of a multiset.

      <member predicate>    ::=   <row value predicand> <member predicate part 2>

      <member predicate part 2>    ::=   [ NOT ] MEMBER [ OF ] <multiset value expression>

    8.16 <submultiset predicate> (p411)

    Specify a test of whether a multiset is a submultiset of another multiset.

      <submultiset predicate>    ::=   <row value predicand> <submultiset predicate part 2>

      <submultiset predicate part 2>    ::=   [ NOT ] SUBMULTISET [ OF ] <multiset value expression>

    8.17 <set predicate> (p413)

    Specify a test of whether a multiset is a set (that is, does not contain any duplicates).

      <set predicate>    ::=   <row value predicand> <set predicate part 2>

      <set predicate part 2>    ::=   IS [ NOT ] A SET

    8.18 <type predicate> (p414)

    Specify a type test.

      <type predicate>    ::=   <row value predicand> <type predicate part 2>

      <type predicate part 2>    ::=   IS [ NOT ] OF <left paren> <type list> <right paren>

      <type list>    ::=   <user-defined type specification> [ { <comma> <user-defined type specification> }... ]

      <user-defined type specification>    ::=
             <inclusive user-defined type specification>
         |     <exclusive user-defined type specification>

      <inclusive user-defined type specification>    ::=   <path-resolved user-defined type name>

      <exclusive user-defined type specification>    ::=   ONLY <path-resolved user-defined type name>

    8.19 <search condition> (p416)

    Specify a condition that is True , False , or Unknown , depending on the value of a <boolean value expression>.

      <search condition>    ::=   <boolean value expression>

    Top


    9 Additional common rules

    9.1 Retrieval assignment (p417)

    9.2 Store assignment (p422)

    9.3 Data types of results of aggregations (p427)

    9.4 Subject routine determination (p430)

    9.5 Type precedence list determination (p431)

    9.6 Host parameter mode determination (p434)

    9.7 Type name determination (p436)

    9.8 Determination of identical values (p438)

    9.9 Equality operations (p440)

    9.10 Grouping operations (p443)

    9.11 Multiset element grouping operations (p445)

    9.12 Ordering operations (p447)

    9.13 Collation determination (p449)

    9.14 Execution of array-returning functions (p450)

    9.15 Execution of multiset-returning functions (p453)

    9.16 Data type identity (p454)

    9.17 Determination of a from-sql function (p456)

    9.18 Determination of a from-sql function for an overriding method (p457)

    9.19 Determination of a to-sql function (p458)

    9.20 Determination of a to-sql function for an overriding method (p459)

    9.21 Generation of the next value of a sequence generator (p460)

    9.22 Creation of a sequence generator (p461)

    9.23 Altering a sequence generator (p463)

    Top


    10 Additional common elements

    10.1 <interval qualifier> (p465)

    Specify the precision of an interval data type.

      <interval qualifier>    ::=
             <start field> TO <end field>
         |     <single datetime field>

      <start field>    ::=   <non-second primary datetime field> [ <left paren> <interval leading field precision> <right paren> ]

      <end field>    ::=
             <non-second primary datetime field>
         |     SECOND [ <left paren> <interval fractional seconds precision> <right paren> ]

      <single datetime field>    ::=
             <non-second primary datetime field> [ <left paren> <interval leading field precision> <right paren> ]
         |     SECOND [ <left paren> <interval leading field precision> [ <comma> <interval fractional seconds precision> ] <right paren> ]

      <primary datetime field>    ::=
             <non-second primary datetime field>
         |     SECOND

      <non-second primary datetime field>    ::=   YEAR | MONTH | DAY | HOUR | MINUTE

      <interval fractional seconds precision>    ::=   <unsigned integer>

      <interval leading field precision>    ::=   <unsigned integer>

    10.2 <language clause> (p469)

    Specify a standard programming language.

      <language clause>    ::=   LANGUAGE <language name>

      <language name>    ::=   ADA | C | COBOL | FORTRAN | MUMPS | PASCAL | PLI | SQL

    Table 14 -- Standard programming languages

    Language keyword Relevant standard
    ADAISO/IEC 8652
    CISO/IEC 9899
    COBOLISO 1989
    FORTRANISO 1539
    MUMPSISO/IEC 11756
    PASCALISO/IEC 7185 and ISO/IEC 10206
    PLIISO 6160
    SQLISO/IEC 9075

    10.3 <path specification> (p471)

    Specify an order for searching for an SQL-invoked routine.

      <path specification>    ::=   PATH <schema name list>

      <schema name list>    ::=   <schema name> [ { <comma> <schema name> }... ]

    10.4 <routine invocation> (p472)

    Invoke an SQL-invoked routine.

      <routine invocation>    ::=   <routine name> <SQL argument list>

      <routine name>    ::=   [ <schema name> <period> ] <qualified identifier>

      <SQL argument list>    ::=   <left paren> [ <SQL argument> [ { <comma> <SQL argument> }... ] ] <right paren>

      <SQL argument>    ::=
             <value expression>
         |     <generalized expression>
         |     <target specification>

      <generalized expression>    ::=   <value expression> AS <path-resolved user-defined type name>

    10.5 <character set specification> (p495)

    Identify a character set.

      <character set specification>    ::=
             <standard character set name>
         |     <implementation-defined character set name>
         |     <user-defined character set name>

      <standard character set name>    ::=   <character set name>

      <implementation-defined character set name>    ::=   <character set name>

      <user-defined character set name>    ::=   <character set name>

    10.6 <specific routine designator> (p497)

    Specify an SQL-invoked routine.

      <specific routine designator>    ::=
             SPECIFIC <routine type> <specific name>
                 |     <routine type> <member name>
             [ FOR <schema-resolved user-defined type name> ]

      <routine type>    ::=
             ROUTINE
         |     FUNCTION
         |     PROCEDURE
         |     [ INSTANCE | STATIC | CONSTRUCTOR ] METHOD

      <member name>    ::=   <member name alternatives> [ <data type list> ]

      <member name alternatives>    ::=   <schema qualified routine name> | <method name>

      <data type list>    ::=   <left paren> [ <data type> [ { <comma> <data type> }... ] ] <right paren>

    10.7 <collate clause> (p500)

    Specify a default collating sequence.

      <collate clause>    ::=   COLLATE <collation name>

    10.8 <constraint name definition> and <constraint characteristics> (p501)

    Specify the name of a constraint and its characteristics.

      <constraint name definition>    ::=   CONSTRAINT <constraint name>

      <constraint characteristics>    ::=
             <constraint check time> [ [ NOT ] DEFERRABLE ]
         |     [ NOT ] DEFERRABLE [ <constraint check time> ]

      <constraint check time>    ::=   INITIALLY DEFERRED | INITIALLY IMMEDIATE

    10.9 <aggregate function> (p503)

    Specify a value computed from a collection of rows.

      <aggregate function>    ::=
             COUNT <left paren> <asterisk> <right paren> [ <filter clause> ]
         |     <general set function> [ <filter clause> ]
         |     <binary set function> [ <filter clause> ]
         |     <ordered set function> [ <filter clause> ]

      <general set function>    ::=   <set function type> <left paren> [ <set quantifier> ] <value expression> <right paren>

      <set function type>    ::=   <computational operation>

      <computational operation>    ::=
             AVG | MAX | MIN | SUM
         |     EVERY | ANY | SOME
         |     COUNT
         |     STDDEV_POP | STDDEV_SAMP | VAR_SAMP | VAR_POP
         |     COLLECT | FUSION | INTERSECTION

      <set quantifier>    ::=   DISTINCT | ALL

      <filter clause>    ::=   FILTER <left paren> WHERE <search condition> <right paren>

      <binary set function>    ::=   <binary set function type> <left paren> <dependent variable expression> <comma> <independent variable expression> <right paren>

      <binary set function type>    ::=
             COVAR_POP | COVAR_SAMP | CORR | REGR_SLOPE
         |     REGR_INTERCEPT | REGR_COUNT | REGR_R2 | REGR_AVGX | REGR_AVGY
         |     REGR_SXX | REGR_SYY | REGR_SXY

      <dependent variable expression>    ::=   <numeric value expression>

      <independent variable expression>    ::=   <numeric value expression>

      <ordered set function>    ::=   <hypothetical set function> | <inverse distribution function>

      <hypothetical set function>    ::=   <rank function type> <left paren> <hypothetical set function value expression list> <right paren> <within group specification>

      <within group specification>    ::=   WITHIN GROUP <left paren> ORDER BY <sort specification list> <right paren>

      <hypothetical set function value expression list>    ::=   <value expression> [ { <comma> <value expression> }... ]

      <inverse distribution function>    ::=   <inverse distribution function type> <left paren> <inverse distribution function argument> <right paren> <within group specification>

      <inverse distribution function argument>    ::=   <numeric value expression>

      <inverse distribution function type>    ::=   PERCENTILE_CONT | PERCENTILE_DISC

    10.10 <sort specification list> (p515)

    Specify a sort order.

      <sort specification list>    ::=   <sort specification> [ { <comma> <sort specification> }... ]

      <sort specification>    ::=   <sort key> [ <ordering specification> ] [ <null ordering> ]

      <sort key>    ::=   <value expression>

      <ordering specification>    ::=   ASC | DESC

      <null ordering>    ::=   NULLS FIRST | NULLS LAST

    Top


    11 Schema definition and manipulation

    11.1 <schema definition> (p517)

    Define a schema.

      <schema definition>    ::=   CREATE SCHEMA <schema name clause> [ <schema character set or path> ] [ <schema element> ... ]

      <schema character set or path>    ::=
             <schema character set specification>
         |     <schema path specification>
         |     <schema character set specification> <schema path specification>
         |     <schema path specification> <schema character set specification>

      <schema name clause>    ::=
             <schema name>
         |     AUTHORIZATION <schema authorization identifier>
         |     <schema name> AUTHORIZATION <schema authorization identifier>

      <schema authorization identifier>    ::=   <authorization identifier>

      <schema character set specification>    ::=   DEFAULT CHARACTER SET <character set specification>

      <schema path specification>    ::=   <path specification>

      <schema element>    ::=
             <table definition>
         |     <view definition>
         |     <domain definition>
         |     <character set definition>
         |     <collation definition>
         |     <transliteration definition>
         |     <assertion definition>
         |     <trigger definition>
         |     <user-defined type definition>
         |     <user-defined cast definition>
         |     <user-defined ordering definition>
         |     <transform definition>
         |     <schema routine>
         |     <sequence generator definition>
         |     <grant statement>
         |     <role definition>

    11.2 <drop schema statement> (p520)

    Destroy a schema.

      <drop schema statement>    ::=   DROP SCHEMA <schema name> <drop behavior>

      <drop behavior>    ::=   CASCADE | RESTRICT

    11.3 <table definition> (p523)

    Define a persistent base table, a created local temporary table, or a global temporary table.

      <table definition>    ::=
             CREATE [ <table scope> ] TABLE <table name> <table contents source>
             [ ON COMMIT <table commit action> ROWS ]

      <table contents source>    ::=
             <table element list>
         |     OF <path-resolved user-defined type name> [ <subtable clause> ] [ <table element list> ]
         |     <as subquery clause>

      <table scope>    ::=   <global or local> TEMPORARY

      <global or local>    ::=   GLOBAL | LOCAL

      <table commit action>    ::=   PRESERVE | DELETE

      <table element list>    ::=   <left paren> <table element> [ { <comma> <table element> }... ] <right paren>

      <table element>    ::=
             <column definition>
         |     <table constraint definition>
         |     <like clause>
         |     <self-referencing column specification>
         |     <column options>

      <self-referencing column specification>    ::=   REF IS <self-referencing column name> <reference generation>

      <reference generation>    ::=   SYSTEM GENERATED | USER GENERATED | DERIVED

      <self-referencing column name>    ::=   <column name>

      <column options>    ::=   <column name> WITH OPTIONS <column option list>

      <column option list>    ::=   [ <scope clause> ] [ <default clause> ] [ <column constraint definition> ... ]

      <subtable clause>    ::=   UNDER <supertable clause>

      <supertable clause>    ::=   <supertable name>

      <supertable name>    ::=   <table name>

      <like clause>    ::=   LIKE <table name> [ <like options> ]

      <like options>    ::=   <identity option> | <column default option>

      <identity option>    ::=   INCLUDING IDENTITY | EXCLUDING IDENTITY

      <column default option>    ::=   INCLUDING DEFAULTS | EXCLUDING DEFAULTS

      <as subquery clause>    ::=   [ <left paren> <column name list> <right paren> ] AS <subquery> <with or without data>

      <with or without data>    ::=   WITH NO DATA | WITH DATA

    11.4 <column definition> (p534)

    Define a column of a base table.

      <column definition>    ::=
             <column name> [ <data type> | <domain name> ] [ <reference scope check> ]
             [ <default clause> | <identity column specification> | <generation clause> ]
             [ <column constraint definition> ... ] [ <collate clause> ]

      <column constraint definition>    ::=   [ <constraint name definition> ] <column constraint> [ <constraint characteristics> ]

      <column constraint>    ::=
             NOT NULL
         |     <unique specification>
         |     <references specification>
         |     <check constraint definition>

      <reference scope check>    ::=   REFERENCES ARE [ NOT ] CHECKED [ ON DELETE <reference scope check action> ]

      <reference scope check action>    ::=   <referential action>

      <identity column specification>    ::=
             GENERATED { ALWAYS | BY DEFAULT } AS IDENTITY
             [ <left paren> <common sequence generator options> <right paren> ]

      <generation clause>    ::=   <generation rule> AS <generation expression>

      <generation rule>    ::=   GENERATED ALWAYS

      <generation expression>    ::=   <left paren> <value expression> <right paren>

    11.5 <default clause> (p539)

    Specify the default for a column, domain, or attribute.

      <default clause>    ::=   DEFAULT <default option>

      <default option>    ::=
             <literal>
         |     <datetime value function>
         |     USER
         |     CURRENT_USER
         |     CURRENT_ROLE
         |     SESSION_USER
         |     SYSTEM_USER
         |     CURRENT_PATH
         |     <implicitly typed value specification>

    11.6 <table constraint definition> (p543)

    Specify an integrity constraint.

      <table constraint definition>    ::=   [ <constraint name definition> ] <table constraint> [ <constraint characteristics> ]

      <table constraint>    ::=
             <unique constraint definition>
         |     <referential constraint definition>
         |     <check constraint definition>

    11.7 <unique constraint definition> (p545)

    Specify a uniqueness constraint for a table.

      <unique constraint definition>    ::=
             <unique specification> <left paren> <unique column list> <right paren>
         |     UNIQUE ( VALUE )

      <unique specification>    ::=   UNIQUE | PRIMARY KEY

      <unique column list>    ::=   <column name list>

    11.8 <referential constraint definition> (p547)

    Specify a referential constraint.

      <referential constraint definition>    ::=   FOREIGN KEY <left paren> <referencing columns> <right paren> <references specification>

      <references specification>    ::=   REFERENCES <referenced table and columns> [ MATCH <match type> ] [ <referential triggered action> ]

      <match type>    ::=   FULL | PARTIAL | SIMPLE

      <referencing columns>    ::=   <reference column list>

      <referenced table and columns>    ::=   <table name> [ <left paren> <reference column list> <right paren> ]

      <reference column list>    ::=   <column name list>

      <referential triggered action>    ::=   <update rule> [ <delete rule> ] | <delete rule> [ <update rule> ]

      <update rule>    ::=   ON UPDATE <referential action>

      <delete rule>    ::=   ON DELETE <referential action>

      <referential action>    ::=   CASCADE | SET NULL | SET DEFAULT | RESTRICT | NO ACTION

    11.9 <check constraint definition> (p567)

    Specify a condition for the SQL-data.

      <check constraint definition>    ::=   CHECK <left paren> <search condition> <right paren>

    11.10 <alter table statement> (p569)

    Change the definition of a table.

      <alter table statement>    ::=   ALTER TABLE <table name> <alter table action>

      <alter table action>    ::=
             <add column definition>
         |     <alter column definition>
         |     <drop column definition>
         |     <add table constraint definition>
         |     <drop table constraint definition>

    11.11 <add column definition> (p570)

    Add a column to a table.

      <add column definition>    ::=   ADD [ COLUMN ] <column definition>

    11.12 <alter column definition> (p572)

    Change a column and its definition.

      <alter column definition>    ::=   ALTER [ COLUMN ] <column name> <alter column action>

      <alter column action>    ::=
             <set column default clause>
         |     <drop column default clause>
         |     <add column scope clause>
         |     <drop column scope clause>
         |     <alter identity column specification>

    11.13 <set column default clause> (p573)

    Set the default clause for a column.

      <set column default clause>    ::=   SET <default clause>

    11.14 <drop column default clause> (p574)

    Drop the default clause from a column.

      <drop column default clause>    ::=   DROP DEFAULT

    11.15 <add column scope clause> (p575)

    Add a non-empty scope for an existing column of data type REF in a base table.

      <add column scope clause>    ::=   ADD <scope clause>

    11.16 <drop column scope clause> (p576)

    Drop the scope from an existing column of data type REF in a base table.

      <drop column scope clause>    ::=   DROP SCOPE <drop behavior>

    11.17 <alter identity column specification> (p578)

    Change the options specified for an identity column.

      <alter identity column specification>    ::=   <alter identity column option> ...

      <alter identity column option>    ::=
             <alter sequence generator restart option>
         |     SET <basic sequence generator option>

    11.18 <drop column definition> (p579)

    Destroy a column of a base table.

      <drop column definition>    ::=   DROP [ COLUMN ] <column name> <drop behavior>

    11.19 <add table constraint definition> (p581)

    Add a constraint to a table.

      <add table constraint definition>    ::=   ADD <table constraint definition>

    11.20 <drop table constraint definition> (p582)

    Destroy a constraint on a table.

      <drop table constraint definition>    ::=   DROP CONSTRAINT <constraint name> <drop behavior>

    11.21 <drop table statement> (p585)

    Destroy a table.

      <drop table statement>    ::=   DROP TABLE <table name> <drop behavior>

    11.22 <view definition> (p588)

    Define a viewed table.

      <view definition>    ::=
             CREATE [ RECURSIVE ] VIEW <table name> <view specification> AS <query expression>
             [ WITH [ <levels clause> ] CHECK OPTION ]

      <view specification>    ::=   <regular view specification> | <referenceable view specification>

      <regular view specification>    ::=   [ <left paren> <view column list> <right paren> ]

      <referenceable view specification>    ::=   OF <path-resolved user-defined type name> [ <subview clause> ] [ <view element list> ]

      <subview clause>    ::=   UNDER <table name>

      <view element list>    ::=   <left paren> <view element> [ { <comma> <view element> }... ] <right paren>

      <view element>    ::=   <self-referencing column specification> | <view column option>

      <view column option>    ::=   <column name> WITH OPTIONS <scope clause>

      <levels clause>    ::=   CASCADED | LOCAL

      <view column list>    ::=   <column name list>

    11.23 <drop view statement> (p598)

    Destroy a view.

      <drop view statement>    ::=   DROP VIEW <table name> <drop behavior>

    11.24 <domain definition> (p601)

    Define a domain.

      <domain definition>    ::=
             CREATE DOMAIN <domain name> [ AS ] <data type>
             [ <default clause> ] [ <domain constraint> ... ] [ <collate clause> ]

      <domain constraint>    ::=   [ <constraint name definition> ] <check constraint definition> [ <constraint characteristics> ]

    11.25 <alter domain statement> (p603)

    Change a domain and its definition.

      <alter domain statement>    ::=   ALTER DOMAIN <domain name> <alter domain action>

      <alter domain action>    ::=
             <set domain default clause>
         |     <drop domain default clause>
         |     <add domain constraint definition>
         |     <drop domain constraint definition>

    11.26 <set domain default clause> (p604)

    Set the default value in a domain.

      <set domain default clause>    ::=   SET <default clause>

    11.27 <drop domain default clause> (p605)

    Remove the default clause of a domain.

      <drop domain default clause>    ::=   DROP DEFAULT

    11.28 <add domain constraint definition> (p606)

    Add a constraint to a domain.

      <add domain constraint definition>    ::=   ADD <domain constraint>

    11.29 <drop domain constraint definition> (p607)

    Destroy a constraint on a domain.

      <drop domain constraint definition>    ::=   DROP CONSTRAINT <constraint name>

    11.30 <drop domain statement> (p608)

    Destroy a domain.

      <drop domain statement>    ::=   DROP DOMAIN <domain name> <drop behavior>

    11.31 <character set definition> (p610)

    Define a character set.

      <character set definition>    ::=
             CREATE CHARACTER SET <character set name> [ AS ] <character set source> [ <collate clause> ]

      <character set source>    ::=   GET <character set specification>

    11.32 <drop character set statement> (p612)

    Destroy a character set.

      <drop character set statement>    ::=   DROP CHARACTER SET <character set name>

    11.33 <collation definition> (p614)

    Define a collating sequence.

      <collation definition>    ::=
             CREATE COLLATION <collation name> FOR <character set specification>
             FROM <existing collation name> [ <pad characteristic> ]

      <existing collation name>    ::=   <collation name>

      <pad characteristic>    ::=   NO PAD | PAD SPACE

    11.34 <drop collation statement> (p616)

    Destroy a collating sequence.

      <drop collation statement>    ::=   DROP COLLATION <collation name> <drop behavior>

    11.35 <transliteration definition> (p618)

    Define a character transliteration.

      <transliteration definition>    ::=
             CREATE TRANSLATION <transliteration name> FOR <source character set specification>
             TO <target character set specification> FROM <transliteration source>

      <source character set specification>    ::=   <character set specification>

      <target character set specification>    ::=   <character set specification>

      <transliteration source>    ::=   <existing transliteration name> | <transliteration routine>

      <existing transliteration name>    ::=   <transliteration name>

      <transliteration routine>    ::=   <specific routine designator>

    11.36 <drop transliteration statement> (p621)

    Destroy a character transliteration.

      <drop transliteration statement>    ::=   DROP TRANSLATION <transliteration name>

    11.37 <assertion definition> (p623)

    Specify an integrity constraint.

      <assertion definition>    ::=
             CREATE ASSERTION <constraint name> CHECK <left paren> <search condition> <right paren> [ <constraint characteristics> ]

    11.38 <drop assertion statement> (p625)

    Destroy an assertion.

      <drop assertion statement>    ::=   DROP ASSERTION <constraint name>

    11.39 <trigger definition> (p627)

    Define triggered SQL-statements.

      <trigger definition>    ::=
             CREATE TRIGGER <trigger name> <trigger action time> <trigger event>
             ON <table name> [ REFERENCING <old or new values alias list> ]
             <triggered action>

      <trigger action time>    ::=   BEFORE | AFTER

      <trigger event>    ::=   INSERT | DELETE | UPDATE [ OF <trigger column list> ]

      <trigger column list>    ::=   <column name list>

      <triggered action>    ::=
             [ FOR EACH { ROW | STATEMENT } ]
             [ WHEN <left paren> <search condition> <right paren> ]
             <triggered SQL statement>

      <triggered SQL statement>    ::=
             <SQL procedure statement>
         |     BEGIN ATOMIC { <SQL procedure statement> <semicolon> }... END

      <old or new values alias list>    ::=   <old or new values alias> ...

      <old or new values alias>    ::=
             OLD [ ROW ] [ AS ] <old values correlation name>
         |     NEW [ ROW ] [ AS ] <new values correlation name>
         |     OLD TABLE [ AS ] <old values table alias>
         |     NEW TABLE [ AS ] <new values table alias>

      <old values table alias>    ::=   <identifier>

      <new values table alias>    ::=   <identifier>

      <old values correlation name>    ::=   <correlation name>

      <new values correlation name>    ::=   <correlation name>

    11.40 <drop trigger statement> (p631)

    Destroy a trigger.

      <drop trigger statement>    ::=   DROP TRIGGER <trigger name>

    11.41 <user-defined type definition> (p632)

    Define a user-defined type.

      <user-defined type definition>    ::=   CREATE TYPE <user-defined type body>

      <user-defined type body>    ::=
             <schema-resolved user-defined type name> [ <subtype clause> ]
             [ AS <representation> ] [ <user-defined type option list> ] [ <method specification list> ]

      <user-defined type option list>    ::=   <user-defined type option> [ <user-defined type option> ... ]

      <user-defined type option>    ::=
             <instantiable clause>
         |     <finality>
         |     <reference type specification>
         |     <ref cast option>
         |     <cast option>

      <subtype clause>    ::=
             UNDER <supertype name>

      <supertype name>    ::=
             <path-resolved user-defined type name>

      <representation>    ::=   <predefined type> | <member list>

      <member list>    ::=   <left paren> <member> [ { <comma> <member> }... ] <right paren>

      <member>    ::=   <attribute definition>

      <instantiable clause>    ::=   INSTANTIABLE | NOT INSTANTIABLE

      <finality>    ::=   FINAL | NOT FINAL

      <reference type specification>    ::=
             <user-defined representation>
         |     <derived representation>
         |     <system-generated representation>

      <user-defined representation>    ::=   REF USING <predefined type>

      <derived representation>    ::=   REF FROM <list of attributes>

      <system-generated representation>    ::=   REF IS SYSTEM GENERATED

      <ref cast option>    ::=   [ <cast to ref> ] [ <cast to type> ]

      <cast to ref>    ::=   CAST <left paren> SOURCE AS REF <right paren> WITH <cast to ref identifier>

      <cast to ref identifier>    ::=   <identifier>

      <cast to type>    ::=   CAST <left paren> REF AS SOURCE <right paren> WITH <cast to type identifier>

      <cast to type identifier>    ::=   <identifier>

      <list of attributes>    ::=   <left paren> <attribute name> [ { <comma> <attribute name> }...] <right paren>

      <cast option>    ::=   [ <cast to distinct> ] [ <cast to source> ]

      <cast to distinct>    ::=
             CAST <left paren> SOURCE AS DISTINCT <right paren>
             WITH <cast to distinct identifier>

      <cast to distinct identifier>    ::=   <identifier>

      <cast to source>    ::=
             CAST <left paren> DISTINCT AS SOURCE <right paren>
             WITH <cast to source identifier>

      <cast to source identifier>    ::=   <identifier>

      <method specification list>    ::=   <method specification> [ { <comma> <method specification> }... ]

      <method specification>    ::=   <original method specification> | <overriding method specification>

      <original method specification>    ::=
             <partial method specification> [ SELF AS RESULT ] [ SELF AS LOCATOR ] [ <method characteristics> ]

      <overriding method specification>    ::=   OVERRIDING <partial method specification>

      <partial method specification>    ::=
             [ INSTANCE | STATIC | CONSTRUCTOR ] METHOD <method name> <SQL parameter declaration list>
             <returns clause> [ SPECIFIC <specific method name> ]

      <specific method name>    ::=   [ <schema name> <period> ]<qualified identifier >

      <method characteristics>    ::=   <method characteristic> ...

      <method characteristic>    ::=
             <language clause>
         |     <parameter style clause>
         |     <deterministic characteristic>
         |     <SQL-data access indication>
         |     <null-call clause>

    11.42 <attribute definition> (p648)

    Define an attribute of a structured type.

      <attribute definition>    ::=
             <attribute name> <data type> [ <reference scope check> ] [ <attribute default> ] [ <collate clause> ]

      <attribute default>    ::=   <default clause>

    11.43 <alter type statement> (p650)

    Change the definition of a user-defined type.

      <alter type statement>    ::= ALTER TYPE <schema-resolved user-defined type name> <alter type action>

      <alter type action>    ::=
             <add attribute definition>
         |     <drop attribute definition>
         |     <add original method specification>
         |     <add overriding method specification>
         |     <drop method specification>

    11.44 <add attribute definition> (p651)

    Add an attribute to a user-defined type.

      <add attribute definition>    ::=   ADD ATTRIBUTE <attribute definition>

    11.45 <drop attribute definition> (p653)

    Destroy an attribute of a user-defined type.

      <drop attribute definition>    ::=   DROP ATTRIBUTE <attribute name> RESTRICT

    11.46 <add original method specification> (p655)

    Add an original method specification to a user-defined type.

      <add original method specification>    ::=   ADD <original method specification>

    11.47 <add overriding method specification> (p661)

    Add an overriding method specification to a user-defined type.

      <add overriding method specification>    ::=   ADD <overriding method specification>

    11.48 <drop method specification> (p666)

    Remove a method specification from a user-defined type.

      <drop method specification>    ::=   DROP <specific method specification designator> RESTRICT

      <specific method specification designator>    ::=   [ INSTANCE | STATIC | CONSTRUCTOR ] METHOD <method name> <data type list>

    11.49 <drop data type statement> (p670)

    Destroy a user-defined type.

      <drop data type statement>    ::=   DROP TYPE <schema-resolved user-defined type name> <drop behavior>

    11.50 <SQL-invoked routine> (p673)

    Define an SQL-invoked routine.

      <SQL-invoked routine>    ::=   <schema routine>

      <schema routine>    ::=   <schema procedure> | <schema function>

      <schema procedure>    ::=   CREATE <SQL-invoked procedure>

      <schema function>    ::=   CREATE <SQL-invoked function>

      <SQL-invoked procedure>    ::=
             PROCEDURE <schema qualified routine name> <SQL parameter declaration list> <routine characteristics> <routine body>

      <SQL-invoked function>    ::=
             { <function specification> | <method specification designator> } <routine body>

      <SQL parameter declaration list>    ::=
             <left paren> [ <SQL parameter declaration> [ { <comma> <SQL parameter declaration> }... ] ] <right paren>

      <SQL parameter declaration>    ::=   [ <parameter mode> ] [ <SQL parameter name> ] <parameter type> [ RESULT ]

      <parameter mode>    ::=   IN | OUT | INOUT

      <parameter type>    ::=   <data type> [ <locator indication> ]

      <locator indication>    ::=   AS LOCATOR

      <function specification>    ::=
             FUNCTION <schema qualified routine name>
             <SQL parameter declaration list> <returns clause> <routine characteristics> [ <dispatch clause> ]

      <method specification designator>    ::=
             SPECIFIC METHOD <specific method name>
         |     [ INSTANCE | STATIC | CONSTRUCTOR ] METHOD <method name> <SQL parameter declaration list>
             [ <returns clause> ] FOR <schema-resolved user-defined type name>

      <routine characteristics>    ::=   [ <routine characteristic> ... ]

      <routine characteristic>    ::=
             <language clause>
         |     <parameter style clause>
         |     SPECIFIC <specific name>
         |     <deterministic characteristic>
         |     <SQL-data access indication>
         |     <null-call clause>
         |     <dynamic result sets characteristic>
         |     <savepoint level indication>

      <savepoint level indication>    ::=   NEW SAVEPOINT LEVEL | OLD SAVEPOINT LEVEL

      <dynamic result sets characteristic>    ::=   DYNAMIC RESULT SETS <maximum dynamic result sets>

      <parameter style clause>    ::=   PARAMETER STYLE <parameter style>

      <dispatch clause>    ::=   STATIC DISPATCH

      <returns clause>    ::=   RETURNS <returns type>

      <returns type>    ::=
             <returns data type> [ <result cast> ]
         |     <returns table type>

      <returns table type>    ::=   TABLE <table function column list>

      <table function column list>    ::=
             <left paren>
             <table function column list element> [ { <comma> <table function column list element> }... ]
             <right paren>

      <table function column list element>    ::=   <column name> <data type>

      <result cast>    ::=   CAST FROM <result cast from type>

      <result cast from type>    ::=   <data type> [ <locator indication> ]

      <returns data type>    ::=   <data type> [ <locator indication> ]

      <routine body>    ::=
             <SQL routine spec>
         |     <external body reference>

      <SQL routine spec>    ::=   [ <rights clause> ] <SQL routine body>

      <rights clause>    ::=   SQL SECURITY INVOKER | SQL SECURITY DEFINER

      <SQL routine body>    ::=   <SQL procedure statement>

      <external body reference>    ::=
             EXTERNAL [ NAME <external routine name> ] [ <parameter style clause> ]
             [ <transform group specification> ] [ <external security clause> ]

      <external security clause>    ::=
             EXTERNAL SECURITY DEFINER
         |     EXTERNAL SECURITY INVOKER
         |     EXTERNAL SECURITY IMPLEMENTATION DEFINED

      <parameter style>    ::=   SQL | GENERAL

      <deterministic characteristic>    ::=   DETERMINISTIC | NOT DETERMINISTIC

      <SQL-data access indication>    ::=
             NO SQL
         |     CONTAINS SQL
         |     READS SQL DATA
         |     MODIFIES SQL DATA

      <null-call clause>    ::=
             RETURNS NULL ON NULL INPUT
         |     CALLED ON NULL INPUT

      <maximum dynamic result sets>    ::=   <unsigned integer>

      <transform group specification>    ::=   TRANSFORM GROUP { <single group specification> | <multiple group specification> }

      <single group specification>    ::=   <group name>

      <multiple group specification>    ::=   <group specification> [ { <comma> <group specification> }... ]

      <group specification>    ::=   <group name> FOR TYPE <path-resolved user-defined type name>

    11.51 <alter routine statement> (p698)

    Alter a characteristic of an SQL-invoked routine.

      <alter routine statement>    ::=   ALTER <specific routine designator> <alter routine characteristics> <alter routine behavior>

      <alter routine characteristics>    ::=   <alter routine characteristic> ...

      <alter routine characteristic>    ::=
             <language clause>
         |     <parameter style clause>
         |     <SQL-data access indication>
         |     <null-call clause>
         |     <dynamic result sets characteristic>
         |     NAME <external routine name>

      <alter routine behavior>    ::=   RESTRICT

    11.52 <drop routine statement> (p701)

    Destroy an SQL-invoked routine.

      <drop routine statement>    ::=   DROP <specific routine designator> <drop behavior>

    11.53 <user-defined cast definition> (p703)

    Define a user-defined cast.

      <user-defined cast definition>    ::=
             CREATE CAST <left paren> <source data type> AS <target data type> <right paren>
             WITH <cast function> [ AS ASSIGNMENT ]

      <cast function>    ::=   <specific routine designator>

      <source data type>    ::=   <data type>

      <target data type>    ::=   <data type>

    11.54 <drop user-defined cast statement> (p705)

    Destroy a user-defined cast.

      <drop user-defined cast statement>    ::=
             DROP CAST <left paren> <source data type> AS <target data type> <right paren> <drop behavior>

    11.55 <user-defined ordering definition> (p707)

    Define a user-defined ordering for a user-defined type.

      <user-defined ordering definition>    ::=
             CREATE ORDERING FOR <schema-resolved user-defined type name> <ordering form>

      <ordering form>    ::=   <equals ordering form> | <full ordering form>

      <equals ordering form>    ::=   EQUALS ONLY BY <ordering category>

      <full ordering form>    ::=   ORDER FULL BY <ordering category>

      <ordering category>    ::=   <relative category> | <map category> | <state category>

      <relative category>    ::=   RELATIVE WITH <relative function specification>

      <map category>    ::=   MAP WITH <map function specification>

      <state category>    ::=   STATE [ <specific name> ]

      <relative function specification>    ::=   <specific routine designator>

      <map function specification>    ::=   <specific routine designator>

    11.56 <drop user-defined ordering statement> (p710)

    Destroy a user-defined ordering method.

      <drop user-defined ordering statement>    ::=
             DROP ORDERING FOR <schema-resolved user-defined type name> <drop behavior>

    11.57 <transform definition> (p712)

    Define one or more transform functions for a user-defined type.

      <transform definition>    ::=   CREATE { TRANSFORM | TRANSFORMS } FOR <schema-resolved user-defined type name> <transform group> ...

      <transform group>    ::=   <group name> <left paren> <transform element list> <right paren>

      <group name>    ::=   <identifier>

      <transform element list>    ::=   <transform element> [ <comma> <transform element> ]

      <transform element>    ::=   <to sql> | <from sql>

      <to sql>    ::=   TO SQL WITH <to sql function>

      <from sql>    ::=   FROM SQL WITH <from sql function>

      <to sql function>    ::=   <specific routine designator>

      <from sql function>    ::=   <specific routine designator>

    11.58 <alter transform statement> (p715)

    Change the definition of one or more transform groups.

      <alter transform statement>    ::=
             ALTER {TRANSFORM | TRANSFORMS } FOR <schema-resolved user-defined type name> <alter group> ...

      <alter group>    ::=   <group name> <left paren> <alter transform action list> <right paren>

      <alter transform action list>    ::=   <alter transform action> [ { <comma> <alter transform action> }... ]

      <alter transform action>    ::=   <add transform element list> | <drop transform element list>

    11.59 <add transform element list> (p717)

    Add a transform element (<to sql> and/or <from sql>) to an existing transform group.

      <add transform element list>    ::=   ADD <left paren> <transform element list> <right paren>

    11.60 <drop transform element list> (p719)

    Remove a transform element (<to sql> and/or <from sql>) from a transform group.

      <drop transform element list>    ::=   DROP <left paren> <transform kind> [ <comma> <transform kind> ] <drop behavior> <right paren>

      <transform kind>    ::=   TO SQL | FROM SQL

    11.61 <drop transform statement> (p721)

    Remove one or more transform functions associated with a transform.

      <drop transform statement>    ::=
             DROP { TRANSFORM | TRANSFORMS } <transforms to be dropped> FOR <schema-resolved user-defined type name> <drop behavior>

      <transforms to be dropped>    ::=   ALL | <transform group element>

      <transform group element>    ::=   <group name>

    11.62 <sequence generator definition> (p724)

    Define an external sequence generator.

      <sequence generator definition>    ::=   CREATE SEQUENCE <sequence generator name> [ <sequence generator options> ]

      <sequence generator options>    ::=   <sequence generator option> ...

      <sequence generator option>    ::=   <sequence generator data type option> | <common sequence generator options>

      <common sequence generator options>    ::=   <common sequence generator option> ...

      <common sequence generator option>    ::=   <sequence generator start with option> | <basic sequence generator option>

      <basic sequence generator option>    ::=
             <sequence generator increment by option>
         |     <sequence generator maxvalue option>
         |     <sequence generator minvalue option>
         |     <sequence generator cycle option>

      <sequence generator data type option>    ::=   AS <data type>

      <sequence generator start with option>    ::=   START WITH <sequence generator start value>

      <sequence generator start value>    ::=   <signed numeric literal> <sequence generator increment by option> :: = INCREMENT BY <sequence generator increment>

      <sequence generator increment>    ::=   <signed numeric literal>

      <sequence generator maxvalue option>    ::= MAXVALUE <sequence generator max value>
        /* Nothing */ |     NO MAXVALUE

      <sequence generator max value>    ::=   <signed numeric literal>

      <sequence generator minvalue option>    ::=   MINVALUE <sequence generator min value> | NO MINVALUE

      <sequence generator min value>    ::=   <signed numeric literal>

      <sequence generator cycle option>    ::=   CYCLE | NO CYCLE

    11.63 <alter sequence generator statement> (p726)

    Change the definition of an external sequence generator.

      <alter sequence generator statement>    ::=
             ALTER SEQUENCE <sequence generator name> <alter sequence generator options>

      <alter sequence generator options>    ::=   <alter sequence generator option> ...

      <alter sequence generator option>    ::=
             <alter sequence generator restart option>
         |     <basic sequence generator option>

      <alter sequence generator restart option>    ::=   RESTART WITH <sequence generator restart value>

      <sequence generator restart value>    ::=   <signed numeric literal>

    11.64 <drop sequence generator statement> (p727)

    Destroy an external sequence generator.

      <drop sequence generator statement>    ::=   DROP SEQUENCE <sequence generator name> <drop behavior>

    Top


    12 Access control

    12.1 <grant statement> (p729)

    Define privileges and role authorizations.

      <grant statement>    ::=   <grant privilege statement> | <grant role statement>

    12.2 <grant privilege statement> (p734)

    Define privileges.

      <grant privilege statement>    ::=
             GRANT <privileges> TO <grantee> [ { <comma> <grantee> }... ]
             [ WITH HIERARCHY OPTION ] [ WITH GRANT OPTION ] [ GRANTED BY <grantor> ]

    12.3 <privileges> (p737)

    Specify privileges.

      <privileges>    ::=   <object privileges> ON <object name>

      <object name>    ::=
             [ TABLE ] <table name>
         |     DOMAIN <domain name>
         |     COLLATION <collation name>
         |     CHARACTER SET <character set name>
         |     TRANSLATION <transliteration name>
         |     TYPE <schema-resolved user-defined type name>
         |     SEQUENCE <sequence generator name>
         |     <specific routine designator>

      <object privileges>    ::=
             ALL PRIVILEGES
         |     <action> [ { <comma> <action> }... ]

      <action>    ::=
             SELECT
         |     SELECT <left paren> <privilege column list> <right paren>
         |     SELECT <left paren> <privilege method list> <right paren>
         |     DELETE
         |     INSERT [ <left paren> <privilege column list> <right paren> ]
         |     UPDATE [ <left paren> <privilege column list> <right paren> ]
         |     REFERENCES [ <left paren> <privilege column list> <right paren> ]
         |     USAGE
         |     TRIGGER
         |     UNDER
         |     EXECUTE

      <privilege method list>    ::=   <specific routine designator> [ { <comma> <specific routine designator> }... ]

      <privilege column list>    ::=   <column name list>

      <grantee>    ::=   PUBLIC | <authorization identifier>

      <grantor>    ::=   CURRENT_USER | CURRENT_ROLE

    12.4 <role definition> (p741)

    Define a role.

      <role definition>    ::=   CREATE ROLE <role name> [ WITH ADMIN <grantor> ]

    12.5 <grant role statement> (p742)

    Define role authorizations.

      <grant role statement>    ::=
             GRANT <role granted> [ { <comma> <role granted> }... ]
             TO <grantee> [ { <comma> <grantee> }... ] [ WITH ADMIN OPTION ] [ GRANTED BY <grantor> ]

      <role granted>    ::=   <role name>

    12.6 <drop role statement> (p744)

    Destroy a role.

      <drop role statement>    ::=   DROP ROLE <role name>

    12.7 <revoke statement> (p745)

    Destroy privileges and role authorizations.

      <revoke statement>    ::=
             <revoke privilege statement>
         |     <revoke role statement>

      <revoke privilege statement>    ::=
             REVOKE [ <revoke option extension> ] <privileges> FROM <grantee> [ { <comma> <grantee> }... ]
             [ GRANTED BY <grantor> ] <drop behavior>

      <revoke option extension>    ::=   GRANT OPTION FOR | HIERARCHY OPTION FOR

      <revoke role statement>    ::=
             REVOKE [ ADMIN OPTION FOR ] <role revoked> [ { <comma> <role revoked> }... ]
             FROM <grantee> [ { <comma> <grantee> }... ] [ GRANTED BY <grantor> ] <drop behavior>

      <role revoked>    ::=   <role name>

    Top


    13 SQL-client modules

    13.1 <SQL-client module definition> (p763)

    Define an SQL-client module.

      <SQL-client module definition>    ::=
             <module name clause> <language clause> <module authorization clause>
             [ <module path specification> ]
             [ <module transform group specification> ]
             [ <module collation> ]
             [ <temporary table declaration> ... ]
             <module contents> ...

      <module authorization clause>    ::=
             SCHEMA <schema name>
         |     AUTHORIZATION <module authorization identifier> [ FOR STATIC { ONLY | AND DYNAMIC } ]
         |     SCHEMA <schema name> AUTHORIZATION <module authorization identifier> [ FOR STATIC { ONLY | AND DYNAMIC } ]

      <module authorization identifier>    ::=   <authorization identifier>

      <module path specification>    ::=   <path specification>

      <module transform group specification>    ::=   <transform group specification>

      <module collations>    ::=   <module collation specification> ...

      <module collation specification>    ::=   COLLATION <collation name> [ FOR <character set specification list> ]

      <character set specification list>    ::=   <character set specification> [ {<comma> <character set specification> }... ]

      <module contents>    ::=
             <declare cursor>
         |     <dynamic declare cursor>
         |     <externally-invoked procedure>

    13.2 <module name clause> (p768)

    Name an SQL-client module.

      <module name clause>    ::=
             MODULE [ <SQL-client module name> ] [ <module character set specification> ]

      <module character set specification>    ::=   NAMES ARE <character set specification>

    13.3 <externally-invoked procedure> (p769)

    Define an externally-invoked procedure.

      <externally-invoked procedure>    ::=
             PROCEDURE <procedure name> <host parameter declaration list> <semicolon>
             <SQL procedure statement> <semicolon>

      <host parameter declaration list>    ::=
             <left paren> <host parameter declaration> [ { <comma> <host parameter declaration> }... ] <right paren>

      <host parameter declaration>    ::=
             <host parameter name> <host parameter data type>
         |     <status parameter>

      <host parameter data type>    ::=   <data type> [ <locator indication> ]

      <status parameter>    ::=   SQLSTATE

    13.4 Calls to an <externally-invoked procedure> (p772)

    13.5 <SQL procedure statement> (p788)

    Define all of the SQL-statements that are <SQL procedure statement>s.

      <SQL procedure statement>    ::=   <SQL executable statement>

      <SQL executable statement>    ::=
             <SQL schema statement>
         |     <SQL data statement>
         |     <SQL control statement>
         |     <SQL transaction statement>
         |     <SQL connection statement>
         |     <SQL session statement>
         |     <SQL diagnostics statement>
         |     <SQL dynamic statement>

      <SQL schema statement>    ::=
             <SQL schema definition statement>
         |     <SQL schema manipulation statement>

      <SQL schema definition statement>    ::=
             <schema definition>
         |     <table definition>
         |     <view definition>
         |     <SQL-invoked routine>
         |     <grant statement>
         |     <role definition>
         |     <domain definition>
         |     <character set definition>
         |     <collation definition>
         |     <transliteration definition>
         |     <assertion definition>
         |     <trigger definition>
         |     <user-defined type definition>
         |     <user-defined cast definition>
         |     <user-defined ordering definition>
         |     <transform definition>
         |     <sequence generator definition>

      <SQL schema manipulation statement>    ::=
             <drop schema statement>
         |     <alter table statement>
         |     <drop table statement>
         |     <drop view statement>
         |     <alter routine statement>
         |     <drop routine statement>
         |     <drop user-defined cast statement>
         |     <revoke statement>
         |     <drop role statement>
         |     <alter domain statement>
         |     <drop domain statement>
         |     <drop character set statement>
         |     <drop collation statement>
         |     <drop transliteration statement>
         |     <drop assertion statement>
         |     <drop trigger statement>
         |     <alter type statement>
         |     <drop data type statement>
         |     <drop user-defined ordering statement>
         |     <alter transform statement>
         |     <drop transform statement> | <alter sequence generator statement>
         |     <drop sequence generator statement>

      <SQL data statement>    ::=
             <open statement>
         |     <fetch statement>
         |     <close statement>
         |     <select statement: single row>
         |     <free locator statement>
         |     <hold locator statement>
         |     <SQL data change statement>

      <SQL data change statement>    ::=
             <delete statement: positioned>
         |     <delete statement: searched>
         |     <insert statement>
         |     <update statement: positioned>
         |     <update statement: searched>
         |     <merge statement>

      <SQL control statement>    ::=
             <call statement>
         |     <return statement>

      <SQL transaction statement>    ::=
             <start transaction statement>
         |     <set transaction statement>
         |     <set constraints mode statement>
         |     <savepoint statement>
         |     <release savepoint statement>
         |     <commit statement>
         |     <rollback statement>

      <SQL connection statement>    ::=
             <connect statement>
         |     <set connection statement>
         |     <disconnect statement>

      <SQL session statement>    ::=
             <set session user identifier statement>
         |     <set role statement>
         |     <set local time zone statement>
         |     <set session characteristics statement>
         |     <set catalog statement>
         |     <set schema statement>
         |     <set names statement>
         |     <set path statement>
         |     <set transform group statement>
         |     <set session collation statement>

      <SQL diagnostics statement>    ::=   <get diagnostics statement>

      <SQL dynamic statement>    ::=
             <system descriptor statement>
         |     <prepare statement>
         |     <deallocate prepared statement>
         |     <describe statement>
         |     <execute statement>
         |     <execute immediate statement>
         |     <SQL dynamic data statement>

      <SQL dynamic data statement>    ::=
             <allocate cursor statement>
         |     <dynamic open statement>
         |     <dynamic fetch statement>
         |     <dynamic close statement>
         |     <dynamic delete statement: positioned>
         |     <dynamic update statement: positioned>

      <system descriptor statement>    ::=
             <allocate descriptor statement>
         |     <deallocate descriptor statement>
         |     <set descriptor statement>
         |     <get descriptor statement>

    13.6 Data type correspondences (p796)

    Table 16 -- Data type correspondences for C
    SQL Data Type C Data Type
    SQLSTATE char, with length 6
    CHARACTER (L)3 char, with length (L+1)*k1
    CHARACTER VARYING (L)3 char, with length (L+1)*k1
    CHARACTER LARGE OBJECT(L)
    struct {
    long hvn3_reserved
    unsigned long hvn2_length
    char3 hvn2_data[L];
    } hvn2
    
    BINARY LARGE OBJECT(L)
     struct {
    long hvn2_reserved
    unsigned long hvn2_length
    char hvn2_data[L];
    } hvn2
    
    NUMERIC(P,S) None
    DECIMAL(P,S) None
    SMALLINT pointer to short
    INTEGER pointer to long
    BIGINT pointer to long long
    FLOAT(P) None
    REAL pointer to float
    DOUBLE PRECISION pointer to double
    BOOLEAN pointer to long
    DATE None
    TIME(T) None
    TIMESTAMP(T) None
    INTERVAL(Q) None
    user-defined type None
    REF char, with length N
    ROW None
    ARRAY None
    MULTISET None

    1 For character set UTF16, as well as other implementation-defined character sets in which a code unit occupies two octets, k is the length in units of C unsigned short of the character encoded using the greatest number of such units in the character set; for character set UTF32, as well as other implementation-defined character sets in which a code unit occupies four octets, k is four; for other character sets, k is the length in units of C char of the character encoded using the greatest number of such units in the character set.
    2 hvn is the name of the host variable defined to correspond to the SQL data type
    3 For character set UTF16, as well as other implementation-defined character sets in which a code unit occupies two octets, char or unsigned char should be replaced with unsigned short; for character set UTF32, as well as other implementation-defined character sets in which a code unit occupies four octets, char or unsigned char should be replaced with unsigned int. Otherwise, char or unsigned char should be used.

    Top


    14 Data manipulation

    14.1 <declare cursor> (p807)

    Define a cursor.

      <declare cursor>    ::=
             DECLARE <cursor name> [ <cursor sensitivity> ] [ <cursor scrollability> ] CURSOR
             [ <cursor holdability> ] [ <cursor returnability> ] FOR <cursor specification>

      <cursor sensitivity>    ::=   SENSITIVE | INSENSITIVE | ASENSITIVE

      <cursor scrollability>    ::=   SCROLL | NO SCROLL

      <cursor holdability>    ::=   WITH HOLD | WITHOUT HOLD

      <cursor returnability>    ::=   WITH RETURN | WITHOUT RETURN

      <cursor specification>    ::=   <query expression> [ <order by clause> ] [ <updatability clause> ]

      <updatability clause>    ::=   FOR { READ ONLY | UPDATE [ OF <column name list> ] }

      <order by clause>    ::=   ORDER BY <sort specification list>

    14.2 <open statement> (p813)

    Open a cursor.

      <open statement>    ::=   OPEN <cursor name>

    14.3 <fetch statement> (p815)

    Position a cursor on a specified row of a table and retrieve values from that row.

      <fetch statement>    ::=
             FETCH [ [ <fetch orientation> ] FROM ] <cursor name> INTO <fetch target list>

      <fetch orientation>    ::=
             NEXT
         |     PRIOR
         |     FIRST
         |     LAST
         |     { ABSOLUTE | RELATIVE } <simple value specification>

      <fetch target list>    ::=   <target specification> [ { <comma> <target specification> }... ]

    14.4 <close statement> (p820)

    Close a cursor.

      <close statement>    ::=   CLOSE <cursor name>

    14.5 <select statement: single row> (p822)

    Retrieve values from a specified row of a table.

      <select statement: single row>    ::=
             SELECT [ <set quantifier> ] <select list> INTO <select target list> <table expression>

      <select target list>    ::=   <target specification> [ { <comma> <target specification> }... ]

    14.6 <delete statement: positioned> (p826)

    Delete a row of a table.

      <delete statement: positioned>    ::=   DELETE FROM <target table> WHERE CURRENT OF <cursor name>

      <target table>    ::=
             <table name>
         |     ONLY <left paren> <table name> <right paren>

    14.7 <delete statement: searched> (p829)

    Delete rows of a table.

      <delete statement: searched>    ::=   DELETE FROM <target table> [ WHERE <search condition> ]

    14.8 <insert statement> (p832)

    Create new rows in a table.

      <insert statement>    ::=   INSERT INTO <insertion target> <insert columns and source>

      <insertion target>    ::=   <table name>

      <insert columns and source>    ::=
             <from subquery>
         |     <from constructor>
         |     <from default>

      <from subquery>    ::=   [ <left paren> <insert column list> <right paren> ] [ <override clause> ] <query expression>

      <from constructor>    ::=
             [ <left paren> <insert column list> <right paren> ] [ <override clause> ] <contextually typed table value constructor>

      <override clause>    ::=   OVERRIDING USER VALUE | OVERRIDING SYSTEM VALUE

      <from default>    ::=   DEFAULT VALUES

      <insert column list>    ::=   <column name list>

    14.9 <merge statement> (p837)

    Conditionally update rows of a table, or insert new rows into a table, or both.

      <merge statement>    ::=
             MERGE INTO <target table> [ [ AS ] <merge correlation name> ]
             USING <table reference> ON <search condition> <merge operation specification>

      <merge correlation name>    ::=   <correlation name>

      <merge operation specification>    ::=   <merge when clause> ...

      <merge when clause>    ::=   <merge when matched clause> | <merge when not matched clause>

      <merge when matched clause>    ::=   WHEN MATCHED THEN <merge update specification>

      <merge when not matched clause>    ::=   WHEN NOT MATCHED THEN <merge insert specification>

      <merge update specification>    ::=   UPDATE SET <set clause list>

      <merge insert specification>    ::=
             INSERT [ <left paren> <insert column list> <right paren> ]
             [ <override clause> ] VALUES <merge insert value list>

      <merge insert value list>    ::=
             <left paren> <merge insert value element> [ { <comma> <merge insert value element> }... ] <right paren>

      <merge insert value element>    ::=   <value expression> | <contextually typed value specification>

    14.10 <update statement: positioned> (p844)

    Update a row of a table.

      <update statement: positioned>    ::=   UPDATE <target table> SET <set clause list> WHERE CURRENT OF <cursor name>

    14.11 <update statement: searched> (p847)

    Update rows of a table.

      <update statement: searched>    ::=   UPDATE <target table> SET <set clause list> [ WHERE <search condition> ]

    14.12 <set clause list> (p851)

    Specify a list of updates.

      <set clause list>    ::=   <set clause> [ { <comma> <set clause> }... ]

      <set clause>    ::=
             <multiple column assignment>
         |     <set target> <equals operator> <update source>

      <set target>    ::=   <update target> | <mutated set clause>

      <multiple column assignment>    ::=   <set target list> <equals operator> <assigned row>

      <set target list>    ::=   <left paren> <set target> [ { <comma> <set target> }... ] <right paren>

      <assigned row>    ::=   <contextually typed row value expression>

      <update target>    ::=
             <object column>
         |     <object column> <left bracket or trigraph> <simple value specification> <right bracket or trigraph>

      <object column>    ::=   <column name>

      <mutated set clause>    ::=   <mutated target> <period> <method name>

      <mutated target>    ::=   <object column> | <mutated set clause>

      <update source>    ::=   <value expression> | <contextually typed value specification>

    14.13 <temporary table declaration> (p856)

    Declare a declared local temporary table.

      <temporary table declaration>    ::=
             DECLARE LOCAL TEMPORARY TABLE <table name> <table element list>
             [ ON COMMIT <table commit action> ROWS ]

    14.14 <free locator statement> (p858)

    Remove the association between a locator variable and the value that is represented by that locator.

      <free locator statement>    ::=   FREE LOCATOR <locator reference> [ { <comma> <locator reference> }... ]

      <locator reference>    ::=   <host parameter name> | <embedded variable name>

    14.15 <hold locator statement> (p859)

    Mark a locator variable as being holdable.

      <hold locator statement>    ::=   HOLD LOCATOR <locator reference> [ { <comma> <locator reference> }... ]

    14.16 Effect of deleting rows from base tables (p860)

    14.17 Effect of deleting some rows from a derived table (p862)

    14.18 Effect of deleting some rows from a viewed table (p864)

    14.19 Effect of inserting tables into base tables (p865)

    14.20 Effect of inserting a table into a derived table (p867)

    14.21 Effect of inserting a table into a viewed table (p869)

    14.22 Effect of replacing rows in base tables (p871)

    14.23 Effect of replacing some rows in a derived table (p874)

    14.24 Effect of replacing some rows in a viewed table (p877)

    14.25 Execution of BEFORE triggers (p879)

    14.26 Execution of AFTER triggers (p880)

    14.27 Execution of triggers (p881)

    Top


    15 Control statements

    15.1 <call statement> (p883)

    Invoke an SQL-invoked routine.

      <call statement>    ::=   CALL <routine invocation>

    15.2 <return statement> (p884)

    Return a value from an SQL function.

      <return statement>    ::=   RETURN <return value>

      <return value>    ::=   <value expression> | NULL

    Top


    16 Transaction management

    16.1 <start transaction statement> (p885)

    Start an SQL-transaction and set its characteristics.

      <start transaction statement>    ::=   START TRANSACTION [ <transaction mode> [ { <comma> <transaction mode> }...] ]

      <transaction mode>    ::=   <isolation level> | <transaction access mode> | <diagnostics size>

      <transaction access mode>    ::=   READ ONLY | READ WRITE

      <isolation level>    ::=   ISOLATION LEVEL <level of isolation>

      <level of isolation>    ::=   READ UNCOMMITTED | READ COMMITTED | REPEATABLE READ | SERIALIZABLE

      <diagnostics size>    ::=   DIAGNOSTICS SIZE <number of conditions>

      <number of conditions>    ::=   <simple value specification>

    16.2 <set transaction statement> (p888)

    Set the characteristics of the next SQL-transaction for the SQL-agent. NOTE 402 - This statement has no effect on any SQL-transactions subsequent to the next SQL-transaction.

      <set transaction statement>    ::=   SET [ LOCAL ] <transaction characteristics>

      <transaction characteristics>    ::=   TRANSACTION <transaction mode> [ { <comma> <transaction mode> }... ]

    16.3 <set constraints mode statement> (p890)

    If an SQL-transaction is currently active, then set the constraint mode for that SQL-transaction in the current SQL-session. If no SQL-transaction is currently active, then set the constraint mode for the next SQL-transaction in the current SQL-session for the SQL-agent. NOTE 404 – This statement has no effect on any SQL-transactions subsequent to this SQL-transaction.

      <set constraints mode statement>    ::=   SET CONSTRAINTS <constraint name list> { DEFERRED | IMMEDIATE }

      <constraint name list>    ::=   ALL | <constraint name> [ { <comma> <constraint name> }... ]

    16.4 <savepoint statement> (p892)

    Establish a savepoint.

      <savepoint statement>    ::=   SAVEPOINT <savepoint specifier>

      <savepoint specifier>    ::=   <savepoint name>

    16.5 <release savepoint statement> (p893)

    Destroy a savepoint.

      <release savepoint statement>    ::=   RELEASE SAVEPOINT <savepoint specifier>

    16.6 <commit statement> (p894)

    Terminate the current SQL-transaction with commit.

      <commit statement>    ::=   COMMIT [ WORK ] [ AND [ NO ] CHAIN ]

    16.7 <rollback statement> (p896)

    Terminate the current SQL-transaction with rollback, or rollback all actions affecting SQL-data and/or schemas since the establishment of a savepoint.

      <rollback statement>    ::=   ROLLBACK [ WORK ] [ AND [ NO ] CHAIN ] [ <savepoint clause> ]

      <savepoint clause>    ::=   TO SAVEPOINT <savepoint specifier>

    Top


    17 Connection management

    17.1 <connect statement> (p899)

    Establish an SQL-session.

      <connect statement>    ::=   CONNECT TO <connection target>

      <connection target>    ::=
             <SQL-server name> [ AS <connection name> ] [ USER <connection user name> ]
         |     DEFAULT

    17.2 <set connection statement> (p902)

    Select an SQL-connection from the available SQL-connections.

      <set connection statement>    ::=   SET CONNECTION <connection object>

      <connection object>    ::=   DEFAULT | <connection name>

    17.3 <disconnect statement> (p904)

    Terminate an SQL-connection.

      <disconnect statement>    ::=   DISCONNECT <disconnect object>

      <disconnect object>    ::=   <connection object> | ALL |     CURRENT

    Top


    18 Session management

    18.1 <set session characteristics statement> (p907)

    Set one or more characteristics for the current SQL-session.

      <set session characteristics statement>    ::=   SET SESSION CHARACTERISTICS AS <session characteristic list>

      <session characteristic list>    ::=   <session characteristic> [ { <comma> <session characteristic> }... ]

      <session characteristic>    ::=   <transaction characteristics>

    18.2 <set session user identifier statement> (p908)

    Set the SQL-session user identifier and the current user identifier of the current SQL-session context.

      <set session user identifier statement>    ::=   SET SESSION AUTHORIZATION <value specification>

    18.3 <set role statement> (p909)

    Set the current role name for the current SQL-session context.

      <set role statement>    ::=   SET ROLE <role specification>

      <role specification>    ::=   <value specification> | NONE

    18.4 <set local time zone statement> (p911)

    Set the default local time zone displacement for the current SQL-session.

      <set local time zone statement>    ::=   SET TIME ZONE <set time zone value>

      <set time zone value>    ::=   <interval value expression> | LOCAL

    18.5 <set catalog statement> (p912)

    Set the default catalog name for unqualified <schema name>s in <preparable statement>s that are prepared in the current SQL-session by an <execute immediate statement> or a <prepare statement> and in <direct SQL statement>s that are invoked directly.

      <set catalog statement>    ::=   SET <catalog name characteristic>

      <catalog name characteristic>    ::=   CATALOG <value specification>

    18.6 <set schema statement> (p913)

    Set the default schema name for unqualified <schema qualified name>s in <preparable statement>s that are prepared in the current SQL-session by an <execute immediate statement> or a <prepare statement> and in <direct SQL statement>s that are invoked directly.

      <set schema statement>    ::=   SET <schema name characteristic>

      <schema name characteristic>    ::=   SCHEMA <value specification>

    18.7 <set names statement> (p915)

    Set the default character set name for <character string literal>s in <preparable statement>s that are prepared in the current SQL-session by an <execute immediate statement> or a <prepare statement> and in <direct SQL statement>s that are invoked directly.

      <set names statement>    ::=   SET <character set name characteristic>

      <character set name characteristic>    ::=   NAMES <value specification>

    18.8 <set path statement> (p916)

    Set the SQL-path used to determine the subject routine of <routine invocation>s with unqualified <routine name>s in <preparable statement>s that are prepared in the current SQL-session by an <execute immediate statement> or a <prepare statement> and in <direct SQL statement>s, respectively, that are invoked directly. The SQL-path remains the current SQL-path of the SQLsession until another SQL-path is successfully set.

      <set path statement>    ::=   SET <SQL-path characteristic>

      <SQL-path characteristic>    ::=   PATH <value specification>

    18.9 <set transform group statement> (p917)

    Set the group name that identifies the group of transform functions for mapping values of userdefined types to predefined data types.

      <set transform group statement>    ::=   SET <transform group characteristic>

      <transform group characteristic>    ::=
             DEFAULT TRANSFORM GROUP <value specification>
         |     TRANSFORM GROUP FOR TYPE <path-resolved user-defined type name> <value specification>

    18.10 <set session collation statement> (p918)

    Set the SQL-session collation of the SQL-session for one or more character sets. An SQL-session collation remains effective until another SQL-session collation for the same character set is successfully set.

      <set session collation statement>    ::=
             SET COLLATION <collation specification> [ FOR <character set specification list> ]
         |     SET NO COLLATION [ FOR <character set specification list> ]

      <character set specification list>    ::=   <character set specification> [ , <character set specification> ... ]

      <collation specification>    ::=   <value specification>

    Top


    19 Dynamic SQL

    19.1 Description of SQL descriptor areas (p921)

    19.2 <allocate descriptor statement> (p931)

    Allocate an SQL descriptor area.

      <allocate descriptor statement>    ::=   ALLOCATE [ SQL ] DESCRIPTOR <descriptor name> [ WITH MAX <occurrences> ]

      <occurrences>    ::=   <simple value specification>

    19.3 <deallocate descriptor statement> (p933)

    Deallocate an SQL descriptor area.

      <deallocate descriptor statement>    ::=   DEALLOCATE [ SQL ] DESCRIPTOR <descriptor name>

    19.4 <get descriptor statement> (p934)

    Get information from an SQL descriptor area.

      <get descriptor statement>    ::=   GET [ SQL ] DESCRIPTOR <descriptor name> <get descriptor information>

      <get descriptor information>    ::=
             <get header information> [ { <comma> <get header information> }... ]
         |     VALUE <item number> <get item information> [ { <comma> <get item information> }... ]

      <get header information>    ::=   <simple target specification 1> <equals operator> <header item name>

      <header item name>    ::=   COUNT | KEY_TYPE | DYNAMIC_FUNCTION | DYNAMIC_FUNCTION_CODE | TOP_LEVEL_COUNT

      <get item information>    ::=   <simple target specification 2> <equals operator> <descriptor item name>

      <item number>    ::=   <simple value specification>

      <simple target specification 1>    ::=   <simple target specification>

      <simple target specification 2>    ::=   <simple target specification>

      <descriptor item name>    ::=
             CARDINALITY
         |     CHARACTER_SET_CATALOG
         |     CHARACTER_SET_NAME
         |     CHARACTER_SET_SCHEMA
         |     COLLATION_CATALOG
         |     COLLATION_NAME
         |     COLLATION_SCHEMA
         |     DATA
         |     DATETIME_INTERVAL_CODE
         |     DATETIME_INTERVAL_PRECISION
         |     DEGREE
         |     INDICATOR
         |     KEY_MEMBER
         |     LENGTH
         |     LEVEL
         |     NAME
         |     NULLABLE
         |     OCTET_LENGTH
         |     PARAMETER_MODE
         |     PARAMETER_ORDINAL_POSITION
         |     PARAMETER_SPECIFIC_CATALOG
         |     PARAMETER_SPECIFIC_NAME
         |     PARAMETER_SPECIFIC_SCHEMA
         |     PRECISION
         |     RETURNED_CARDINALITY
         |     RETURNED_LENGTH
         |     RETURNED_OCTET_LENGTH
         |     SCALE
         |     SCOPE_CATALOG
         |     SCOPE_NAME
         |     SCOPE_SCHEMA
         |     TYPE
         |     UNNAMED
         |     USER_DEFINED_TYPE_CATALOG
         |     USER_DEFINED_TYPE_NAME
         |     USER_DEFINED_TYPE_SCHEMA
         |     USER_DEFINED_TYPE_CODE

    19.5 <set descriptor statement> (p937)

    Set information in an SQL descriptor area.

      <set descriptor statement>    ::=   SET [ SQL ] DESCRIPTOR <descriptor name> <set descriptor information>

      <set descriptor information>    ::=
             <set header information> [ { <comma> <set header information> }... ]
         |     VALUE <item number> <set item information> [ { <comma> <set item information> }... ]

      <set header information>    ::=   <header item name> <equals operator> <simple value specification 1>

      <set item information>    ::=   <descriptor item name> <equals operator> <simple value specification 2>

      <simple value specification 1>    ::=   <simple value specification>

      <simple value specification 2>    ::=   <simple value specification>

      <item number>    ::=   <simple value specification>

    19.6 <prepare statement> (p941)

    Prepare a statement for execution.

      <prepare statement>    ::=
             PREPARE <SQL statement name> [ <attributes specification> ] FROM <SQL statement variable>

      <attributes specification>    ::=   ATTRIBUTES <attributes variable>

      <attributes variable>    ::=   <simple value specification>

      <SQL statement variable>    ::=   <simple value specification>

      <preparable statement>    ::=
             <preparable SQL data statement>
         |     <preparable SQL schema statement>
         |     <preparable SQL transaction statement>
         |     <preparable SQL control statement>
         |     <preparable SQL session statement>
         |     <preparable implementation-defined statement>

      <preparable SQL data statement>    ::=
             <delete statement: searched>
         |     <dynamic single row select statement>
         |     <insert statement>
         |     <dynamic select statement>
         |     <update statement: searched>
         |     <merge statement>
         |     <preparable dynamic delete statement: positioned>
         |     <preparable dynamic update statement: positioned>

      <preparable SQL schema statement>    ::=   <SQL schema statement>

      <preparable SQL transaction statement>    ::=   <SQL transaction statement>

      <preparable SQL control statement>    ::=   <SQL control statement>

      <preparable SQL session statement>    ::=   <SQL session statement>

      <dynamic select statement>    ::=   <cursor specification>

      <preparable implementation-defined statement>    ::=   !! See the Syntax Rules.

    19.7 <cursor attributes> (p953)

    Specify a list