Общие элементы SQL 5.1 Символ character Функция Определяет терминальные символы языка и элементы строк. Формат character digit letter special character digit 0 1 2 3 4 5 6 7 8 9 letter upper case letter lower case letter 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 lower case letter a d c d e f g h i j k l m n o p q r s t u v w x y z special character См. Синтаксическое правило 1. Синтаксические правила 1. Специальный символ special character является любым символом из определенного в реализации множества символов, отличным от цифры digit и буквы letter . Если в реализации индикатор конца строки является символом, он также должен быть исключен из специальных символов special character . Замечание См. Формат для перевода строки newline в 5.3, Лексемы token . 2. Множество специальных символов special character должно включать все символы, отличные от цифры digit и буквы letter , встречающиеся в терминальных продукциях языка SQL, и символы знака процента и подчеркивания.
Общие правила Нет. 5.2 Литерал literal Функция Определяет не неопределенное значение Формат literal character string literal numeric literal character string literal character representation character representation nonquote character quote representation nonquote character См. Синтаксическое правило 1. quote representation numeric literal exact numeric literal approximate numeric literal exact numeric literal - unsigned integer . unsigned integer unsigned integer unsigned integer approximate numeric literal mantissa E exponent mantissa exact numeric literal exponent signed integer signed integer - unsigned integer unsigned integer digit Синтаксические правила 1. Символ-не-кавычки nonquote character - это любой символ character , отличный от символа одиночной кавычки . 2. Тип данных литерала символьной строки character string literal представляет строку символов.
Длина литерала символьной строки character string literal есть число представлений символов character representation , которые он содержит.
Каж дое представление кавычки quote representation в литерале символьной строки character string literal представляет символ одиночной кавычки как в значении, так и в длине литерала символьной строки character string literal . 3. Для литерала точного числа exact numeric literal без десятичной точки . неявно предполагается наличие десятичной точки после последней цифры digit . 4. Тип данных литерала точного числа exact numeric literal представляет точные числа.
Точность литерала точного числа exact numeric literal есть число цифр digit , которые он содержит.
Масштаб литерала точного числа exact numeric literal есть число цифр digit справа от десятичной точки. 5. Тип данных литерала приблизительного числа approximate numeric literal представляет приблизительные числа.Точность литерала приблизительного числа approximate numeric literal есть точность его мантиссы mantissa . Общие правила 1. Значение литерала символьной строки character string literal - это последовательность содержащихся в нем символов character . 2. Численное значение литерала точного числа exact numeric literal получается путем обычной математической интерпретации знаковой позиционной десятичной записи. 3. Численное значение литерала приблизительного числа approximate numeric literal есть результат умножения точного численного значения, представленного мантиссой mantissa , на число, полученное путем возведения числа 10 в степень, представляемую порядком exponent . 5.3 Лексема token Функция Определяет лексические единицы. Формат token nondelimiter token delimiter token nondelimiter token identifier key word numeric literal identifier upper case letter underscore letter or digit underscore letter or digit upper case letter digit key word ALL AND ANY AS ASC AUTHORIZATION AVG BEGIN BETWEEN BY CHAR CHARACTER CHECK CLOSE COBOL COMMIISTINCT DOUBLE END ESCAPE EXEC EXISTS FETCH FLOAT FOR FOREIGN FORTRAN FOUND FROM GO GOTO GRANT GROUP HAVING IINSERT INT IINTO IS KEY LANGUAGE LIKE MAX MIN MODULE NOT NULL NUMERIC OF ON OPEN OPTION OR ORDER PASCAL PL1 IVILEGES PROCEDURE PUBLIC REAL REFERENCES ROLLBACK SCHEMA SECTION SELECT SET SMALLINT SOME SQL SQLCODE SQLERROR SUM TABLE TO UNION UNIQUE UPDATE USER VALUES VIEW WHENEVER WHERE WITH WORK delimiter token character string literal separator comment space newline comment comment introduser character newline comment introduser См. Синтаксическое правило 5. newline определенный в реализации индикатор конца строки space символ пробела Синтаксические правила 1. Лексическая единица token , отличная от литерала символьной строки character string literal , не должна включать пробел space . 2. За любой лексической единицей tocken может следовать разделитель separator . За лексемой-не-ограничителем nondelimiter tocken должны следовать лескема-ограничитель delimiter tocken или разде литель separator . Если синтаксис не допускает на личия лексемы-ограничителя delimiter tocken за лексемой-не-ограничителем nondelimiter tocken , то за лексемой-не-ограничителем nondelimiter tocken должен следовать разделитель separator . 3. Идентификатор identifier не должен содержать более 18 символов character . 4. Идентификатор identifier не должен совпадать с ключевым словом key word . 5. Предваритель комментария comment introduser есть последовательность двух или более дефисов не раз деленных ни одним пробелом space или переводом строки newline и не входящих в литерал символьной строки character string literal . Общие правила Нет. 5.4 ИменаФункция Специфицирует имена Формат table name authorization identifier . table identifier authorization identifier identifier table identifier identifier column name identifier correlation name identifier module name identifier cursor name identifier procedure name identifier parameter name identifier Синтаксические правила 1. Имя таблицы table name идентифицирует именованную таблицу. 2. Если имя таблицы table name не включает идентификатора полномочий authorization identifier , то a Если имя таблицы table name содержится в схеме schema , то по умолчанию предполагается идентификатор полномочий authorization identifier , определяемый как идентификатор полномочий схемы schema authorization identifier данной схемы schema . b Если имя таблицы table name содержится в модуле module , то по умолчанию предполагается идентификатор полномочий authorization identifier , определяемый как идентификатор полномочий модуля module authorization identifier данного модуля module . 3. Два имени таблицы table name совпадают, в том и только в том случае, если они включают один и тот же идентификатор таблицы table identifier и один и тот же идентификатор полномочий authorization identifier , независимо от того, явно или неявно указаны идентификаторы полномочий authorization identifier . 4. Имя таблицы table name объявляется в определении таблицы table definition или в определении представления view definition . 5. Имя таблицы table name в операторе SQL SQL statement должно идентифицировать таблицу, определенную в схеме schema . 6. Идентификатор полномочий authorization identifier представляет идентификатор полномочий. 7. Идентификатор identifier объявляется как имя кореляции correlation name и ассоциируется с таблицей для индивидуальной области действия.
Область действия имени кореляции correlation name - это либо оператор выборки select statement , либо подзапрос subquery , либо спецификация запроса query specification см. 5.20, Раздел from from clause . Области действия могут быть вложенными.
В разных областях действия одно и то же имя кореляции correlation name может быть ассоциировано с разными таблицами или с одной и той же таблицей. 8. Имя столбца column name идентифицирует именованный столбец.
Идентификатор identifier определяется как имя столбца column name через определение таблицы table definition или через определение представления view definition . 9. Имя модуля module name идентифицирует модуль module . 10. Имя курсора cursor name идентифицирует курсор cursor . 11. Имя процедуры procedure name идентифицирует процедуру procedure . 12. Имя параметра parameter name идентифицирует параметр. Общие правила Нет. 5.5 Тип данных data type Функция Специфицирует тип данных.
Формат data type character string type exact numeric type approximate numeric type character string type CHARACTER lenght CHAR lenght exact numeric type NUMERIC precision , scale DECIMAL precision , scale DEC precision , scale INTEGER INT SMALLINT approximate numeric type FLOAT precision REAL DOUBLE PRECISION lenght unsigned integer precision unsigned integer scale unsigned integer Синтаксические правила 1. CHAR - это синоним для CHARACTER. DEC - это синоним для DECIMAL. INT - это синоним для INTEGER. 2. Значение целого без знака unsigned integer , т.е. длина lenght или точность precision , должно быть больше 0. 3. Если длина lenght опущена, то она предполагается равной 1. Если масштаб scale опущен, то предполагается равным 0. Если опущена точность precision , то значение определяется в реализации. 4. Масштаб scale для типа точных чисел exact numeric type не должен быть больше, чем точность precision для типа точных чисел exact numeric type . 5. CHARACTER специфицирует тип данных строк символов с длиной, специфицируемой длиной lenght . 6. NUMERIC специфицирует тип данных точных чисел с точностью и масштабом, специфицируемыми через точность precision и масштаб scale . 7. DECIMAL специфицирует тип данных точных чисел с масштабом, специфицируемым масштабом scale и определяемой в реализации точностью, равной или большей зна чения указанной точности precision . 8. INTEGER специфицирует тип данных точных чисел с определенной в реализации точностью и масштабом 0. 9. SMALLINT специфицирует тип данных точных чисел с масштабом 0 и определенной в реализации точностью не большей, чем определенная в реализации точность INTEGER. 10. FLOAT специфицирует тип данных приблизительных чисел с двоичной точностью, равной или большей значения указанной точности precision . 11. REAL специфицирует тип данных приблизительных чисел с определенной в реализации точностью. 12. DOUBLE PRECISION специфицирует тип данных приблизительных чисел с определенной в реализации точностью большей, чем определенная в реализации точность для REAL. Общие правила Нет. 5.6 Спецификация значения value specification и спецификация цели target specification Функция Специфицируют одно или более значений, параметров или пе- ременных.
Формат value specification parameter specification variable specification literal USER target specification parameter specification variable specification parameter specification parameter name indicator paremeter indicator parameter INDICATOR parameter name variable specification embedded variable name indicator variable indicator variable INDICATOR embedded variable name Синтаксические правила 1. Спецификация значения value specification специфицирует значение, которое не выбирается из таблицы. 2. Спецификация параметра parameter specification идентифицирует параметр или параметр и параметр-индикатор.
Тип данных параметра-индикатора должен быть типом точных чисел со шкалой 0. Конкретный тип точных чисел exact numeric type параметров-индикаторов определяется в реализации. 3. Спецификация переменной variable specification идентифицирует переменную включающего языка или переменную включающего языка и переменную-индикатор.
Тип данных переменной-индикатора должен быть определенным в реализации типом данных для параметров-индикаторов. 4. Спецификация цели target specification специфицирует параметр или переменную, которым может быть присвоено значение. 5. Спецификация параметра parameter specification должна содержаться в модуле module . Спецификация переменной variable specification должна со держаться во встроенном операторе SQL embedded SQL statement . 6. Тип данных USER - это символьная строка длины, определенной в реализации.
Общие правила 1. Если спецификация параметра parameter specification содержит параметр-индикатор indicator parameter и значение параметра-индикатора отрицательно, то значение, специфицируемое спецификацией параметра parameter specification - не определенное.
В противном случае значение, специфицируемое спецификацией параметра parameter specification - это значение параметра, идентифицируемого именем параметра parameter name . 2. Если спецификация переменной variable specification содержит переменную-индикатор indicator variable и значение переменной-индикатора отрицательно, то значение, специфицируемое спецификацией переменной variable specification - не определенное.
В противном случае значение, специфицируемое спецификацией переменной variable specification - это значение переменной, идентифицируемой именем встроенной переменной embedded variable name . 3. Значение, специфицируемое литералом literal - это значение, представляемое этим литералом literal . 4. Значение, специфицируемое USER, равно идентификатору полномочий authorization identifier , указанному как идентификатор полномочий модуля module authorization identifier модуля module , содержащего оператор SQL SQL statement , выполнение которого вызвало вычисления спецификации значения value specification USER. Спецификация столбца column specification Функция Указание именованного столбца.
Формат column specification qualifier . column name qualifier table name correlation name Синтаксические правила 1. Спецификация столбца указывает именованный столбец.
Смысл указания столбца зависит от контекста. 2. Пусть C имя столбца column name в спецификации столбца column specification . 3. Тогда a Если спецификация столбца columnspecification содержит квалификатор qualifier , то спецификация столбца должна содержаться в области действия одного или более иментаблиц table name или имен кореляции correlation name , равных квалификатору qualifier . Если таких имен таблиц tablename или имен кореляции correlation name больше одного, то используется имя с наиболее локальной областью действия.
Таблица, ассоциированнаяс указанным именем таблицы table name или именем кореляции correlation name , должнавключать столбец с именем столбца column name C. b Если спецификация столбца columnspecification не включает квалификатор qualifier , то она должна содержаться в областидействия одного или более имен таблиц tablename или имен кореляции correlation name .Пусть фраза возможные квалификаторы обозначает те имена таблиц table name и имена корреляций correlation name , для которых ассоциированныетаблицы включают столбец, имя столбца columnname которого есть C. Должен существовать в точности один возможный квалификатор с наиболее локальной областью действия, и это имя таблицы table name или имя корреляции correlationname неявно используется.
Замечание Область действия имени таблицы table name или имени кореляции correlation name специфицируется в 5.20 Раздел from from clause , 6.2, Определение таблицы table definition , 8.5, Оператор удаления поисковый delete statement searched , 8.11, Оператор модификации позиционный update statement positioned и 8.12, Оператор модификации поисковый updatestatement searched . 4. Если спецификация столбца column specification содержится в выражении над таблицами table expression T и область действия явно или неявно указанного квалификатора qualifier спецификации столбца column specification есть некоторый оператор SQL SQL statement или выражение над таблицами table expression , содержащее выражение над таблицами table expression T, то спецификация столбца column specification является внешней ссылкой на таблицу, ассоциированную с этим квалификатором qualifier . 5. Пусть T обозначает таблицу, ассоциированную с явно или неявно специфицированным квалификатором qualifier R. Тип данных спецификации столбца column specification есть тип данных столбца C таблицы T. Общие правила 1. C или R.C ссылаются на столбец C данной строки T. 5.8 Спецификация функции над множеством set function specification Функция Специфицирует значение, получаемое применением функции к аргументу.
Формат set function specification COUNT distinct set function all set function distinct set function AVG MAX MIN SUM COUNT DISTNICT column specification all set function AVG MAX MIN SUM ALL value expression Синтаксические правила 1. Аргумент COUNT и источник аргумента функции над различными элементами множества distinct set function и функции надо всеми элементами множества all set function - это таблица или группа сгруппированной таблицы в соответствии со спецификациями в 5.19, Выражение, вырабатывающее таблицу table expression , 5.24, Подзапрос subquery и 5.25, Спецификация запроса query specification . 2. Пусть R обозначает аргумент или источник аргумента спецификации функции над множеством set function specification . 3. Спецификация столбца column specification функции над различными элементами множества distinct function specification и каждая спецификация столбца column specification в выражении, вырабатывающем значение value expression функции надо всеми элементами множества all set function должны недвусмысленно ссылаться на столбец R и не должны ссылаться на столбец, порожденный из спецификации функции над множеством set function specification . 4. Выражение, вырабатывающее значение value expression функции надо всеми элементами множества должно включать спецификацию столбца column specification , которая ссылается на столбец R, и не должно включать спецификацию функции над множеством set function specification . Если спецификация столбца column specification является внешней ссылкой, то выражение, вырабатывающее значение value expression не должно включать никаких операторов. Замечание Внешняя ссылка определяется в 5.7, Спецификация столбца column specifiction . 5. Если спецификация функции над множеством set function specification содержит спецификацию столбца column specificaton , являющуюся внешней ссылкой, то спецификации функции над множеством set function specification должна содержаться в подзапросе subquery статьи having having clause . Замечание Внешняя ссылка определяется в 5.7, Спецификация столбца column specifiction . 6. Пусть T тип данных значений, являющихся результатами вычисления спецификации столбца column specification или выражения, вырабатывающего значение value expression . 7. Если указывается COUNT, то тип данных результата спецификации функции над множеством set function specification - это тип точных чисел с определенной в реализации точностью и масштабом 0. 8. Если указывается MAX или MIN, то тип данных результата есть T. 9. Если указывается SUM или AVG, то a тип T не должен быть типом символьных строк. b если указывается SUM и T - тип точных чисел с масштабом S, то тип данных результата - тип точных чисел с определенной в реализации точностью и масштабом S. c если указывается AVG и T - тип точных чисел с масштабом S, то тип данных результата - тип точных чисел с определенными в реализации точностью и масштабом. d если T - тип приблизительных чисел, то тип результата - тип приблизительных чисел с определенной в реализации точностью.
Общие правила 1. Аргументом функции над различными элементами множества distinct set function является множество значений.
Это множество получается путем удаления неопределенных значений и всех избыточных дублирующих значений из столбца R, на который ссылается спецификация столбца column specification . 2. Аргументом функции надо всеми элементами множества all set function является мультимножество значений. Это мультимножество получается путем удаления всех неопределенных значений из результата применения выражения, вырабатывающего значение value expression к каждой строке R. Указание или неуказание ALL не влияет на смысл функции надо всеми элементами множества all set function . 3. Пусть S обозначает аргумент функции над различными элементами множества distinct set function или функции надо всеми элементами множества all set function . 4. Тогда a Если задается функция над различными элементами множества distinct set function COUNT, то результатом является мощность S. b Если задается функция COUNT , то результатом является мощность R. c Если задается функция AVG, MAX, MIN или SUM и S пусто, то результатом является неопределенное значение. d Если задается MAX или MIN, то результатом является, соответственно, максимальное или минимальное значение в S. Эти результаты определяются с использованием правил сравнения, определенных в 5.11, comparison predicate . e Если задается SUM, то результатом является суммазначений в S. Сумма должна быть в пределах диапазона значений типа данных результата. f Если задается AVG, то результатом является среднеезначение значений в S. Сумма значений в S должнабыть в пределах диапазона значений типа данных результата. 5.9 Выражение, вырабатывающее значение value expression Функция Специфицирует значение.
Формат value expression term value expression term value expression - term term factor term factor term factor factor - primary primary value specification column specification set function specification value expression Синтаксические правила 1. Выражение, вырабатывающее значение value expression , включающее функцию над различными элементами множества , не должно включать никаких двухместных операторов. 2. Первый символ character лексемы token , следующей за одноместным оператором, не должен быть знаком плюс или минус. 3. Если тип данных первичного выражения primary является типом символьных строк, то выражение, вырабатывающее значение value expression не должно включать никаких операторов.
Типом данных результата является тип символьных строк. 4. Если тип данных обоих операндов оператора является типом точных чисел, то тип данных результата является типом точных чисел с точностью и масштабом, определяемыми следующим образом a Пусть s1 и s2 - масштабы первого и второго операндов, соответственно. b Точность результата сложения и вычитания определяется в реализации, и масштаб есть max s1,s2 . c Точность результата умножения определяется в реализации, и масштаб есть s1 s2. d Точность и масштаб результата деления определяются в реализации. 5. Если тип данных какого-либо операнда оператора является типом приблизительных чисел, то тип данных результата есть тип приблизительных чисел.
Точность результата определяется в реализации.
Общие правила 1. Если значение первичного выражения primary является неопределенным значением, то результатом выражения, вырабатывающего значение value expression является неопределенное значение. 2. Если операторы не указаны, то результатом выражения, вырабатывающего значение value expression является значение указанного первичного выражения primary . 3. Когда выражение, вырабатывающее значение value expression применяется к строке таблицы, каждая ссылка на столбец этой таблицы является ссылкой на значение этого столбца в этой строке. 4. Одноместные арифметические операторы и - специфицируют одноместный плюс и одноместный минус, соответственно. Одноместный плюс не изменяет своего операнда.
Одноместный минус изменяет знак своего операнда. 5. Двухместные арифметические операторы , и специфицируют сложение, вычитание, умножение и деление соответственно.
Делитель не должен быть равен 0. 6. Если типом результата арифметического оператора является тип целых чисел, то a Если оператор не оператор деления, то математический результат операции должен быть точно представим с точностью и масштабом типа результата. b Если оператор - это оператор деления, то приближенный математический результат операции, представленный с точностью и масштабом типа результата не должен терять никаких лидирующих значащих цифр. 7. Первыми вычисляются выражения в скобках.
Когда порядок вычисления не определяется скобками, одноместные операторы применяются перед операторами умножения и деления, операторы умножения и деления применяются перед операторами сложения и вычитания, и операторы одного уровня предшествования применяются слева направо. 5.10 Предикат predicate Функция Специфицирует условие, для которого может быть вычислено истиностное значение true , false или unknown . Формат predicate comparison predicate between predicate in predicate like predicate null predicate quantified predicate exists predicate Синтаксические правила Нет. Общие правила 1. Результат предиката predicate получается его применением к данной строке таблицы. 5.11 Предикат сравнения comparison predicate Функция Специфицирует сравнение двух значений.
Формат comparison predicate value expression comp op value expression subquery comp op Синтаксические правила 1. Тип данных первого выражения, вырабатывающего результат value expression и подзапроса subquery или второго выражения, вырабатывающего значение value expression должны быть сравнимыми. Общие правила 1. Пусть x обозначает результат первого выражения, вырабатывающего значение value expression и пусть y обозначает результат подзапроса subquery или второго выражения, вырабатывающего значение value expression . Мощность результата подзапроса subquery не должна быть больше единицы. 2. Если x или y являются неопределенными значениями или если результат подзапроса subquery пустой, то результатом x comp op y является unknown. 3. Если x и y являются не неопределенными значениями, то результатом x comp op y является true или false x y есть true тогда и только тогда, когда x и y равны. x y есть true тогда и только тогда, когда x и y не равны. x y есть true тогда и только тогда, когда x меньше, чем y. x y есть true тогда и только тогда, когда x больше, чем y. x y есть true тогда и только тогда, когда x не больше, чем y. x y есть true тогда и только тогда, когда x не меньше, чем y. 4. Числа сравниваются в соответствии с их алгебраическими значениями. 5. Сравнение двух символьных строк определяется через сравнение символов character с одинаковыми порядковыми позициями.
Если строки не имеют одинаковую длину, то сравнение производится с рабочей копией более короткой строки, дополненной справа пробелами space таким образом, чтобы она имела длину, равную длине другой строки. 6. Две строки равны, если все символы character с одинаковыми порядковыми позициями совпадают.
Если две строки не равны, то их отношение определяется на основе сравнения первой пары неравных символов character с левого конца строк.
Это сравнение производится в соответствии с определенной в реализации последовательностью сопоставления. 7. Хотя x y есть unknown, если x и y являются неопределенными значениями, в контекстах GROUP BY, ORDER BY и DISTINCT неопределенное значение идентично или является дубликатом другого неопределенного значения.
Предикат between between predicate Функция Специфицирует сравнение с интервалом.
Формат between predicate value expression NOT BETWEEN value expression AND value expression Синтаксические правила 1. Типы данных всех трех выражений, вырабатывающих значение value expression должны быть сравнимыми.
Общие правила 1. Пусть x, y и z обозначают результаты первого, второго и третьего выражений, вырабатывающих значение value expression , соответственно. 2. Результат x BETWEEN y AND z тот же самый, что и результат x y AND x z . 3. Результат x NOT BETWEEN y AND z тот же самый, что и результат NOT x BETWEEN y AND z . 5.13 Предикат in in predicate Функция Специфицирует сравнение с квантором.
Формат in predicate value expression NOT IN subquery in value list in value list value specification , value specification Синтаксические правила 1. Типы данных первого выражения, вырабатывающего значение value expression и подзапроса subquery или всех выражений, вырабатывающих значение value expression в списке значений in in value list должны быть сравнимыми.
Общие правила 1. Пусть x обозначает результат выражения, вырабатывающего значение value expression . Пусть S обозначает результат подзапроса subquery как в предикате с квантором quantified predicate или значения, определенные через список значений in in value list , рассматриваемые как значения строк единственного столбца таблицы степени один. 2. Результат x IN S тот же самый, что и результат x ANY S . Результат x NOT IN S тот же самый, что и результат NOT x IN S . 5.14 Предикат like like predicate Функция Специфицирует сравнение по совпадению с образцом.
Формат like predicate column specification NOT LIKE pattern ESCAPE escape character pattern value specification escape character value specification Синтаксические правила 1. Спецификация столбца column specification должна указывать на столбец символьных строк. 2. Тип данных образца pattern должен быть типом символьных строк. 3. Тип данных символа escape escape character должен быть типом символьных строк длины 1. Общие правила 1. Пусть x обозначает значение, указываемое спецификацией столбца column specification , и пусть y обозначает результат спецификации значения value specification образца pattern . 2. Тогда a Если указывается символ escape escapecharacter , то o i Пусть z обозначает результат спецификации значения value specification символа escape escape character . ii Должно существовать разбиение строки y на подстроки такое, что каждая подстрока имеет длину 1 или 2, никакая подстрока длины 1 не содержит символа escape z, и каждая подстрока длины 2 начинается с символа escape z, за которым следует либо символ escape z, либо символ подчеркивания, либо символ знака процента. В этом разбиении y каждая подстрока длины 2 представляет одно вхождение второго символа этой подстроки.
Каждая подстрока длины 1, содержащая символ подчеркивания, представляет спецификатор произвольного символа.
Каждая подстрока длины 1, содержащая знак процента, представляет спецификатор произвольной строки.
Каждая подстрока длины 1, не содержащая ни символа подчеркивания, ни символа знака процента, представляет символ, который она содержит. b Если символ escape escape character не указан, то каждый символ подчеркивания в y представляет спецификатор произвольного символа, каждый символ знака процента в y представляет спецификатор произвольной строки, и каждый символ в y, который не является ни символом подчеркивания, ни символом знака процента, представляет сам этот символ. 3. Строка y является последовательностью минимального числа спецификаторов подстрок таких, что каждый символ character y является частью в точности одного спецификатора подстроки. Спецификатор подстроки - это спецификатор произвольного символа, спецификатор произвольной подстроки или любая последовательность символов character , не являющаяся спецификатором произвольного символа или спецификатором произвольной строки. 4. Результатом x LIKE y является unknown, если x или y представляют неопределенное значение.
Если x и y представляют не неопределенные значения, то значением x LIKE y является либо true, либо false. 5. Результатом x LIKE y является true, если существует разбиение x на подстроки такое, что a Подстрока x является последовательностью нуля или более подряд идущих символов character x, и каждый символ character x есть часть в точности одной подстроки. b Если i-ый спецификатор подстроки y является спецификатором произвольного символа, i-ая подстрока x состоит из одного произвольного символа character . c Если i-ый спецификатор подстроки y является спецификатором произвольной строки, i-ая подстрока x является произвольной последовательностью нуля или более символов character . d Если i-ый спецификатор подстроки y не является ни спецификатором произвольного символа, ни спецификатором произвольной строки, i-ая подстрока x совпадает с этим спецификатором подстроки и имеет ту же длину, что этот спецификатор подстроки. e Число подстрок x равно числу спецификаторов подстрок y. 6. Результат x NOT LIKE y такой же, как результат NOT x LIKE y . 5.15 Предикат null null predicate Функция Специфицирует проверку значения на неопределенность.
Формат null predicate column specification IS NOT NULL Синтаксические правила Нет. Общие правила 1. Пусть x обозначает значение, указываемое спецификацией столбца column specification . 2. Результатом x IS NULL является true или false. 3. Результатом x IS NULL является true, если и только если x представляет неопределенное значение. 4. Результат x IS NOT NULL такой же, как результат NOT x IS NULL . 5.16 Предикат с квантором quantified predicate Функция Специфицирует сравнение с квантором.
Формат quantified predicate value expression comp op quantifier subquery quantifier all some all ALL some SOME ANY Синтаксические правила 1. Типы данных выражения, вырабатывающего значение value expression и подзапроса subquery должны быть сравнимы.
Общие правила 1. Пусть x обозначает результат выражения, вырабатывающего значение value expression и пусть S обозначает результат подзапроса subquery . 2. Результат x comp op quantifier S вырабатывается путем применения подразумеваемого предиката сравнения comparison predicate x comp op s к каждому значению S a Если S пусто или если значение подразумеваемого предиката сравнения comparison predicate равно true для каждого значения s в S, то значение x comp op all S есть true. b Если значение подразумеваемого предиката сравнения comparison predicate равно false хотя бы для одного значения s в S, то значение x comp op all S есть false. c Если значение подразумеваемого предиката сравнения comparison predicate равно true хотя бы для одного значения s в S, то значение x comp op some S есть true. d Если S пусто или если значение подразумеваемого предиката сравнения comparison predicate равно false для каждого значения s в S, то значение x comp op some S есть false. e Если результатом x comp op quantifier S не является ни true, ни false, то результатом является unknown. 5.17 Предикат exists exists predicate Функция Специфицирует проверку множества на пустоту.
Формат exists predicate EXISTS subquery Синтаксические правила Нет. Общие правила 1. Пусть S обозначает результат подзапроса subquery . 2. Результатом EXISTS S является либо true, либо false. 3. Результатом EXISTS S является true, если и только если S не пусто. 5.18 Условие поиска search condition Функция Специфицирует условие, которое может быть true , false или unknown в зависимости от результата применения булевских операторов к указанным условиям.
Формат search condition boolean term search condition OR boolean term boolean term boolean factor boolean term AND boolean factor boolean factor NOT boolean primary boolean primary predicate search condition Синтаксические правила 1. Спецификация столбца column specification или выражение, вырабатывающее значение value expression , указанные в условии поиска search condition , непосредственно содержатся в этом условии поиска search condition , если спецификация столбца column specification или выражение, вырабатывающее значение value expression не указываются внутри спецификации функции над множеством set function specification или подзапроса subquery этого условия поиска search condition . Общие правила 1. Результат получается применением указанных булевских операторов к условиям, являющимся результатами применения каждого указанного предиката predicate к данной строке таблицы или данной группе сгруппированной таблицы.
Если булевские операторы не указаны, то результатом условия поиска search condition является результат указанного предиката predicate . 2. NOT true есть false, NOT false есть true и NOT unknown есть unknown.
AND и OR определяются следующими таблицами истинности 3. ЪДВДВДВДї 4. іAND іtrue іfalse іunknownі 5. ГДЕДЕДЕДґ 6. іtrue іtrue іfalse іunknownі 7. ГДЕДЕДЕДґ 8. іfalse іfalse іfalse іfalse і 9. ГДЕДЕДЕДґ 10. іunknown іunknown іfalse іunknownі 11. АДБДБДБДЩ 12. ЪДВДВДВДї 13. іOR іtrue іfalse іunknownі 14. ГДЕДЕДЕДґ 15. іtrue іtrue іtrue іtrue і 16. ГДЕДЕДЕДґ 17. іfalse іtrue іfalse іunknownі 18. ГДЕДЕДЕДґ 19. іunknown іtrue іunknown іunknownі 20. АДБДБДБДЩ 21. Сначала вычисляются выражения в скобках.
Когда порядок вычисления не определяется скобками, NOT применяется перед AND, AND применяется перед OR, и операторы с одинаковым уровнем предшествования применяются слева направо. 22. Когда условие поиска search condition применяется к строке таблицы, каждая ссылка на столбец этой таблицы через спецификацию столбца column specification , прямо содержащуюся в условии поиска search condition , является ссылкой на значение этого столбца в этой строке. 5.19 Выражение, вырабатывающее таблицу table expression Функция Специфицирует таблицу или сгруппированную таблицу.
Формат table expression from clause where clause group by clause having clause Синтаксические правила 1. Если таблица, идентифицируемая в разделе from from clause , является сгруппированным представлением, то выражение, вырабатывающее таблицу table expression не должно содержать раздела where where clause , раздела group by group by clause или раздела having having clause . Общие правила 1. Если все необязательные разделы опущены, то результирующая таблица является результатом раздела from from clause . В противном случае каждый указанный раздел применяется к результату раздела, указанного перед ним, и результирующая таблица является результатом применения последнего указанного раздела.
Результатом выражения, вырабатывающее таблицу table expression является порожденная таблица, в которой i-ый столбец наследует описание i-ого столбца таблицы, специфицированной через раздел from from clause . 5.20 Раздел from from clause Функция Специфицирует таблицу, порожденную из одной или более именованных таблиц.
Формат from clause FROM table reference , table reference table reference table name correlation name Синтаксические правила 1. Имя таблицы table name , специфицируемое в ссылке на таблицу table reference , экспонируется в разделе from from clause тогда и только тогда, когда эта ссылка на таблицу не специфицирует имя кореляции correlation name . 2. Имя таблицы table name , которое экспонируется в разделе from from clause , не должно совпадать ни с каким другим именем таблицы table name , становящимся видимым за пределами этого раздела from from clause . 3. Имя кореляции correlation name , специфицированное в ссылке на таблицу table reference , не должно совпадать ни с каким другим именем кореляции correlation name , специфицированным в содержащем разделе from from clause , и не должно совпадать с идентификатором таблицы table identifier какого-либо имени таблицы table name , экспонирующегося в содержащем разделе from from clause . 4. Областью действия имен кореляции correlation name и экспонируемых имен таблиц table name является наиболее внутренний подзапрос subquery , спецификация запроса query specification или оператор выборки select statement , содержащий выражение, вырабатывающее таблицу table expression , в котором содержится данный раздел from from clause . Имя таблицы table name , которое специфицировано в разделе from from clause , имеет область действия, определенную этим разделом from from clause , если и только если это имя таблицы table name экспонируется в этом разделе from from clause . 5. Если таблица, идентифицируемая именем таблицы table name является сгруппированным представлением, то раздел from from clause должен содержать в точности одну ссылку на таблицу table reference . 6. a Если раздел from from clause содержит единственное имя таблицы table name , то описание результата раздела from from clause такое же, как описание таблицы, идентифицируемой этим именем таблицы table name . b Если раздел from from clause содержит более одного имени таблицы table name , то описание результата раздела from from clause является конкатенацией описаний таблиц, идентифицируемых этими именами таблиц table name в порядке, в котором имена таблиц table name появляются в разделе from from clause . Общие правила 1. Спецификация имени кореляции correlation name или экспонируемого имени таблицы table name в ссылке на таблицу table reference определяет это имя кореляции correlation name или экспонируемое имя таблицы table name как обозначатель таблицы, идентифицируемой именем таблицы table name этой ссылки на таблицу table reference . 2. a Если раздел from from clause содержит одно имя таблицы table name , то результатом раздела from from clause является таблица, идентифицируемая этим именем таблицы table name . b Если раздел from from clause содержит более одного имени таблицы table name , то результатом раздела from from clause является расширенное прямое произведение таблиц, идентифицируемых этими именами таблиц table name . Расширенное прямое произведение R есть мультимножество всех строк r таких, что r является конкатенацией строк из всех идентифицированных таблиц в том порядке, в котором они идентифицировались.
Мощность R есть произведение мощностей идентифицированных таблиц.
Порядковая позиция столбца в R есть n s, где n порядковая позиция порождающего столбца в именованной таблице T, и s есть сумма степеней всех таблиц, идентифицированных до T в разделе from from clause . 5.21 Раздел where where clause Функция Специфицирует таблицу, получаемую применением условия поиска search condition к результату прешествующего раздела from from clause . Формат where clause WHERE search condition Синтаксические правила 1. Пусть T обозначает описание результата предшествующего раздела from from clause . Каждая спецификация столбца column specification , прямо содержащаяся в условии поиска search condition , должна однозначно ссылаться на столбец T или являться внешней ссылкой. Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . 2. Выражение, вырабатывающее значение value expression , прямо содержащееся в условии поиска search condition , не должно включать ссылку на столбец, порождаемый функцией. 3. Если выражение, вырабатывающее значение value expression , прямо содержащееся в условии поиска search condition , является спецификацией функции над множеством set function specification , то раздел where where clause должен содержаться в разделе having having clause , и спецификация столбца column specification в спецификации функции над множеством set function specification не должна являться внешней ссылкой.
Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . Общие правила 1. Пусть R обозначает результат раздела from from clause . 2. Условие поиска search condition применяется к каждой строке R. Результатом раздела where where clause является таблица из тех строк R, для которых результат условия поиска search condition есть true. 3. Каждый подзапрос subquery в условии поиска search condition фактически выполняется для каждой строки R, и результаты используются при применении условия поиска search condition к данной строке R. Если некоторый подзапрос subquery содержит внешнюю ссылку на столбец R, то эта ссылка указывает на значение этого столбца в данной строке R. Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . 5.22 Раздел group by group by clause Функция Специфицирует сгруппированную таблицу, порождаемую применением раздела group by group by clause к результату предыдущего раздела.
Формат group by clause GROUP BY column specification , column specification Синтаксические правила 1. Пусть T обозначает описание результата предшествующего раздела from from clause или раздела where where clause . 2. Каждая спецификация столбца column specification в разделе group by group by clause должна недвусмысленно ссылаться на столбец T. Столбец, указываемый в разделе group by group by clause , есть столбец группирования.
Общие правила 1. Пусть R обозначает результат предыдущего раздела from from clause или раздела where where clause . 2. Результатом раздела group by group by clause является разбиение R на множество групп.
Это множество состоит из минимального числа групп таких, что для каждого столбца группирования каждой группы, включающей более одной строки, все значения этого столбца группирования равны. 3. Каждая строка данной группы содержит одно и то же значение данного столбца группирования.
Когда условие поиска search condition применяется к группе, ссылка на столбец группирования является ссылкой на это значение. 5.23 Раздел having having clause Функция Специфицирует ограничение на сгруппированную таблицу, являющуюся результатом предыдущего раздела group by group by clause или раздела from from clause , путем исключения групп, не удовлетворяющих условию поиска search condition . Формат having clause HAVING search condition Синтаксические правила 1. Пусть T обозначает описание результат предшествующего раздела from from clause , раздела where where clause или раздела group by group by clause . Каждая спецификация столбца column speification , непосредственно содержащаяся в условии поиска search condition , должна недвусмысленно указывать на столбец группирования T или являться внешней ссылкой.
Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . 2. Каждая спецификация столбца column specification , содержащаяся в подзапросе subquery в условии поиска search condition и указывающая на столбец T, должна ссылаться на столбец группирования T или должна быть специфицирована внутри спецификации функции над множеством set function specification . Общие правила 1. Пусть R обозначает результат предшествующего раздела from from clause , раздела where where clause или раздела group by group by clause . Если этот раздел не есть раздел group by group by clause , то R состоит из одной группы и не обладает столбцом групирования. 2. Условие поиска search condition прмменяется к каждой группе R. Результат раздела having having clause является сгруппированной таблицей, содержащей те группы из R, для которых результат условия поиска search condition есть true. 3. Когда условие поиска search condition применяется к данной группе R, эта группа является аргументом или источником аргумента каждой спецификации функции над множеством set funtion specification , прямо содержащейся в условии поиска search condition , если только спецификация столбца column specification в спецификации функции над множеством set function specification не является внешней ссылкой.
Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . 4. Каждый подзапрос subquery в условии поиска search condition фактически вычисляется для каждой группы R и результат используется при применении условия поиска search condition к данной группе R. Если какой-либо подзапрос subquery содержит внешнюю ссылку на столбец R, то эта ссылка указывает на значения этого столбца в данной группе R. Замечание Внешняя ссылка определяется в 5.7, спецификация столбца column specification . Подзапрос subquery Функция Специфицирует мультимножество значений, полученных из результата выражения, вырабатывающего таблицу table expression . Формат subquery SELECT ALL DISTINCT result specification table expression result specification value expression Синтаксические правила 1. Применимые привилегии для каждого имени таблицы table name , содержащегося в выражении, вырабатывающем таблицу table expression , должны включать SELECT. Замечание Применимые привилегии privileges для имени таблицы table name определяются в 6.10, определение привилегий privileges definition . 2. a Если спецификация результата result specification указана в подзапросе subquery какого-либо предиката predicate , отличного от предиката exists exists predicate , то степень выражения, вырабатываающего таблицу table expression должна быть равна 1 и спецификация результата result specification эквивалентна выражению, вырабатывающему значение value expression , состоящему из спецификации столбца column specification , указывающей на единственный столбец выражения, вырабатывающего таблицу table expression . b Если спецификация результата result specification указана в подзапросе subquery предиката exists exists predicate , то спецификация результата result specification эквивалентна произвольному выражению, вырабатывающему значение value expression , не включающему спецификацию функции над множеством table expression и допустимому в подзапросе subquery . 3. Тип данных значений подзапроса subquery есть тип данных явного или неявного выражения, вырабатывающего значение value expression . 4. Пусть R обозначает результат выражения, вырабатывающего таблицу table expression . 5. Каждая спецификация столбца column specification в выражении, вырабатывающем значение value expression должна недвусмысленно ссылаться на столбец R. 6. Если R - это сгруппированное представление, то спецификация результата result specification не должна содержать спецификацию функции над множеством set function specification . 7. Если R - это сгруппированная таблица, то каждая спецификация столбца column specification в выражении, вырабатывающем значение value expression должна указывать на столбец группирования или быть специфицированной внутри спецификации функции над множеством set function specification . Если R это не сгруппированная таблица и выражение, вырабатывающее значение value expression включает спецификацию функции над множеством set function specification , то каждая спецификация столбца column specification в выражении, вырабатывающем значение value expression должна быть указана внутри спецификации функции над множеством set function specification . 8. Ключевое слово key word DISTINCT не должно специфицироваться более одного раза в подзапросе subquery , включая любой подзапрос subquery , содержащийся в этом подзапросе subquery . 9. Если подзапрос subquery специфицируется в предикате сравнения comparison predicate , то выражение, вырабатывающее таблицу table expression не должно содержать раздел group by group by clause или раздел having having clause и не должно идентифицировать сгруппированное представление.
Общие правила 1. Если R не является сгруппированной таблицей и выражение, вырабатывающее значение value expression включает спецификацию функции над множеством set function specification , то R является аргументом или источником аргумента каждой спецификации функции над множеством set function specification в выражении, вырабатывающем значение value expression и результат подзапроса subquery есть значение, специфицированное выражением, вырабатывающем значение value expression . 2. Если R не является сгруппированной таблицей и выражение, вырабатывающее значение value expression не включает спецификацию функции над множеством set function specification , то выражение, вырабатывающее значение value expression применяется к каждой строке R, образуя мультимножество из n значений, где n - мощность R. Если не указано ключевое слово DISTINCT, то это мультимножество является результатом подзапроса subquery . Если DISTINCT указано, то результатом подзапроса subquery является множество значений, получаемое из этого мультимножества удалением любых избыточных дублирующих значений. 3. Если R - сгруппированная таблица, то выражение, вырабатывающее значение value expression применяется к каждой группе R, образуя мультимножество из n значений, где n - число групп в R. Когда выражение, вырабатывающее значение value expression применяется к данной группе R, эта группа является аргументом или источником аргумента каждой спецификации функции над множеством set function specification в выражении, вырабатывающем значение value expression . Если не указано ключевое слово DISTINCT, то это мультимножество является результатом подзапроса subquery . Если DISTINCT указано, то результатом подзапроса subquery является множество значений, получаемое из этого мультимножества удалением любых избыточных дублирующих значений. 5.25 Спецификация запроса query specification Функция Специфицирует таблицу, полученную из результата выражения, вырабатывающего таблицу table expression . Формат query specification SELECT ALL DISTINCT select list table expression select list value expression , value expression Синтаксические правила 1. Применимые привилегии для каждого имени таблицы table name , содержащегося в выражении, вырабатывающем таблицу table expression , должны включать SELECT. Замечание Применимые привилегии privileges для имени таблицы table name определяются в 6.10, определение привилегий privileges definition . 2. Пусть R обозначает результат выражения, вырабатывающего таблицу table specification . 3. Степень таблицы, специфицированной через спецификацию запроса query specification равна мощности списка выборки select list . 4. Список выборки select list эквивалентен последовательности выражений, вырабатывающих значение value expression , в которой каждое выражение, вырабатывающее значение value expression является спецификацией столбца column specification , указывающей на столбец R, и каждый столбец R указывается ровно один раз. Столбцы указываются в порядке возрастания номеров их исходных позиций внутри R. 5. Каждая спецификация столбца column specification в каждом выражении, вырабатывающем значение value expression должна однозначно указывать на столбец R. Ключевое слово key word DISTINCT не должно указываться более одного раза в спецификации запроса query specification за исключением любого подзапроса subquery этой спецификации запроса query specification . 6. Если R - это сгруппированное представление, то список выборки select list не должен содержать спецификацию функции над множеством set function specification . 7. Если R - это сгруппированная таблица, то каждая спецификация столбца column specification в каждом выражении, вырабатывающем значение value expression должна указывать на столбец группирования или быть специфицированной внутри спецификации функции над множеством set function specification . Если R - это не сгруппированная таблица и какое-либо выражение, вырабатывающее значение value expression включает спецификацию функции над множеством set function specification , то каждая спецификация столбца column specification в любом выражении, вырабатывающем значение value expression должна быть указана внутри спецификации функции над множеством set function specification . 8. Каждый столбец таблицы, являющейся результатом спецификации запроса query specification , имеет тот же тип данных, длину, точность и масштаб, что и выражение, вырабатывающее значение value expression , из которого он получен. 9. Если i-ое выражение, вырабатывающее значение value expression в списке выборки select list состоит из единственной спецификации столбца column specification , то i-ый столбец результата есть именованный столбец с именем столбца column name , соответствующим спецификации столбца column specification . В противном случае i-ый столбец является неименованным. 10. На столбец таблицы, которая является результатом спецификации столбца column specification , накладывается ограничение содержать только не неопределенные значения в том и только в том случае, когда это именованный столбец с ограничением содержать только не неопределенные значения. 11. Спецификация запроса query specification является изменяемой updatable в том и только в том случае, когда выдерживаются следующие условия a Ключевое слово DISTINCT не указано. b Каждое выражение, вырабатывающее значение value expression в списке выборки select list состоит из спецификации столбца column specification , и ни одна спецификация столбца column specification не появляется более одного раза. c Раздел from from clause выражения, выраба тывающего таблицу table expression специфицирует в точности одну ссылку на таблицу table reference , и эта ссылка на таблицу table reference указывает либо на базовую таблицу, либо на порожденную таблицу, являющуюся изменяемой updatable . d Раздел where where clause выражения, вырабатывающего таблицу table expression не содержит подзапроса subquery . e Выражение, вырабатывающее таблицу table expression не включает раздела group by group by clause или раздела having having clause . Общие правила 1. Если R не является сгруппированной таблицей и список выборки select list включает спецификацию функции над множеством set function specification , то R является аргументом или источником аргумента каждой спецификации функции над множеством set function specification в списке выборки select list и результат спецификации запроса query specification есть таблица, состоящая из одной строки.
I-ое значение строки есть значение, специфицированное i-ым выражением, вырабатывающим значение value expression . 2. Если R не является сгруппированной таблицей и список выборки select list не включает спецификацию функции над множеством set function specification , то каждое выражение, вырабатывающее значение value expression применяется к каждой строке R, образуя таблицу из m строк, где m - мощность R. I-ый столбец таблицы содержит значения, полученные применением i-ого выражения, вырабатывающего значение value expression . Если не указано ключевое слово DISTINCT, то эта таблица является результатом спецификации запроса query specification . Если DISTINCT указано, то результатом спецификации запроса query specification является таблица, получаемая из этой таблицы удалением любых избыточных дублирующих значений. 3. Если R - сгруппированная таблица с нулевым числом групп, то результатом спецификации запроса query specification является пустая таблица. 4. Если R - сгруппированная таблица с одной или более групп, то каждое выражение, вырабатывающее значение value expression применяется к каждой группе R, образуя таблицу из m строк, где m - число групп в R. I-ый столбец таблицы содержит значения, полученные применением i-ого выражения, вырабатывающего значения value expression . Когда выражение, вырабатывающее значение value expression применяется к данной группе R, эта группа является аргументом или источником аргумента каждой спецификации функции над множеством set function specification в выражении, вырабатывающем значение value expression . Если не указано ключевое слово DISTINCT, то эта таблица является результатом спецификации запроса query specification . Если DISTINCT указано, то результатом спецификации запроса query specification является таблица, получаемая из этой таблицы удалением любых избыточных дублирующих строк. 5. Строка является дубликатом другой строки в том и только в том случае, когда все пары значений с одной и той же порядковой позицией идентичны. 6. Язык определения схем6.1 Схема schema Функция Определяет схему schema . Формат schema CREATE SCHEMA schema authorization clause schema element schema authorization clause AUTHORIZATION schema authorization identifier schema authorization identifier authorization identifier schema element table definition view definition privilege definition Синтаксические правила 1. Идентификатор полномочий схемы schema authorization identifier должен быть отличным от идентификатора полномочий схемы schema authorization identifier любой другой схемы schema в той же самой среде.
Понятие среды определяется в реализации.
Общие правила Нет. 6.2 Определение таблицы table definition Функция Определяет базовую таблицу.
Формат table definition CREATE TABLE table name table element , table element table element column definition table constraint definition Синтаксические правила 1. Если имя таблицы table name содержит идентификатор полномочий authorization identifier , то этот идентификатор полномочий authorization identifier должен быть таким же, как идентификатор полномочий схемы schema authorization identifier содержащей схемы. 2. Имя таблицы table name должно быть отличным от имени таблицы table name любого другого определения таблицы table definition или определения представления view definition содержащей схемы schema . 3. Определение таблицы table definition должно содержать по меньшей мере одно определение столбца column definition . 4. Областью действия имени таблицы table name является определение таблицы table definition . 5. Описание таблицы, определенной через определение таблицы table definition включает имя имя таблицы table name и описание столбцов, специфицированное каждым определением столбца column definition . Описание i-го столбца предоставляется i-ым определением столбца column definition . Общие правила 1. Определение таблицы table definition определяет базовую таблицу. 6.3 Определение столбца column definition Функция Определяет столбец таблицы.
Формат column definition column name data type default clause column constraint column constraint NOT NULL unique specification references specification CHECK search condition Синтаксические правила 1. Имя столбца column name должно быть отличным от имени столбца column name любого другого определения столбца column definition содержащегося в определении таблицы table definition . 2. I-ый столбец таблицы описывается i-ым определением столбца column definition в определении таблицы table definition . Имя и тип данных столбца определяются именем столбца column name и типом данных data type соответственно. 3. Пусть C обозначает имя столбца column name в определении столбца column definition . 4. Если указано NOT NULL, то неявно вводится следующее определение проверочного ограничения check constraint definition CHECK C IS NOT NULL 5. Если не указано NOT NULL и не указан раздел умолчания default clause , то неявно вводится DEFAULT NULL. 6. Если указана спецификация уникальности unique specification , то неявно вводится следующее определение ограничения уникальности unique constraint definition 7. unique specification C Замечание Спецификация уникальности unique specification определяется в 6.6, определение ограничения уникальности unique constraint definition . 8. Если указана спецификация ссылок references specification , то неявно вводится следующее определение ограничения ссылок referential constraint definition 9. FOREIGN KEY C references specification Замечание Спецификация ссылок references specification определяется в 6.7, определение ограничения ссылок referential constraint definition . 10. Если указано CHECK, то каждая спецификация столбца column specification в условии поиска search condition должна ссылаться на столбец C, и неявно вводится следующее определение проверочного ограничения check constraint definition 11. CHECK search condition 12. Описание столбца, определенного через определение столбца column definition , включает имя имя столбца column name и тип данных, специфицированный типом данных data type . Общие правила Нет. Раздел умолчания default clause Функция Специфицирует умолчание для определения столбца column definition . Формат default clause DEFAULT literal USER NULL Синтаксические правила 1. Тип данных data type объекта раздела умолчания default clause есть тип данных data type содержащего этот раздел определения столбца column definition . 2. a Если указан литерал literal , то o i Если тип данных data type объекта есть тип символьных строк, то литерал literal должен быть литералом символьной строки character string literal . Длина литерала символьной строки character string literal не должна быть больше, чем длина lenght типа данных data type объекта. ii Если тип данных data type объекта есть тип точных чисел, то литерал literal должен быть литералом точного числа exact numeric literal и должно существовать представление значения литерала точного числа exact numeric literal в типе данных data type объекта, в котором не теряются никакие значащие цифры. iii Если тип данных data type объекта есть тип приблизительных чисел, то литерал должен быть литералом приблизительного числа approximate numeric literal или литералом точного числа exact numeric literal . b Если указано USER, то тип данных data type объекта должен быть типом символьных строк и длина lenght типа данных data type объекта должна быть больше или равна 18. c Если указано NULL, то содержащее раздел умолчания определение столбца column definition не должно специфицировать NO NULL. Общие правила 1. Когда строка заносится в таблицу, специфицированную содержащим раздел умолчания определением таблицы table definition , столбец, определенный через определение столбца column definition , инициализируется следующим образом a Если определение столбца column definition не содержит раздела умолчания default clause или если явно или неявно определяется раздел умолчания default clause , специфицирующий NULL, то столбец инициализируется неопределенным значением. b Если определение столбца column definition содержит раздел умолчания default clause , специфицирующий литерал literal , то o i Если тип данных data type определения столбца column definition есть тип точных или приблизительных чисел, то столбец инициализируется численным значением литерала literal . ii Если тип данных data type определения столбца column definition есть тип данных символьных строк с длиной, равной длине литерала literal , то столбец инициализируется значением этого литерала literal . iii Если тип данных data type определения столбца colum