Введение в стандарты языка баз данных SQL

Агрегатные функции и результаты запросов

Агрегатные функции (в стандарте SQL/89 они называются функциями над множествами) определяются в SQL/89 следующими синтаксическими правилами:
::= COUNT(*) | | ::= { AVG MAX MIN SUM COUNT } (DISTNICT ) ::= { AVG MAX MIN SUM } ([ALL] )
Как видно из этих правил, в стандарте SQL/89 определены пять стандартных агрегатных функций: COUNT - число строк или значений, MAX - максимальное значение, MIN - минимальное значение, SUM - суммарное значение и AVG - среднее значение.

Базовая таблица INFORMATION_SCHEMA_CATALOG_NAME

Эта таблица специфицирует каталог информационной схемы. Таблица определяется следующим образом:
CREATE TABLE INFORMATION_SCHEMA_CATALOG_NAME (CATALOG_NAME SQL_IDENTIFIER, CONSTRAINT INFORMATION_SCHEMA_CATALOG_NAME_PRIMARY_KEY PRIMARY KEY (CATALOG_NAME))
Пояснения:

Значением столбца CATALOG_NAME является имя каталога, в котором располагается информационная схема.

Определяется утверждение целостности INFORMATION_SCHEMA_CATALOG_ NAME_CARDINALITY, гарантирующее, что в таблице INFORMATION_SCHEMA_ CATALOG_NAME содержится ровно одна строка:

CREATE ASSERTION INFORMATION_SCHEMA_CATALOG_NAME_CARDINALITY CHECK (1 = (SELECT COUNT(*) FROM INFORMATION_SCHEMA_CATALOG_NAME))

Битовые строки

Битовая строка - это последовательность бит, каждый из которых имеет значение 0 или 1. Длиной битовой строки называется число битов в этой строке (0 или положительное целое число). При определении конкретного типа битовых строк указывается длина (в случае BIT) или максимальная длина строки (в случае BITVARYING).
Над битовыми строками определен ряд операций. Некоторые из них мы рассмотрим.
К операторам, которые работают с операндами - битовыми строками и возвращают битовые строки, относятся следующие:

Битовая конкатенация (обозначается в виде ), которая возвращает результирующую битовую строку, полученную путем конкатенации строк-операндов в том порядке, в котором они заданы.

Функция извлечения подстроки из битовой строки. Синтаксис и семантика этой функции идентичны синтаксису и семантике функции SUBSTRING для символьных строк за исключением того, что первый аргумент и возвращаемое значение являются битовыми строками.

Выражение длины возвращает длину заданной битовой строки в октетах или битах в зависимости от выбранной функции.

Выражение позиции определяет первую позицию в битовой строке S, с которой в нее входит строка S1. Если строка S1 не входит в строку S, возвращается значение нуль.

Численные типы SQL/92 не отличаются от аналогичных типов SQL/89 за исключением того, что они более точно и подробно определяются в новом стандарте.

Численные выражения

Численное выражение - это выражение, значение которого относится к числовому типу данных. По сути дела, численные выражения SQL/92 являются не очень большим расширением арифметических выражений SQL/89. Вот формальный синтаксис численного выражения:
::= | | ::= | | ::= [ ] ::= |
Пояснения: Следует обратить внимание на то, что в отличие от SQL/89 в численных выражениях SQL/92 первичная составляющая является либо первичным численным выражением (см. выше), либо вызовом функции с численным значением. Из этого, в частности, следует, что в численные выражения могут входить выражения с переключателем и операторы преобразования типов.
Функция с численным значением определяется следующими синтаксическими правилами:
::= | | ::= POSITION IN ::= | | ::= { CHAR_LENGTH | CHARACTER_LENGTH } ::= OCTET_LENGTH ::= BIT_LENGTH ::= EXTRACT FROM ::= | ::= T IMEZONE_HOUR |TIMEZONE_MINUTE ::= |
Пояснения: Что касается выражений позиции и длины по отношению к символьным и битовым строкам, мы достаточно подробно обсуждали их при рассмотрении соответствующих типов данных; здесь приводится только уточненный синтаксис. Выражение извлечения поля из значений дата-время или интервал позволяет получить в виде точного числа с масштабом 0 значение любого поля (года, месяца, дня и т.д.). Какой конкретный тип точных чисел будет выбран - определяется в реализации.

Динамический SQL

Описанный в стандарте SQL/89 набор операторов SQL предназначен для встраивания в программу на обычном языке программирования. Поэтому в этом наборе перемешаны операторы "истинного" реляционного языка запросов (например, оператор удаления из таблицы части строк, удовлетворяющих заданному значению) и операторы работы с курсорами, позволяющими обеспечить построчный доступ к таблице-результату запроса.
Понятно, что в диалоговом режиме набор операторов SQL и их синтаксис должен быть несколько другим. Весь вопрос состоит в том, как реализовывать такую диалоговую программу. Правила встраивания SQL/89 в программу на обычном языке программирования предусматривают, что вся информация, касающаяся операторов SQL, известна в статике (за исключением значений переменных, используемых в качестве констант в операторах SQL). Не предусмотрены стандартные средства компиляции с последующим выполнением операторов, которые становятся известными только во время выполнения (например, вводятся с терминала). Поэтому, опираясь только на стандарт SQL/89, невозможно реализовать диалоговый монитор взаимодействия с БД на языке SQL или другую прикладную программу, в которой текст операторов SQL возникает во время выполнения, т.е. фактически так или иначе стандарт необходимо было расширять.
Один из возможных путей расширения состоит в использовании специальной группы операторов, обеспечивающих динамическую компиляцию (во время выполнения прикладной программы) базового подмножества операторов SQL и поддерживающих их корректное выполнение. В стандарте SQL/92 появилась стандартная версия динамического SQL. Полное описание динамического SQL очень громоздко. Тем не менее, мы считаем полезным привести сводку операторов динамического SQL с небольшими пояснениями, чтобы ее можно использовать хотя бы в качестве эталона при сравнении различных реализаций.
3.11.1. Оператор выделения памяти под дескриптор
::= LLOCATE DESCRIPTOR [WITH MAX ] ::= ::= (] scope option> ::= GLOBAL | LOCAL ::= parameter name> ( (

Пояснения:

Дескриптор - это динамически выделяемая часть памяти прикладной программы, служащая для принятия информации о результате или параметрах динамически подготовленного оператора SQL или задания параметров такого оператора. Смысл того, что для выделения памяти используется оператор SQL, а не просто стандартная функция alloc или какая-нибудь другая функция динамического запроса памяти, состоит в том, что прикладная программа не знает структуры дескриптора и даже его адреса. Это позволяет не привязывать SQL к особенностям какой-либо системы программирования или ОС. Весь обмен информацией между собственно прикладной программой и дескрипторами производятся также с помощью специальных операторов SQL (GET и SET, см. ниже).

Второй вопрос: зачем вообще выделять память под дескрипторы динамически? Это нужно потому, что в общем случае прикладная программа, использующая динамический SQL, не знает в статике число одновременно действующих динамических операторов SQL, описание которых может потребоваться. С этим же связано то, что имя дескриптора может задаваться как литеральной строкой символов, так и через строковую переменную включающего языка, т.е. его можно генерировать во время выполнения программы.

В операторе ALLOCATEDESCRIPTOR, помимо прочего, может указываться число описательных элементов, на которое он рассчитан. Если, например, при выделении памяти под дескриптор в разделе WITHMAX указано целое положительное число N, а потом дескриптор ис пользуется для описания M (M>N) элементов (например, M столбцов результата запроса), то это приводит к возникновению исключительной ситуации.

Домен CARDINAL_NUMBER

Домен содержит неотрицательные целые числа. Его определение:
CREATE DOMAIN CARDINAL_NUMBER AS INTEGER CONSTRAINT CARDINAL_NUMBER_DOMAIN_CHECK CHECK (VALUE >= 0)
Пояснение: целые числа, входящие в этот домен, не превышают определяемого в реализации максимально допустимого значения целого числа (определяемого в реализации значения NUMERIC_PRECISION_RADIX в степени определяемого в реализации значения NUMERIC_PRECISION).

Домен CHARACTER_DATA

Этот домен содержит все символьные данные. Определение выглядит следующим образом:
CREATE DOMAIN CHARACTER_DATA AS CHARACTER VARYING (ML) CHARACTER SET SQL_TEXT
Пояснение: ML обозначает определяемую в реализации максимально допустимую длину строки переменной длины.

Домен SQL_IDENTIFIER

В этом домене содержатся все допустимые идентификаты. Домен определяется следующим образом:
CREATE DOMAIN SQL_IDENTIFIER AS CHARACTER VARYING (L) CHARACTER SET SQL_TEXT
Пояснения:

Домен специфицирует все символьные строки переменного размера, которые соответствуют правилам формирования SQL-идентификатора; средствами SQL невозможно определить ограничение домена, которое было бы истинно для допустимых идентификаторов и ложно для других значений.

L обозначает определяемую в реализации максимально допустимую длину идентификатора.

Домены, столбцы, таблицы, ограничения целостности

Домен является определенным и именованным в схеме множеством допустимых значений данного типа. Назначение домена состоит в том, чтобы ограничить множество значений связанного с ним типа, которые могут храниться в базе данных.
При определении домена указываются базовый тип данных и так называемое ограничение домена, которое ограничивает множество значений домена. Кроме того, специфицируется раздел умолчания с указанием значения домена, которое должно в дальнейшем использоваться как значение по умолчанию для любого столбца, определенного на этом домене, если только при определении столбца значение по умолчанию не задано явно.
Столбец - это именованное мультимножество значений, которое может изменяться во времени. Все значения одного столбца относятся к одному типу данных или домену и являются значениями одной таблицы. Значение столбца - минимальный элемент данных, который может быть выбран из таблицы, и минимальный элемент данных, который может модифицироваться.
Для каждого столбца при его определении задается специальная характеристика, ограничивающая или допускающая появление в нем неопределенных значений. Попытка поместить неопределенное значение в столбец, для которого они запрещены, воспринимается как ошибка. Пусть C - имя столбца. В столбце С не могут быть разрешены неопределенные значения в любом из следующих трех случаев: (1) для содержащей его таблицы определено хотя бы одно неоткладываемое ограничение целостности с условием поиска, включающем С ISNOTNULL; (2) столбец определен на домене с неоткладываемым ограничением, содержащем фразу VALUESNOTNULL; (3) для столбца определено неоткладываемое ограничение уникальности, специфицирующее столбец как первичный ключ. Во всех остальных случаях в столбце могут быть разрешены неопределенные значения.
Таблица - это мультимножество строк. Строка - непустая последовательность значений. Каждая строка таблицы имеет одну и ту же мощность и содержит значения каждого столбца таблицы. i-тое значение каждой строки таблицы является значением ее i-того столбца. Строка является наименьшей единицей данных, которую можно вставить в таблицу и удалить из нее.
Степень таблицы - это число ее столбцов. В любой момент времени степень таблицы совпадает с мощностью любой из входящих в нее строк, а мощность таблицы совпадает с мощностью любого из ее столбцов. Пустой таблицей называется таблица с мощностью 0.
Таблица может быть базовой, представляемой или порождаемой. Базовая таблица может быть постоянно хранимой, глобальной временной, создаваемой локальной временной или объявляемой локальной временной. Постоянная базовая таблица - это именованная таблица, в определении которой не указано TEMPORARY.
Порождаемая таблица - таблица, прямо или косвенно порождаемая из одной или более других таблиц путем вычисления выражения запроса. Значения порождаемой таблицы порождаются из значений определяющих таблиц при вычислении выражения запроса.
Представляемая таблица - это именованная порождаемая таблица, определенная с помощью конструкции определения представления. Иногда представляемые таблицы называют просто представлениями.
Все базовые таблицы являются обновляемыми. Порожденные таблицы - либо обновляемые, либо только читаемые.
Глобальная временная таблица - именованная таблица, в определении которой указано GLOBALTEMPORARY. Создаваемая локальная временная таблица - именованная таблица, в определении которой указано LOCALTEMPORARY. Глобальные и создаваемые временные таблицы реально материализуются (т.е. начинают занимать память) только при обращении к ним в SQL-сессии, причем для локальных временных таблиц создаются отдельные экземпляры для каждого модуля, участвующего в сессии.
Объявляемая локальная временная таблица - именованная локальная таблица, которая реально материализуется при первом выполнении любой процедуры в модуле, содержащем объявление временной таблицы, и доступна только процедурам этого модуля. Образ такой таблицы во внешней памяти не сохраняется после конца SQL-сессии, в которой эта таблица была материализована.
Ограничения целостности, обычно называемые просто ограничениями, определяют допустимые состояния базы данных, ограничивая возможные значения базовых таблиц. Ограничение - это либо ограничение таблицы, либо ограничение домена, либо утверждение целостности. Для каждого ограничения известно его имя, откладываемое ли оно, является ли начальный режим ограничения откладываемым или же немедленным.
Выражение запроса или спецификация запроса является возможно недетерминированным, если реализация может в два разных момента времени при одном и том же состоянии базы данных произвести результаты, различающиеся не только порядком строк. Никакое ограничение целостности не должно использовать недетерминированные выражения или спецификации запроса.
Каждое ограничение может быть либо откладываемым, либо неоткладываемым. Внутри транзакции для каждого ограничения существует режим. Если ограничение неоткладываемое, то его режим всегда немедленный, в противном случае режим либо немедленный, либо отложенный. Для каждого ограничения имеется начальный режим, который указывает, каким должен быть режим при начале транзакции и немедленно сразу после определения ограничения. Если ограничение является откладываемым, то его режим может быть изменен (с немедленного на отложенный или наоборот) путем выполнения оператора установки режима ограничения.
Проверка ограничения производится в зависимости от его режима в текущей транзакции. Если режим немедленный, то ограничение проверяется в конце каждого оператора. Если режим отложенный, то ограничение проверяется либо при изменении режима на немедленный, либо в конце текущей транзакции.
Когда ограничение проверяется не в конце транзакции и не удовлетворяется, то возбуждается исключительная ситуация, и SQL-оператор, вызвавший проверку ограничения, не производит никакого действия, кроме занесения соответствующей информации в область диагностики. При завершении транзакции (выполнении оператора COMMIT) фактически проверяются все ограничения; если какое-либо ограничение не удовлетворяется, транзакция завершается откатом (неявным выполнением оператора ROLLBACK).
Мы опустим описание табличных ограничений, поскольку они мало отличаются от того, что было в SQL/89, а на незначительных отличиях мы остановимся при рассмотрении средств определения схемы базы данных.
Ограничение домена применяется ко всем столбцам, определенным на данном домене, и ко всем значениям, преобразуемым к этому домену. Ограничение домена содержит условие поиска и удовлетворяется в том и только в том случае, когда для любой таблицы T, которая содержит столбец C, основанный на этом домене, условие поиска с заменой каждого вхождения VALUE на C не является ложным для каждой строки T. Ограничение домена удовлетворяется результатом операции преобразования в том и только в том случае, когда условие поиска с заменой каждого вхождения VALUE на этот результат не является ложным.
Ограничение целостности - это именованное ограничение, которое может относиться к содержимому отдельных строк таблицы, ко всему содержимому таблицы или к состоянию, которым должен обладать набор таблиц. Ограничение целостности содержит условие поиска и удовлетворяется в том и только в том случае, когда это условие поиска не является ложным.

Допустимые предикаты и условия поиска

Внешне предикаты, которые можно использовать в условиях поиска SQL/92, очень похожи на предикаты SQL/89. Но, во-первых, ассортимент допустимых предикатов расширен, а во-вторых, возможности задания условий "старых" предикатов стали существенно шире. Поэтому мы перечислим все возможные предикаты с приведением их синтаксиса и кратких пояснений. В конце раздела будут приведены правила формулировки и семантика условий поиска.
Предикат позволяет специфицировать условие, результатом вычисления которого может быть true, false или unknown. В языке SQL/92 допустимы следующие предикаты:
::= | | | | | | | | |
3.4.1. Предикат сравнения
В SQL/92 этот предикат предназначен для спецификации сравнения двух строчных значений. Синтаксис предиката следующий:
::= ::= | | | | |
Пояснения:

Строки-операнды должны быть одинаковой степени.

Типы данных соответствующих значений строк-операндов должны быть совместимы.

Пусть X и Y обозначают соответствующие элементы строк-операндов, а XV и YV - их значения
(a) если XV и/или YV являются неопределенными значениями, то значение условия "X Y" есть unknown;

(b) если XV и YV не являются неопределенными значениями, то значением условия "X Y" является true или false в соответствии с естественными правилами применения операции сравнения.

Числа сравниваются в соответствии с алгебраическими значениями.

Сравнение двух текстовых строк производится следующим образом:

(a) если длина в символах строки X не равна длине строки Y, то для выравнивания длин строк более короткая строка расширяется символом набивки (padsymbol); если не используется явно специфицируемый порядок сортировки для используемого набора символов, то в качестве символа набивки используется пробел;

(b) далее производится лексикографическое сравнение строк в соответствии с предопределенным или явно определенным порядком сортировки символов.

Сравнение двух битовых строк X и Y основано на сравнении соответствующих бит. Если Xi и Yi - значения i-тых бит X и Y соответственно и если LX и LY обозначает длину в битах X и Y соответственно, то

(a) X равно Y тогда и только тогда, когда LX = LY и Xi = Yi для всех i;

(b) X меньше Y тогда и только тогда, когда

(i) LX < LY и Xi = Yi для всех i меньших или равных LX, или

(ii) Xi = Yi для всех i < n и Xn = 0, а Yn =1 для некоторого n меньшего или равного min (LX,LY).

Сравнение двух значений типа дата-время производится в соответствии с видом интервала, получающегося при вычитании второго значения из первого. Пусть X и Y - сравниваемые значения, а H - наименее значимое поле даты-времени X и Y. Результат сравнения X Y определяется как (X - Y) H INTERVAL (0) H. (Два значения типа дата-время сравнимы только в том случае, если они содержат одинаковый набор полей даты-времени.)

Пусть Rx и Ry обозначают строки-операнды, а RXi и RXi - i-тые элементы Rx и Ry соответственно. Результат сравнения "Rx Ry" определяется следующим образом:

(a) "Rx = Ry" есть true тогда и только тогда, когда RXi = RYi для всех i;

(b) "Rx <> Ry" есть true тогда и только тогда, когда RXi <> RYi для некоторого i;

(c) "Rx < Ry" есть true тогда и только тогда, когда RXi = RYi для всех i < n, и RXn < RYn для некоторого n;

(d) "Rx > Ry" есть true тогда и только тогда, когда RXi = RYi для всех i < n, и RXn > RYn для некоторого n;

(e) "Rx <= Ry" есть true тогда и только тогда, когда Rx = Ry или Rx < Ry;

(f) "Rx >= Ry" есть true тогда и только тогда, когда Rx = Ry или Rx > Ry;

(g) "Rx = Ry" есть false тогда и только тогда, когда "Rx <> Ry" есть true.

(h) "Rx <> Ry" есть false тогда и только тогда, когда "Rx = Ry" есть true.

(i) "Rx < Ry" есть false тогда и только тогда, когда "Rx >= Ry" есть true.

(j) "Rx > Ry" есть false тогда и только тогда, когда "Rx <= Ry" есть true.

(k) "Rx <= Ry" есть false тогда и только тогда, когда "Rx > Ry" есть true.

(l) "Rx >= Ry" есть false тогда и только тогда, когда "Rx < Ry" есть true.

(m) "Rx Ry" есть unknown тогда и только тогда, когда "Rx Ry" не есть true или false.

Информационная схема и каталоги базы данных

Информационная схема (InformationSchema) содержит описание структуры базы данных в виде набора представлений, определенных над базовыми таблицами, которые в свою очередь определены в отдельной схеме определений (DefinitionSchema). Единственное назначение схемы определений состоит в том, чтобы обеспечить модель для поддержки информационной схемы и облегчить ее понимание. От реализации требуется не более того, как моделировать существование схемы определений, чтобы можно было поддерживать представления информационной схемы.
Таблицы информационной схемы определяются как содержащиеся в схеме с именем INFORMATION_SCHEMA. Эти таблицы доступны пользователям как любые другие таблицы в любой другой схеме. Привилегия SELECT для всех этих представлений предоставлена PUBLIC с правом передачи привилегии. В результате любой пользователь может адресовать представлениям информационной схемы свои запросы и разрешать или запрещать другим пользователям доступ к представлениям, определенным на основе представлений информационной схемы. Другие привилегии на эти представления не передаются, поэтому пользователи не могут выполнять над ними операции обновления. Кроме того, информационная схема содержит определения ряда доменов, использование которых с правом передачи привилегии на использование доступно всем пользователям.
В реализации могут определяться дополнительные объекты информационной схемы, а также к определенным с стандарте представлениям могут добавляться столбцы.
Базовые таблицы, на которых основаны представления информационной схемы, определяются как содержащиеся в схеме с именем DEFINITION_SCHEMA. К объектам схемы определений нельзя адресовать операторы SQL. Поэтому в этом разделе мы перечислим и кратко поясним только объекты информационной схемы. Этого достаточно для того, чтобы оценить стандартность реализации.
3.13.1. Информационная схема
Определение информационной схемы выглядит следующим образом:
CREATE SCHEMA INFORMATION_SCHEMA AUTHORIZATION INFORMATION_SCHEMA

История языка SQL

История наиболее распространенного в настоящее время языка реляционных баз данных SQL насчитывает уже более 25 лет. Первый, достаточно полный функционально, но не полностью синтаксически и семантически определенный вариант языка SQL (его исходным названием было SEQUEL - StructuredEnglishQueryLanguage) был разработан и частично реализован в рамках проекта экспериментальной реляционной СУБД SystemR (проект выполнялся с 1974 по 1979 гг. в научно-исследовательской лаборатории компании IBM в г. Сан-Хосе, Калифорния).
Название языка SQL (StructuredQueryLanguage - структурированный язык запросов) только частично отражает его суть. Конечно, язык всегда был главным образом ориентирован на удобную и понятную пользователям формулировку запросов к реляционной БД, но на самом деле с самого начала задумывался как полный язык БД. Под этим мы понимаем то, что (по крайней мере, теоретически) знание SQL полностью достаточно для выполнения любых осмысленных действий с базой данных, управляемой SQL-ориентированной СУБД. Помимо операторов формулирования запросов и манипулирования БД язык содержит:

средства определения схемы БД и манипулирования схемой;

операторы для определения ограничений целостности и триггеров;

средства определения представлений БД;

средства авторизации доступа к отношениям и их полям;

средства управления транзакциями.

Другими словами, язык SQL претендует на то, что он способен полностью представить реляционную модель данных, т.е. его средств достаточно для представления всех аспектов реляционных баз данных в терминах Кодда. (Сразу заметим, что с этим утверждением многие несогласны, полагая, что некоторые возможности SQL расширяют классическую реляционную модель, а некоторые другие возможности - ее ограничивают.)
Вместе с тем, несмотря на многолетнюю историю языка, для многих начинающих пользователей современных реляционных СУБД (включая разработчиков информационных систем) подчас трудно понять, можно ли говорить о языке SQL как таковом (в том смысле, в котором можно говорить о языках программирования Си или Паскаль, не привязываясь к их конкретной реализации) или же существует столько разнообразных вариантов SQL, сколько имеется разных SQL-ориентированных СУБД. Нужно сказать, что этот вопрос остается трудным, и ответить на него полностью однозначно не удается. Действительно, сегодня, видимо, невозможно найти две реализации, в которых диалекты SQL полностью бы совпадали.
Но на самом деле то же относится и к разным реализациям языков программирования (сравните, например, реализационные диалекты языка Си компиляторов Borland и GCC). Важно другое. Существует международный стандарт языка Си (ANSI/ISOC), который должен поддерживаться в любом компиляторе, претендующем на совместимость со стандартом (хотя реализационный диалект языка может содержать существенные расширения). Именно наличие стандарта языка Си в совокупности с другими стандартами Открытых Систем обеспечивает возможность создания легко переносимых прикладных (и иногда и системных) программ.
После появления в 1989 г. первого международного стандарта языка SQL (SQL-89) и, в особенности, после принятия в 1992 г. второго международного стандарта SQL-92 стало возможным говорить про стандартную среду SQL-ориентированной СУБД. Для грамотного использования любой SQL-ориентированной реляционной СУБД знание стандартов языка кажется необходимым.

Изменение схемы таблицы

Добавьте к таблице my_libn столбец с именем added типа char(5) со значением по умолчанию 'empty'.
Вставьте в таблицу еще две строки, одна из которых содержит значение столбца added, а другая - нет. Просмотрите содержимое таблицы. Просмотрите содержимое представления.

Язык баз данных SQL/

Как уже отмечалось во введении, стандарт языка баз данных SQL/89 стал первым международно принятым стандартом языка SQL. У этого языка имеется масса недостатков: многие важные понятия не определены, много отдано на откуп реализациям и т.д., но тем не менее этот стандарт сыграл свою роль в становлении действительно стандартизованных реляционных систем управления базами данных (и, на самом деле, значимость SQL/89 сохраняется и сегодня, поскольку большинство производителей современных СУБД поддерживает именно этот стандарт). Более того, с появлением стандарта SQL/89 стало реально возможно проектировать, разрабатывать и сопровождать информационные системы, не слишком привязанные к конкретному производителю СУБД. В некотором смысле появление SQL/89 явилось продвижением технологии баз данных в сторону открытых систем (мобильность, интероперабельность и т.д.).

Стандарт имеет следующую структуру:

Раздел 1: "Область применения";

Раздел 2: "Нормативные ссылки" - перечень дополнительных стандартов;

Раздел 3: "Определения, обозначения и соглашения";

Раздел 4: "Понятия" - базовые понятия, используемые при определении языка;

Раздел 5: "Лексические элементы";

Раздел 6: "Скалярные выражения" - определение элементов языка, производящих скалярные значения;

Раздел 7: "Выражения запросов" - определение элементов языка, производящих строки и таблицы данных;

Раздел 8: "Предикаты";

Раздел 9: "Правила присваивания данных" - правила, определяющие порядок выборки данных из базы данных или сохранения данных в базе данных, и правила формирования операций над множествами;

Раздел 10: "Дополнительные общие элементы" - дополнительные общие языковые элементы, используемые в разных частях языка;

Раздел 11: "Определение схемы и манипулирование схемой" - определение средств создания схемы и управления схемой;

Раздел 12: "Модуль" - определение модулей и процедур;

Раздел 13: "Манипулирование данными" - определение операторов манипулирования данными;

Раздел 14: "Управление транзакциями";

Раздел 15: "Управление подключениями";

Раздел 16: "Управление сессиями";

Раздел17: "Динамический SQL" - определение средств, предназначенных для динамического выполнения операторов SQL;

Раздел 18: "Управление диагностикой"

Раздел 19: "Встроенный SQL" - определение синтаксиса встраивания SQL в некоторые стандартные языки программирования;

Раздел 20: "Прямой вызов SQL" - определение подмножества SQL/92, которое может использоваться в режиме прямого вызова;

Раздел21: "Информационная схема и схема определений" - определение представляемых таблиц, содержащих информацию о схеме;

Раздел22: "Коды статуса" - определение значений, идентифицирующих статус завершения SQL-операторов, и механизмов, посредством которых эти значения возвращаются;

Раздел 23: "Соответствие" - определение критериев соответствия языку SQL/92;

Далее следует набор приложений, которые не являются частью стандарта, а предназначены только для информирования пользователей и разработчиков.

Приложение A: "Уровни языка SQL" - перечисление правил, определяющих подмножества вводного SQL (EntrySQL) и промежуточного SQL (IntermediateSQL) стандарта SQL/92;

Приложение B: "Элементы, определяемые в реализации" - перечисление средств, для которых в стандарте установлено, что синтаксис, или смысл, или результат воздействия на базу данных частично или полностью определяется в реализации, и описание определяющей информации, которая должна быть обеспечена в реализации для каждого случая;

Приложение C: "Элементы, зависимые от реализации" - перечисление средств, для которых в стандарте явно установлено, что их смысл или результат воздействия на базу данных зависит от реализации;

Приложение D: "Неодобряемые свойства" - перечисление свойств, которые разработчики стандарта не хотели бы видеть в его следующей версии;

Приложение E: "Несовместимости с SQL/89" - перечисление несовместимостей между SQL/92 и SQL/89;

Приложение F: "Поддержка и интерпретация SQL" - разъясняются интерпретации SQL и коррективы, которые были внесены после принятия SQL/89.

В следующих разделах мы обсудим наиболее важные, с нашей точки зрения, свойства SQL/92. Это не будет полный пересказ стандарта, поскольку, во-первых, он имеет слишком большой объем, а во-вторых, многие важные в практических целях средства не отличаются от средств ранее рассмотренного стандарта SQL/89. Поэтому в основном мы будем говорить о дополнительных средствах SQL/92, отличающих этот стандарт от SQL/89.

Язык модулей и встроенный SQL

В стандарте SQL/89 определены два способа взаимодействия с БД из прикладной программы, написанной на традиционном языке программирования (как мы уже упоминали, SQL/89 ориентирован на использование совместно с языками Кобол, Фортран, Паскаль и ПЛ/1, но в реализациях обычно поддерживается и язык Си). Первый способ состоит в том, что все операторы SQL, с которыми может работать данная прикладная программа, собраны в один модуль и оформлены как процедуры этого модуля. Для этого SQL/89 содержит специальный подъязык - язык модулей. При использовании такого способа взаимодействия с БД прикладная программа содержит вызовы процедур модуля SQL с передачей им фактических параметров и получением ответных параметров.
Второй способ состоит в использовании так называемого встроенного SQL, когда с использованием специального синтаксиса в программу на традиционном языке программирования встраиваются операторы SQL. В этом случае с точки зрения прикладной программы оператор SQL выполняется "по месту". Явная параметризация операторов SQL отсутствует, но во встроенных операторах SQL могут использоваться имена переменных основной программы, и за счет этого обеспечивается связь между прикладной программой и СУБД.
Концептуально эти два способа эквивалентны. Более того, в стандарте устанавливаются правила порождения неявного модуля SQL по программе со встроенным SQL. Однако в большинстве реализаций операторы SQL, содержащиеся в модуле SQL, и встроенные операторы SQL обрабатываются существенно по-разному. Модуль SQL обычно компилируется отдельно от прикладной программы, в результате чего порождается набор так называемых хранимых процедур (в стандарте этот термин не используется, но распространен в коммерческих реализациях). Т.е. в случае использования модуля SQL компиляция операторов SQL производится один раз, и затем соответствующие процедуры сколько угодно раз могут вызываться из прикладной программы.
В отличие от этого, для операторов SQL, встроенных в прикладную программу, компиляция этих операторов обычно производится каждый раз при их использовании (правильнее сказать, при каждом первом использовании оператора при данном запуске прикладной программы).
Конечно, пользователи не обязаны знать об этом техническом различии в обработке двух видов взаимодействия с СУБД. Существуют и такие системы, которые производят одноразовую компиляцию встроенных операторов SQL и сохраняют откомпилированный код (например, СУБД семейства DB2 компании IBM). Но все-таки лучше иметь это в виду.
Приведем некоторые соображения за и против каждого из этих двух способов. При использовании языка модулей текст прикладной программы имеет меньший размер, взаимодействия с СУБД более локализованы за счет наличия явных параметров вызова процедур. С другой стороны, для понимания смысла поведения прикладной программы потребуется одновременное чтение двух текстов. Кроме того, как кажется, синтаксис модуля SQL может существенно различаться в разных реализациях. Встроенный SQL предоставляет возможность производства более "самосодержащихся" прикладных программ. Имеется больше оснований рассчитывать на простоту переноса такой программы в среду другой СУБД, поскольку стандарт встраивания более или менее соблюдается. Основным недостатком является некоторый PL-подобный вид таких программ, независимо от выбранного основного языка. И конечно, нужно учитывать замечания, содержащиеся в предыдущих абзацах.
Далее мы коротко опишем язык модулей и правила встраивания в соответствии со стандартом SQL/89 (еще раз заметим, что формально правила встраивания не являются частью стандарта).

2.5.1. Язык модулей

Структура модуля SQL в стандарте SQL/89 определяется следующими синтаксическими правилами:

::= [...] < procedure > ... ::= MODULE [] ::= LANGUAGE { COBOL FORTRAN PASCAL PLI } ::= AUTHORIZATION ::=

Существенно, что каждый модуль SQL ориентирован на использование в программах, написанных на конкретном языке программирования. Если в модуле присутствуют процедуры работы с курсорами, то все курсоры должны быть специфицированы в начале модуля. Заметим, что объявление курсора не погружается в какую-либо процедуру, поскольку это описательный, а не выполняемый оператор SQL.

Этапы стандартизации SQL

Работа по стандартизации языка SQL началась практически одновременно с появлением первых его коммерческих реализаций. В качестве стандарта нельзя было использовать SQLSystemR. Этот вариант языка не был должным образом технически проработан и, кроме того, его слишком сложно было бы реализовать. С другой стороны, первые коммерческие реализации языка настолько различались, что ни один из реализованных диалектов не имел шансов быть принятым в качестве стандарта. В частности, это относится и к первому корпоративному стандарту языка, принятому компанией IBM.
Принятый в 1989 г. [ISO89] Международный Стандарт SQL (SQL/89) во многих частях имеет чрезвычайно общий характер и допускает очень широкое толкование. В этом стандарте полностью отсутствуют такие разделы как манипулирование схемой БД и динамический SQL. Многие существенные аспекты языка в соответствии со стандартом определяются в реализации.
Поэтому на фоне завершения разработки этого стандарта была начата работа над стандартом SQL2. Она также длилась несколько лет, пока, наконец, в марте 1992г. не был выработан окончательный проект стандарта [ISO92] (теперь его принято называть SQL/92). Этот стандарт существенно более полный и охватывает практически все необходимые для реализации аспекты: манипулирование схемой БД, управление транзакциями и сессиями (сессия - это последовательность транзакций, в пределах которой сохраняются временные отношения), подключение к БД, динамический SQL. Cтандартизованы также отношения-каталоги БД, которые хотя и не связаны с языком непосредственно, но сильно влияют на реализацию.
Одновременно с завершением работ по определению стандарта SQL2 была начата разработка стандарта SQL3. Предполагается, что SQL3 будет содержать механизм триггеров и возможность использования абстрактных типов данных. Принятие стандарта планируется в 1999 г.

Манипулирование данными

Как и в языке SQL/89, в SQL/92 определены два набора операторов манипулирования данных. Операторы первого набора связаны с курсором, и для них осмысленно использование только в режиме встраивания в некоторый традиционный язык программирования. Операторы второго набора предназначены для индивидуального использования и могут применяться как в режиме встраивания, так и в интерактивном режиме. Общие идеи организации обоих наборов операторов манипулирования данными в SQL/92 не изменились, но их возможности существенно расширены. Поэтому в основном мы будем останавливаться на расширениях, не обсуждая подробно всю схему выполнения операторов.
3.6.1. Операторы, связанные с курсором
Для объявления курсора используется конструкция, определяемая следующими синтаксическими правилами:
::= DECLARE [ INSENSITIVE ] [ SCROLL ] CURSOR FOR ::= [ ] [ ] ::= FOR { READ ONLY | UPDATE [ OF ] } ::= ORDER BY ::= [ { }... ] ::= [ ] [ ] ::= ::= ASC DESC
Пояснения:

Пусть T обозначает таблицу, получаемую при вычислении выражения запроса, которое входит в спецификацию курсора.

Если раздел обновляемости курсора (updatabilityclause) не специфицирован, то
(a) если спецификация курсора содержит ключевые слова INSENSITIVE, SCROLL или ORDERBY или если T является только читаемой таблицей, то по умолчанию предполагается задание раздела обновляемости с ключевым словом READONLY;

(b) в противном случае неявно предполагается указание раздела обновляемости с ключевым словом FORUPDATE и без списка имен столбцов (т.е. предполагается, что изменения могут относиться ко всем столбцам T).

Если T является обновляемой таблицей, то пусть TU обозначает базовую таблицу, на которой в конечном счете базируется вычисление выражения запроса.

Если в спецификации сортировки содержится раздел задания порядка сортировки (collateclause), то столбец сортировки должен иметь тип данных символьных строк.

Если специфицирован раздел обновляемости с FORUPDATE и явным или неявным указанием списка имен столбцов, то таблица T должна быть обновляемой, и спецификация курсора не должна содержать ключевого слова INSENSITIVE.

Если раздел обновляемости с FORUPDATE без списка имен столбцов специфицирован или неявно подразумевается, то по умолчанию предполагается наличие списка имен столбцов, включающего имена каждого столбца TU.

Если специфицирован раздел обновляемости с FORUPDATE со списком имен столбцов, каждое имя в этом списке должно быть именем столбца TU.

Если T является обновляемой таблицей, то для каждой строки T, существует в точности одна соответствующая строка TU, из которой порождена эта строка T.

Спецификация INSENSITIVE означает, что после открытия курсора изменения, производимые в той же транзакции над строками таблицы TU, не должны оказывать влияния на состояние таблицы T; спецификация SCROLL означает, что после открытия курсора разрешается произвольное изменение его позиции.

Оператор открытия курсора определяется следующим синтаксическим правилом:

::= OPEN

Пояснения:

Пусть S обозначает спецификацию открываемого курсора.

При выполнении оператора открытия курсора выполняются следующие действия:

(a) создается копия S, и в ней все вхождения спецификации цели (имена параметров или внешних переменных) заменяются на соответствующие значения, а также символические константы и вызовы функций даты времени заменяются на соответствующие текущие значения;

(b) пусть T обозначает таблицу, специфицированную копией S;

(c) создается описатель этой таблицы и заполняется в соответствии с особенностями спецификации курсора;

(d) если S содержит INSENSITIVE, то создается копия T, курсор переводится в открытое состояние, и его позиция устанавливается перед первой строкой копии T;

(e) в противном случае курсор переводится в открытое состояние, и его позиция устанавливается перед первой строкой T.

Оператор выборки по курсору определяется следующими синтаксическими правилами:

::= FETCH [ [ ] FROM ] INTO ::= NEXT |PRIOR |FIRST |LAST { ABSOLUTE | RELATIVE } ::= [ { }... ]

Пояснения:

Если отсутствует указание ориентации чтения (fetchorientation), неявно предполагается наличие ориентации NEXT.

Если неявная или явная ориентация отличается от NEXT, то в объявлении курсора должна присутствовать спецификация SCROLL.

Если в указании ориентации чтения присутствует спецификация простого значения, то тип данных этого значения должен быть типом точных чисел с масштабом 0.

Определим J следующим образом:

(a) если в указании ориентации чтения содержится спецификация простого значения, то пусть J равняется этому значению;

(b) если в указании ориентации присутствует NEXT или FIRST, то пусть J равняется +1;

(c) если в указании ориентации присутствует PRIOR или LAST, то пусть J равняется -1.

Пусть Tt обозначает таблицу той же степени, что таблица T, соответствующая результату спецификации курсора; тогда

(a) если в указании ориентации присутствует ABSOLUTE, FIRST или LAST, то пусть Ttсодержит все строки T с сохранением их порядка;

(b) если в указании ориентации присутствует NEXT или RELATIVE с положительным значением J, то

(i) если таблица T пуста или если позиция курсора установлена на последнюю строку T или за ней, то пусть Tt будет пустой таблицей;

(ii) если позиция курсора установлена на строку R, не являющуюся последней строкой T, то пусть Tt содержит все строки T, стоящие по порядку за R, с сохранением их порядка в T;

(iii) если позиция курсора установлена перед строкой R, то пусть Tt содержит строку R и все строки T, стоящие по порядку за R, с сохранением их порядка в T;

(c) если в указании ориентации присутствует PRIOR или RELATIVE с отрицательным значением J, то

(i) если таблица T пуста или если позиция курсора установлена на первую строку T или перед ней, то пусть Tt будет пустой таблицей;

(ii) если позиция курсора установлена на строку R, не являющуюся первой строкой T, то пусть Tt содержит все строки T, стоящие по порядку перед R, с сохранением их порядка в T;

(iii) если позиция курсора установлена перед строкой, следующей по порядку за R, то пусть Tt содержит строку R и все строки T, стоящие по порядку перед R, с сохранением их порядка в T;

(iv) если позиция курсора установлена после последней строки T, то пусть Tt содержит все строки T с сохранением их порядка.

(d) если специфицировано RELATIVE с нулевым значением J, то

(i) если позиция курсора установлена на строку таблицы T, то пусть Tt включает одну эту строку;

(ii) в противном случае, пусть Tt будет пустой таблицей.

Пусть N обозначает число строк в Tt. Если J положительно, то пусть K равняется J. Если J отрицательно, то пусть K равняется N+J+1. Если J равно нулю, и специфицировано ABSOLUTE, то пусть K равняется нулю; если же J равно нулю, и специфицировано RELATIVE, то пусть K равняется 1.

Операция чтения выполняется следующим образом:

(a) если K больше нуля и не больше N, то курсор позиционируется на K-тую строку Tt и соответствующую строку T; эта строка становится текущей строкой курсора;

(b) В противном случае целям, указанным в списке целей чтения, не присваиваются никакие значения и вырабатывается условие завершения "нет данных"; при этом

(i) если специфицирована ориентация RELATIVE с нулевым значением J, то позиция курсора не меняется;

(ii) если явно или неявно специфицирована ориентация NEXT, либо специфицирована ориентация ABSOLUTE или RELATIVE с K, большим чем N, либо специфицирована ориентация LAST, то курсор позиционируется за последней строкой;

(iii) в противном случае, курсор позиционируется перед первой строкой.

Оператор позиционного удаления имеет тот же синтаксис, что и соответствующий оператор языка SQL/89:

::= DELETE FROM WHERE CURRENT OF

В принципе, оператор и выполняется так же, как предписано в SQL/89, однако в стандарте SQL/92 приводятся некоторые уточнения поведения оператора:

Если текущая транзакция имеет режим доступа "только чтение" и таблица, из которой удаляется кортеж не является временной, то возбуждается исключительное условие.

Текущая строка помечается для удаления.

Если оказалось, что помечаемая строка уже помечена для удаления оператором поискового удаления или оператором позиционного удаления, связанным с другим курсором, или помечена для обновления оператором поисковой модификации или оператором позиционной модификации, связанным с другим курсором, то в условии завершения текущего оператора сообщается соответствующее предупреждение.

Строка, помеченная для удаления, реально удаляется в конце выполнения оператора позиционного удаления до проверки каких-либо ограничений целостности.

Если удаляется последний кортеж, то курсор устанавливается в позицию после последней строки; в противном случае курсор устанавливается в позицию перед следующей строкой.

Оператор позиционной модификации также мало отличается от соответствующего оператора SQL/89:

::= UPDATE

SET WHERE CURRENT OF ::= [ { }... ] ::=

[ WHERE ]
Как обычно, основные расширения касаются более мощных возможностей спецификации условия поиска. Кроме того:

Если текущая транзакция выполняется в режиме только чтения, и таблица, из которой удаляются строки, не является временной, возбуждается исключительное условие.

Пометка строк для удаления производится следующим образом:
(a) если условие поиска не специфицировано, то все строки таблицы помечаются для удаления;

(b) заданное условие поиска применяется для каждой строки указанной таблицы, и каждая строка, для которой условие поиска вычисляется в true, помечается для удаления.

Как и в случае позиционных операторов обновления, если для некоторой строки обнаруживается, что она уже помечена для обновления (удаления или модификации) другим оператором (позиционным или поисковым), то в условии завершения оператора поискового удаления возвращается предупреждение.

Все строки, помеченные для удаления, реально удаляются в конце оператора до проверки какого-либо ограничения целостности.

Если не удалена ни одна строка, вырабатывается условие завершения "нет данных".

Оператор поисковой модификации обладает почти таким же синтаксисом, что и соответствующий оператор в SQL/89, если не считать некоторых расширений раздела SET (для полноты мы повторим здесь синтаксическое определение конструкции ):

::= UPDATE

SET [ WHERE ] ::= [ { }... ] ::=

::= [ ] | DEFAULT VALUES ::=

Пояснения относительно расширений и уточнений:

Если в разделе вставляемых столбцов и источников данных указано DEFAULTVALUES, то это эквивалентно заданию выражения запроса в форме VALUES(DEFAULT, . . .), где число элементов "DEFAULT" равно числу столбцов в таблице T, в которую заносится строка.

Столбец, указанный в списке вставляемых столбцов, называется объектным.

Если текущая транзакция выполняется в режиме только чтения и T не является временной таблицей, возбуждается исключительное условие.

Выполнение оператора происходит так же, как это специфицировано в стандарте SQL/89.

Наконец, последним оператором, который в стандарте SQL/92 отнесен к набору операторов манипулирования данными (аналог в SQL/89 отсутствует), является оператор объявления временной таблицы. Реальное создание такой таблицы происходит при первом вызове какой-либо процедуры модуля, содержащего объявление. Объявляемая временная таблица видна только процедурам этого модуля. Синтаксис объявления следующий:

::= DECLARE LOCAL TEMPORARY TABLE

[ ON COMMIT { PRESERVE DELETE } ROWS ] ::= MODULE

Пояснения:

Объявляемая временная таблица существует в течение SQL-сессии. При завершении сессии такие таблицы уничтожаются путем выполнения неявного оператора DROPTABLE.

Ссылки на объявляемую временную таблицу не должны появляться в определениях представлений.

Ограничение по ссылкам

Ограничение по ссылкам от заданного набора столбцов CT таблицы T на заданный набор столбцов CT1 некоторой определенной к этому моменту таблицы T1 определяет условие на содержимое обеих этих таблиц, при котором ссылки можно считать корректными.
Если список столбцов CT1 явно специфицирован в определении ограничения по ссылкам, то требуется, чтобы этот список явно входил в какое-либо определение уникальности таблицы T1. Если же список CT1 не специфицирован явно в определении ограничения по ссылкам таблицы T, то требуется, чтобы в определении таблицы T1 присутствовало определение первичного ключа, и список CT1 неявно полагается совпадающим со списком имен столбцов из определения первичного ключа таблицы T1. Имена столбцов списков CT и CT1 должны именовать столбцы таблиц T и T1 соответственно, и не должны появляться в списках более одного раза. Списки столбцов CT и CT1 должны содержать одинаковое число элементов, и столбец таблицы T, идентифицируемый i-ым элементом списка CT должен иметь тот же тип, что столбец таблицы T1, идентифицируемый i-ым элементом списка CT1.
По определению, таблицы T и T1 удовлетворяют заданному ограничению по ссылкам, если для каждой строки s таблицы T такой, что все значения столбцов s, идентифицируемых списком CT, не являются неопределенными, существует строка s1 таблицы T1 такая, что значения столбцов s1, идентифицируемых списком CT1, позиционно равны значениям столбцов s, идентифицируемых списком CT. По человечески это можно сформулировать так: ограничение по ссылкам удовлетворяется, если для каждой корректной ссылки существует объект, на который она ссылается. В привычной программистам терминологии, ограничение по ссылкам не позволяет производить "висячие" ссылки, не ведущие ни к какому объекту.

Ограничение уникальности

Каждое имя столбца в списке уникальности должно именовать столбец T и не должно входить в этот список более одного раза. При определении столбца, входящего в список уникальности, должно быть указано ограничение столбца NONULL. Среди ограничений уникальности T не должно быть более одного определения первичного ключа (ограничения уникальности с ключевым словом RIMARYKEY).
Действие ограничения уникальности состоит в том, что в таблице T не допускается появление двух или более строк, значения столбцов уникальности которых совпадают.

Оператор чтения очередной строки курсора

Синтаксис оператора чтения следующий:
::= FETCH INTO ::= [{,}...]
В операторе чтения указывается имя курсора и обязательный раздел INTO, содержащий список спецификаций назначения (список имен переменных основной программы в случае встроенного SQL или имен "выходных" параметров в случае модуля SQL). Число и типы данных в списке назначений должны совпадать с числом и типами данных списка выборки спецификации курсора.
Любой открытый курсор всегда имеет позицию: он может быть установлен перед некоторой строкой результирующей таблицы (перед первой строкой сразу после открытия курсора), на некоторую строку результата или за последней строкой результата.
Если таблица, на которую указывает курсор, является пустой, или курсор позиционирован на последнюю строку или за ней, то при выполнении оператора чтения курсор устанавливается в позицию после последней строки, параметру SQLCODE присваивается значение 100, никакие значения не присваиваются целям, идентифицированным в разделе INTO.
Если курсор установлен в позицию перед строкой, то он устанавливается на эту строку, и значения этой строки присваиваются соответствующим целям.
Если курсор установлен на строку r, отличную от последней строки, то курсор устанавливается на строку, непосредственно следующую за строкой r, и значения из этой следующей строки присваиваются соответствующим целям.
Возникает естественный вопрос, каким образом можно параметризовать курсор неопределенным значением или узнать, что выбранное из очередной строки значение является неопределенным. В SQL/89 это достигается за счет использования так называемых индикаторных параметров и переменных. Если известно, что значение, передаваемое из основной программы СУБД или принимаемое основной программой от СУБД, может быть неопределенным, и этот факт интересует прикладного программиста, то спецификация параметра или переменной в операторе SQL имеет вид:
[INDICATOR] при спецификации параметра, и [INDICATOR] при спецификации переменной.
Отрицательное значение индикаторного параметра или индикаторной переменной (они должны быть целого типа) соответствует неопределенному значению параметра или переменной.

Оператор чтения строки по курсору, связанному с динамически подготовленным оператором выборки

::= F ETCH [[] FROM]
Пояснения:
По сути, оператор чтения по курсору, связанному с динамически подготовленным оператором SQL, отличается от статического случая только возможным наличием раздела using, в котором задается размещение значений текущей строки результирующей таблицы. Кроме того, имя курсора может задаваться через переменную.

Оператор фиксации транзакции

Синтаксически оператор фиксации транзакции имеет ту же форму, что и аналогичный оператор в языке SQL/89:
::= COMMIT [ WORK ]
В дополнение к функциональности оператора COMMITSQL/89 по поводу оператора COMMITSQL/92 следует сделать следующие пояснения:

Для каждой временной таблицы T в каждом модуле, ассоциированном с текущей транзакцией, если для таблицы было указано ONCOMMITDELETE, и эта таблица обновлялась при выполнении текущей транзакции, в течении фиксации транзакции выполняется неявный оператор DELETEFROMT.

Проверяются все ранее отложенные ограничения целостности, и если хотя бы одно из них не удовлетворяется, все изменения данных или схемы ликвидируются, и вырабатывается исключительное условие: "откат транзакции по причине нарушения ограничений".

Иначе, изменения, произведенные текущей транзакцией над данными и/или схемой становятся доступными другим транзакциям, и текущая транзакция завершается.

Оператор изменения схемы таблицы

Оператор изменения схемы таблицы (ALTERTABLE), для которого не было аналогов в стандарте SQL/89, предназначен для изменений в начальном определении таблицы. Оператор имеет следующий синтаксис:
::= ALTER TABLE

::= | | | |
Пояснения:

Можно изменять схему любой базовой таблицы за исключением объявляемой локальной временной таблицы.

Определение добавления столбца позволяет добавить к таблице новый столбец. Конструкция имеет следующий синтаксис:
::= ADD [ COLUMN ]
Пояснения:

Каждое значение, содержащееся в столбце после его добавления к таблице, есть значение этого столбца по умолчанию.

Спецификация определения столбца в операторе ALTERTABLE имеет то же действие, что спецификация определения столбца в определении таблицы. В частности, степень таблицы увеличивается на единицу, и порядковый номер добавляемого столбца устанавливается равным новой степени таблицы.

Определение изменения столбца позволяет установить или отменить значение этого столбца по умолчанию. Конструкция имеет следующий синтаксис:
::= ALTER [ COLUMN ] ::= | ::= SET ::= DROP DEFAULT
Пояснения:

В результате выполнения спецификации описатель существующего столбца таблицы изменяется в соответствии с указанным действием.

Если указано DROPDEFAULT, соответствующий столбец должен иметь значение по умолчанию.

Определение удаления столбца позволяет ликвидировать указанный столбец таблицы. Конструкция имеет следующий синтаксис:

::= DROP [ COLUMN ] ::= CASCADE | RESTRICT

Пояснения:

Если в определении удаления столбца указано RESTRICT, то на удаляемый столбец не должно быть ссылок в выражении запроса любого существующего представления и в условии поиска любого существующего ограничения, кроме табличных ограничений, ссылающихся только на этот столбец и входящих в описание данной таблицы.

Если в определении удаления столбца указано CASCADE, то любой зависимый объект уничтожается при выполнении неявного оператора REVOKE (см. ниже).

Пусть A обозначает текущий идентификатор авторизации. Пусть T - имя таблицы, для которой выполняется оператор ALTERTABLE, а C - имя удаляемого столбца. Тогда при удалении столбца неявно выполняется следующий оператор от имени текущего системного идентификатора авторизации: REVOKEINSERT(CN), UPDATE(CN), REFERENCES(CN) ONTABLETN FROMACASCADE.

Пусть V - имя любого представления, ссылающегося на столбец C таблицы T. При удалении столбца неявно выполняется следующий оператор от имени текущего системного идентификатора авторизации: DROPVIEWVNCASCADE.

Идентифицируемый столбец и его описатель уничтожаются.

Степень T уменьшается на единицу. Порядковые номера всех столбцов с порядковым номером больше чем у C уменьшаются на единицу.

Определение добавления табличного ограничения имеет следующий синтаксис:

::= ADD

Это определение не нуждается в пояснениях.

Определение уничтожения табличного ограничения имеет следующий синтаксис:

::= DROP CONSTRAINT

Пояснения:

Пусть T имя таблицы, упоминаемой в операторе ALTERTABLE, а TC - имя уничтожаемого ограничения целостности.

Если TC является ограничением уникальности и существует ссылочное ограничение RC со ссылкой на таблицу T по столбцам уникальности TC, то будем говорить, что RC зависит от TC.

Если указано RESTRICT, то никакое табличное ограничение не должно зависеть от TC.

Если указано CASCADE, то все зависимые объекты уничтожаются при выполнении неявного оператора ALTERTABLE (см. ниже).

Пусть TCN2 - имя любого табличного ограничения, зависящего от TC, и пусть T2 - имя таблицы, определение которой включало TCN2. Тогда выполняется неявный оператор ALTERTABLET2 DROPCONSTRAINTTCN2 CASCADE.

Описатель TC удаляется из описания таблицы T.

Идентифицированное табличное ограничение и его описатель разрушаются.

Оператор объявления курсора над динамически подготовленным оператором выборки

::= DECLARE [INSENSITIVE] [SCROLL] CURSOR FOR
Пояснения:
Как определяется в стандарте SQL/92, для всех операторов DECLARECURSOR, курсоры фактически создаются при начале транзакции и уничтожаются при ее завершении. Заметим, что в этом операторе и - прямо заданные идентификаторы.

Оператор объявления курсора

Для удобства мы повторим здесь синтаксические правила объявления курсора, приводившиеся раньше:
::= DECLARE CURSOR FOR ::= [...] ::= UNION [ALL] ::= () ::= ORDER BY [{,}...] ::= { } [ASC DESC]
В объявлении курсора могут задаваться запросы наиболее общего вида с возможностью выполнения операции UNION и сортировкой конечного результата. Этот оператор не является выполняемым, он только связывает имя курсора со спецификацией курсора.

Оператор определения курсора над динамически подготовленным оператором выборки

::= ALLOCATE [INSENSITIVE] [SCROLL] CURSOR FOR ::= (]
Пояснения:
Курсоры, определяемые с помощью оператора ALLOCATECURSOR, фактически создаются при выполнении такого оператора и уничтожаются при выполнении оператора DEALLOCATEPREPARE или при конце транзакции. В этом операторе имена курсора и подготовленного оператора SQL могут задаваться не только в литеральной форме, но и через переменные.
Раздел относится к области видимости имен: в пределах текущего модуля или в пределах текущей сессии.

Оператор освобождения памяти из-под дескриптора

::= DEALLOCATE DESCRIPTOR
Пояснения:
Выполнение этого оператора приводит к освобождению памяти из-под ранее выделенного дескриптора. После этого использование имени дескриптора незаконно в любом операторе, кроме ALLOCATEDESCRIPTOR.

Оператор отката транзакции

Оператор имеет тот же синтаксис и тот же смысл, что и соответствующий оператор SQL/89:
::= ROLLBACK [ WORK ]
Дополнительные пояснения не требуются.

Оператор отказа от подготовленного оператора

::= D EALLOCATE PREPARE
Пояснения:
Выполнение этого оператора приводит к тому, что ранее подготовленный оператор SQL, связанный с указанным именем оператора, ликвидируется, и соответственно, имя оператора становится неопределенным. Если подготовленный оператор являлся оператором выборки и к моменту выполнения оператора DEALLOCATE существовал открытый курсор, связанный с именем подготовленного оператора, то оператор DEALLOCATE возвращает код ошибки. Если же для подготовленного оператора выборки существовал неоткрытый курсор, образованный с помощью оператора ALLOCATECURSOR, то этот курсор ликвидируется. Если такой курсор объявлялся оператором DECLARECURSOR, то такой курсор переходит в состояние, существовавшее до выполнения оператора PREPARE. Если с курсором был связан подготовленный оператор (динамический DELETE или UPDATE), то для этих операторов выполняется неявный оператор DEALLOCATE.

Оператор отказа от подключения

Оператор DISCONNECT служит для отказа от подключения к SQL-серверу и имеет следующий синтаксис:
::= DISCONNECT ::= | ALL | CURRENT
Пояснения:

Если специфицировано DEFAULT, и нет текущего или потенциального подключения по умолчанию для текущего SQL-агента, то возбуждается исключительное условие.

Если специфицировано CURRENT, и нет текущего подключения для текущего SQL-агента, возбуждается исключительное условие.

Пусть C обозначает текущее подключение.

Если задано имя подключения, то пусть L обозначает это подключение; если указано CURRENT, то пусть L обозначает текущее подключение; если задано ALL, то пусть L обозначает список всех текущих или потенциальных подключений для данного SQL-агента в порядке, определяемом в реализации; если указано DEFAULT, то пусть L обозначает подключение по умолчанию.

Если какое-либо подключение из списка L активно, возбуждается исключительное условие.

Для каждого подключения C1 из списка L соответствующая этому подключению сессия S1 рассматривается как текущая сессия, и выполняются все действия, требуемые после последнего вызова процедуры SQL-агентом, за исключением выполнения операторов COMMIT и ROLLBACK. После этого подключение ликвидируется.

Если текущее подключение C содержится в списке L, то после выполнения оператора DISCONNECT текущее подключение не существует; в противном случае C остается текущим подключением.

Оператор открытия курсора, связанного с динамически подготовленным оператором выборки

::= OPEN []
Пояснения:
По сути, оператор открытия курсора, связанного с динамически подготовленным оператором SQL, отличается от статического случая только возможным наличием раздела using, в котором задаются фактические параметры оператора выборки. Кроме того, имя курсора может задаваться через переменную.

Оператор открытия курсора

Оператор описывается следующим синтаксическим правилом:
::= OPEN
В реализациях встроенного SQL обычно требуется, чтобы объявление курсора текстуально предшествовало оператору открытия курсора. Оператор открытия курсора должен быть первым в серии выполняемых операторов, связанных с заданным курсором. При выполнении этого оператора производится подготовка курсора к работе над ним. В частности, в этот момент производится связывание спецификации курсора со значениями переменных основного языка в случае встроенного SQL или параметров в случае модуля.
В большинстве реализаций в случае встроенного SQL именно выполнение оператора открытия курсора приводит к компиляции спецификации курсора.
Следующие операторы можно выполнять над открытым курсором в произвольном порядке.

Оператор подготовки с немедленным выполнением

::= EXECUTE IMMEDIATE
Пояснения:
При выполнении оператора EXECUTEIMMEDIATE производится подготовка и немедленное выполнение заданного в текстовой форме оператора SQL. При этом подготавливаемый оператор не должен быть оператором выборки, не должен содержать формальных параметров и комментариев.

Оператор подготовки

::= PREPARE FROM ::= ::= | | | | ::= | | | | | | ::= ::= ::= ::= ::= ::= ::= [scope option] ::= [] [] ::= FOR { READ ONLY | UPDATE [ OF ] } ::= ::= SELECT []

::= DISTINCT | ALL
Пояснения:
Оператор PREPARE вызывает компиляцию и построение плана выполнения заданного в текстовой форме оператора SQL. После успешного выполнения оператора PREPARE с подготовленным оператором связывается указанное (литерально или косвенно) имя этого оператора которое потом может быть использовано в операторах DESCRIBE, EXECUTE, OPENCURSOR, ALLOCATECURSOR и DEALLOCATEPREPARE. Эта связь сохраняется до явного выполнения оператора DEALLOCATEPREPARE.

Оператор поискового удаления

Оператор описывается следующим синтаксическим правилом:
::= DELETE FROM

WHERE []
Таблица T, указанная в разделе FROM оператора DELETE, должна быть обновляемой. На вид условия поиска накладывается то ограничение, что на таблицу T не должны содержаться ссылки ни в каком вложенном подзапросе предикатов раздела WHERE.
Фактически оператор выполняется следующим образом: последовательно просматриваются все строки таблицы T, и те строки, для которых результатом вычисления условия выборки является true, удаляются из таблицы T. При отсутствии раздела WHERE удаляются все строки таблицы T.

Оператор поисковой модификации

Оператор обладает следующим синтаксисом:
::= UPDATE

SET [{,}...] [WHERE ] ::=

WHERE CURRENT OF
Если указанный в операторе курсор открыт и установлен на некоторую строку, и курсор определяет обновляемую таблицу, то текущая строка курсора удаляется, а он позиционируется перед следующей строкой. Таблица, указанная в разделе FROM оператора DELETE, должна быть таблицей, указанной в самом внешнем разделе FROM спецификации курсора.

::= DELETE FROM

WHERE CURRENT OF
Пояснения:
По сути, оператор позиционного удаления по курсору, связанному с динамически подготовленным оператором SQL, отличается от статического случая только тем, что имя курсора может задаваться через переменную.

Оператор позиционной модификации

Оператор описывается следующими синтаксическими правилами:
::= UPDATE

SET [{,}...] WHERE CURRENT OF ::=

SET [{ }...] WHERE CURRENT OF
Пояснения:
По сути, оператор позиционной модификации по курсору, связанному с динамически подготовленным оператором SQL, отличается от статического случая только тем, что имя курсора может задаваться через переменную.

Оператор установки дескриптора

::= SET DESCRIPTOR ::= (VALUE [{ }...] ::= COUNT ::= ::= ::= ::=
Пояснения:
Оператор SETDESCRIPTOR служит для заполнения элементов дескриптора с целью его использования в разделе USING. За одно выполнение оператора можно поместить значение в поле COUNT (число заполненных элементов), либо частично или полностью сформировать один элемент дескриптора.

Оператор установки идентификатора авторизации сессии

Оператор описывается следующим синтаксическим правилом:
::= SET SESSION AUTHORIZATION
Пояснения:

Спецификация значения должна иметь тип символьных строк.

В реализации определяется, можно ли явно менять идентификатор авторизации сессии.

Если это допускается в реализации, идентификатор авторизации сессии устанавливается в заданное значение.

Оператор установки имени набора символов по умолчанию

Оператор позволяет установить имя набора символов по умолчанию для применения в идентификаторах и строчных литеральных константах, используемых в динамических операторах, подготавливаемых с помощью оператора немедленного выполнения, оператора подготовки, или в прямых операторах SQL. Оператор определяется следующим синтаксическим правилом:
::= SET NAMES
Пояснения:

Спецификация значения должна иметь тип символьных строк.

Имя набора символов по умолчанию устанавливается в соответствии с заданной строкой.

Оператор установки имени схемы по умолчанию

Оператор позволяет установить имя схемы по умолчанию для расширения неквалифицированных имен, используемых в динамических операторах, подготавливаемых с помощью оператора немедленного выполнения, оператора подготовки, или в прямых операторах SQL. Оператор определяется следующим синтаксическим правилом:
::= SET SCHEMA
Пояснения:

Спецификация значения должна иметь тип символьных строк.

Пусть V обозначает символьную строку, задающую спецификацию схемы по умолчанию.

Если V содержит имя каталога, то пусть X обозначает часть V, соответствующую имени каталога, а Y - часть V, соответствующую неквалифицированному имени схемы. Тогда неявно выполняется следующий оператор: SETCATALOG 'X', а оператор установки имени схемы по умолчанию заменяется на SETSCHEMA 'Y'.

В противном случае, V дополняется неквалифицированным именем схемы текущей SQL-сессии.

Оператор установки режима ограничений

При выполнении в активной транзакции оператор устанавливает режим проверки ограничений целостности для этой транзакции в текущей SQL-сессии. При выполнении вне активной транзакции оператор устанавливает режим проверки ограничений целостности для следующей транзакции данного агента в текущей сессии. Оператор имеет следующий синтаксис:
::= SET CONSTRAINTS { DEFERRED | IMMEDIATE } ::= ALL | [ { }... ]
Пояснения:

Указанные в параметрах оператора ограничения должны быть откладываемыми.

Пусть TXN обозначает текущую или следующую транзакцию данного агента в зависимости от того, в транзакции или вне транзакции выполняется оператор.

Если в операторе SETCONSTRAINTS указано IMMEDIATE, то
(a) если специфицировано ALL, то для всех откладываемых ограничений TXN устанавливается режим немедленной проверки;

(b) в противном случае режим немедленной проверки устанавливается для всех ограничений, поименованных в списке имен ограничений.

Если указано DEFERRED, то
(a) если специфицировано ALL, то для всех откладываемых ограничений TXN устанавливается режим отложенной проверки;

(b) в противном случае режим отложенной проверки устанавливается для всех ограничений, поименованных в списке имен ограничений.

Оператор вставки

Оператор служит для создания новых строк в таблице и обладает следующим синтаксисом:
::= INSERT INTO

[()] {VALUES () } ::= [{,}...] ::= [{,...] ::= NULL
Таблица T, указанная в операторе INSERT, должна быть обновляемой и не должна указываться в разделе FROM спецификации запроса или подзапроса, используемого в разделе VALUES.
Выполнение оператора INSERT происходит следующим образом: создается возможная (candidate) строка, содержащая столько же столбцов, сколько их в таблице T (если T - представление, то возможная строка содержит столько столбцов, сколько их в таблице, порождающей T); для каждого объектного столбца возможной строки его значение заменяется на вставляемое значение; полученная строка заносится в T.
Если в разделе VALUES указывается спецификация запроса, то пусть R обозначает ее результат. Если R пуст, то параметру SQLCODE присваивается значение 100, и никакая строка не вставляется. Число созданных возможных строк равно мощности R. Вставляемые значения одной возможной строки являются значениями одной строки R, и значения в одной строке R являются вставляемыми значениями одной возможной строки.

Оператор выбора подключения

Оператор служит для выбора подключения из числа возможных. Синтаксис оператора следующий:
::= SET CONNECTION ::= DEFAULT |
Пояснения:

Если оператор выбора подключения выполняется после первого оператора SQL, инициировавшего выполнение текущей транзакции, и реализация не поддерживает транзакции, взаимодействующие более чем с одним SQL-сервером, то возбуждается исключительное условие.

Если специфицировано DEFAULT, и отсутствует текущее или потенциальное подключение по умолчанию для текущего SQL-агента, то возбуждается исключительное условие.

В противном случае должно существовать текущее или потенциальное подключение с указанным именем; при неверном указании имени возбуждается исключительное условие.

Текущие подключение и сессия становятся потенциальными; информация о контексте сервера сохраняется и не влияет на выполнение операций через выбранное подключение.

Выбранное подключение и соответствующая SQL-сессия становятся текущими; информация о контексте сессии восстанавливается к тому состоянию, в котором она находилась к моменту перехода в потенциальную.

Оператор выборки

Оператор выборки - это отдельный оператор языка SQL/89, позволяющий получить результат запроса в прикладной программе без привлечения курсора. Поэтому оператор выборки имеет синтаксис, отличающийся от синтаксиса спецификации курсора, и при его выполнении возникают ограничения на результат табличного выражения. Фактически и то, и другое диктуется спецификой оператора выборки как одиночного оператора SQL: при его выполнении результат должен быть помещен в переменные прикладной программы. Поэтому в операторе появляется раздел INTO, содержащий список переменных прикладной программы, и возникает то ограничение, что результирующая таблица должна содержать не более одной строки. Соответственно, результат базового табличного выражения должен содержать не более одной строки, если оператор выборки не содержит спецификации DISTINCT, и таблица, полученная применением списка выборки к результату табличного выражения, не должна содержать несколько несовпадающих строк, если спецификация DISTINCT задана.
Замечание: В диалекте SQL СУБД Oracle поддерживается расширенный вариант оператора выборки, результатом которого не обязательно является таблица из одной строки. Такое расширение не поддерживается ни в SQL/89, ни в SQL/92.

Для удобства мы повторяем синтаксис этого оператора еще раз:
INTO

::= | | ::= () ::= UNIQUE PRIMARY KEY ::= [{,}...] ::= FOREIGN KEY () ::= REFERENCES ::= ::=

[()] ::= [{,}...] ::= CHECK ()
Для одной таблицы может быть задано несколько ограничений целостности, в том числе те, которые неявно порождаются ограничениями целостности столбцов. Стандарт SQL/89 устанавливает, что ограничения таблицы фактически проверяются при выполнении каждого оператора SQL.
Замечание: Наличие правильно подобранного набора ограничений БД очень важно для надежного функционирования прикладной информационной системы. Вместе с тем, в некоторых СУБД ограничения целостности практически не поддерживаются. Поэтому при проектировании прикладной системы необходимо принять решение о том, что более существенно: рассчитывать на поддержку ограничений целостности, но ограничить набор возможных СУБД, или отказаться от их использования на уровне SQL, сохранив возможность использования не самых современных СУБД.
Далее T обозначает таблицу, для которой определяются ограничения целостности.

Определение ограничений целостности

В стандарте SQL/92 специфицированы две разновидности ограничений целостности - привязанные к определению таблиц (табличные ограничения) и определяемые независимо (утверждения целостности - assertions). Табличные ограничения похожи на соответствующие средства SQL/89, но на самом деле существенно более развиты. Поэтому мы достаточно подробно рассмотрим эти механизмы. Аналогов утверждений целостности в языке SQL/89 не было.
Общие синтаксические правила определения табличных ограничений выглядят следующим образом:

::= [ ]

[ ]

::= | |
Синтаксические правила разделов определения имени и атрибутов ограничения приведены в п.3.5.1.
Пояснения:

Если атрибуты ограничения не специфицированы, то неявно предполагается наличие атрибута INITIALLYIMMEDIATENOTDEFERRABLE.

Если не специфицировано определение имени ограничения, то неявно предполагается наличие определения имени ограничения с именем, зависящим от реализации.

Ограничение уникальности определяется следующими синтаксическими правилами:
::= ::= UNIQUE | PRIMARY KEY ::=
Пояснения:

Пусть T обозначает таблицу, для которой определяется ограничение уникальности, а UCL - список столбцов уникальности.

Если в спецификации уникальности содержится ключевое слово PRIMARYKEY, то пусть SC обозначает условие поиска UNIQUE (SELECTUCLFROMT) AND (UCL) ISNOTNULL

Если в спецификации уникальности содержится ключевое слово UNIQUE, то пусть SC обозначает условие поиска UNIQUE (SELECTUCLFROMT)

Определение таблицы должно содержать не более одного явного или неявного определения ограничения уникальности со спецификацией PRIMARYKEY.

Ограничение уникальности не удовлетворяется в том и только в том случае, когда истинно условие EXISTS (SELECT * FROMTWHERENOT (SC))

Ссылочное ограничение определяется следующими синтаксическими правилами:

::= FOREIGN KEY ::= REFERENCES [ MATCH ] [ ] ::= FULL PARTIAL ::= ::=

[ ] ::= ::= [ ] | [ ] ::= ON UPDATE ::= ON DELETE ::= CASCADE |SET NULL |SET DEFAULT |NO ACTION

Пояснения:

Ссылающейся таблицей мы будем называть таблицу, фигурирующую в определении таблицы или изменении схемы таблицы (операторе ALTERTABLE). Таблицей, на которую указывает ссылка, будем называть таблицу, имя которой указывается в разделе referencedtableandcolumns. Ссылающимися столбцами будем называть столбцы, перечисленные в списке столбцов-ссылок (referencecolumnlist).

Если в разделе referencedtableandcolumns специфицирован список столбцов, то набор имен столбцов из этого списка должен совпадать с набором столбцов уникальности, содержащемся в ограничении уникальности таблицы, на которую указывает ссылка.

Если раздел referencedtableandcolumns не содержит списка столбцов, то для таблицы, на которую указывает ссылка, должно быть определено ограничение уникальности с ключевым словом PRIMARYKEY.

Ограничение уникальности для таблицы, на которую указывает ссылка, должно не быть откладываемым.

Таблица, на которую указывает ссылка, должна быть базовой и,

(a) если ссылающаяся таблица является постоянной базовой, то и таблица, на которую указывает ссылка, должна быть постоянной базовой;

(b) если ссылающаяся таблица является глобальной временной, то и таблица, на которую указывает ссылка, должна быть глобальной временной;

(c) если ссылающаяся таблица является создаваемой локальной временной, то и таблица, на которую указывает ссылка, должна быть создаваемой локальной временной;

(d) если ссылающаяся таблица является объявляемой локальной временной, то таблица, на которую указывает ссылка, должна быть либо глобальной временной, либо создаваемой локальной временной, либо объявляемой локальной временной.

Если таблица, на которую указывает ссылка является временной со спецификацией ONCOMMITDELETEROWS, то и для ссылающейся таблицы должно быть специфицировано ONCOMMITDELETEROWS.

В списке ссылающихся столбцов должно содержаться то же число имен столбцов, что задается разделом referencedtableandcolumns. i-тый столбец, идентифицируемый списком ссылающихся столбцов соответствует i-тому столбцу, идентифицированному в разделе referencedtableandcolumns. Типы данных соответствующих столбцов должны совпадать.

Если в определении ссылочного ограничения не специфицировано правило модификации (updaterule), то по умолчанию предполагается наличие такого правила с действием NOACTION.

Если в определении ссылочного ограничения не специфицировано правило удаления (deleterule), то по умолчанию предполагается наличие такого правила с действием NOАCTION.

Пусть Rf обозначает ссылающиеся столбцы, а Rt - соответствующие столбцы в таблице, на которую указывает ссылка. Ссылающаяся таблица и таблица, на которую указывает ссылка, удовлетворяют ссылочному ограничению в том и только в том случае, когда:

(a) тип соответствия (matchtype) не указан, и для каждой строки ссылающейся таблицы истинно условие RfMATCH (SELECTRtFROMT);

(b) указан тип соответствия PARTIAL, и для каждой строки ссылающейся таблицы истинно условие RfMATCHPARTIAL (SELECTRtFROMT);

(c) указан тип соответствия FULL, и для каждой строки ссылающейся таблицы истинно условие RfMATCHFULL (SELECTRtFROMT).

Если не указан тип соответствия или если указан тип соответствия FULL, то для данной строки таблицы, на которую указывает ссылка, соответствующими являются все строки ссылающейся таблицы, значения полей ссылающихся столбцов которых равны значениям соответствующих столбцов строки, на которую указывает ссылка.

Если указан тип соответствия PARTIAL, то

для данной строки таблицы, на которую указывает ссылка, соответствующими являются все строки ссылающейся таблицы, содержащие по крайней мере одно не неопределенное значение ссылающегося столбца, причем все не неопределенные значения столбцов этих строк совпадают со значениями соответствующих столбцов строки, на которую указывает ссылка;

для данной строки таблицы, на которую указывает ссылка, уникально соответствующими являются все соответствующие только ей строки; другие соответствующие строки называются неуникально соответствующими.

Для каждой строки таблицы, на которую указывает ссылка, соответствующие, уникально и неуникально соответствующие ей строки определяются непосредственно до выполнения любого оператора SQL. Во время выполнения оператора новые соответствующие строки не добавляются. Связь между неуникально соответствующими строками уничтожается в ходе выполнения оператора SQL, если строка, на которую ведет ссылка помечается для удаления или для изменения значения любого столбца, соответствующего не неопределенному ссылающемуся столбцу. Это происходит сразу после такой пометки. Сразу после этого происходит обнаружение новых уникально или неуникально соответствующих строк.

Если специфицировано правило удаления, и строка таблицы, на которую указывает ссылка, помечается для удаления, то

(a) если тип соответствия не специфицирован или если специфицирован тип соответствия FULL, то

(i) если в правиле удаления указано CASCADE, то все соответствующие строки помечаются для удаления;

(ii) если в правиле удаления указано SETNULL, то во всех соответствующих строках в каждый ссылающийся столбец заносится неопределенное значение;

(iii) если в правиле удаления указано SETDEFAULT, то во всех соответствующих строках в каждый ссылающийся столбец заносится соответствующее значение по умолчанию;

(b) если специфицирован тип соответствия PARTIAL, то

(i) если в правиле удаления указано CASCADE, то все уникально соответствующие строки помечаются для удаления;

(ii) если в правиле удаления указано SETNULL, то во всех уникально соответствующих строках в каждый ссылающийся столбец заносится неопределенное значение;

(iii) если в правиле удаления указано SETDEFAULT, то во всех уникально соответствующих строках в каждый ссылающийся столбец заносится соответствующее значение по умолчанию.

Если специфицировано правило модификации, и не неопределенное значение столбца в таблице, на которую указывает ссылка, изменяется на некоторое другое значение, то

(a) если тип соответствия не специфицирован или если специфицирован тип соответствия FULL, то

(i) если в правиле удаления указано CASCADE, то во всех соответствующих столбцах проставляется то же самое новое значение;

(ii) если в правиле модификации указано SETNULL, то

(*) если тип соответствия не указан, то во всех соответствующих строках в ссылающийся столбец, соответствующий измененному столбцу таблицы, на которую указывает ссылка, выставляется неопределенное значение;

(**) если указан тип соответствия FULL, то во всех соответствующих строках в каждый ссылающийся столбец заносится неопределенное значение;

(iii) если в правиле модификации указано SETDEFAULT, то во всех соответствующих строках в ссылающийся столбец, соответствующий измененному столбцу таблицы, на которую указывает ссылка, заносится значение по умолчанию;

(b) если указан тип соответствия PARTIAL, то

(i) если в правиле модификации указано CASCADE, то для каждой уникально соответствующей строки, содержащей не неопределенное значение в ссылающемся столбце C1, который соответствует изменяемому столбцу C2, в столбец C1 заносится новое значение столбца C2;

(ii) если в правиле модификации указано SETNULL, то во всех уникально соответствующих строках, содержащих не неопределенное значение в ссылающемся столбце, который соответствует изменяемому столбцу, проставляется неопределенное значение;

iii) если в правиле модификации указано SETDEFAULT, то во всех уникально соответствующих строках, содержащих не неопределенное значение в ссылающемся столбце, который соответствует изменяемому столбцу, проставляется значение по умолчанию;

Все строки, помеченные для удаления, реально удаляются в конце выполнения оператора SQL до проверки каких-либо ограничений целостности.

Проверочное ограничение целостности определяется следующим синтаксическим правилом:

::= CHECK

Пояснения:

Условие поиска не должно содержать спецификации цели и спецификации динамического параметра, а также спецификации агрегатной функции, не содержащейся в подзапросе.

Если определение проверочного ограничения содержится в операторе определения временной таблицы со спецификацией ONCOMMITPRESERVEROWS или в операторе определения временной таблицы со спецификацией ONCOMMITPRESERVEROWS, то никакой подзапрос в условии поиска не должен ссылаться на временную таблицу, определенную или объявленную со спецификацией ONCOMMITDELETEROWS.

Утверждения целостности определяются следующими синтаксическими правилами:

::= CREATE ASSERTION [ ] ::= CHECK

Пояснения:

Если в определении утверждения целостности не специфицированы атрибуты ограничения, то по умолчанию принимаются атрибуты INITIALLYIMMEDIATENOTDEFERRABLE.

Условие поиска не должно содержать спецификацию цели или спецификацию динамического параметра.

Никакое выражение запроса в условии поиска не должно содержать ссылку на временную таблицу.

Утверждение целостности не удовлетворяется в том и только в том случае, когда результат вычисления условия поиска есть false.

Определение представлений

Механизм представлений (view) является мощным средством языка SQL, позволяющим скрыть реальную структуру БД от некоторых пользователей за счет определения представления БД, которое реально является некоторым хранимым в БД запросом с именованными столбцами, а для пользователя ничем не отличается от базовой таблицы БД (с учетом технических ограничений). Любая реализация должна гарантировать, что состояние представляемой таблицы точно соответствует состоянию базовых таблиц, на которых определено представление. Обычно вычисление представляемой таблицы (материализация соответствующего запроса) производится каждый раз при использовании представления.
В стандарте SQL/89 оператор определения представления имеет следующий синтаксис:
::= CREATE VIEW

[()] AS [WITH CHECK OPTION] ::= [{,}...]
Определяемая представляемая таблица V является обновляемой (т.е. по отношению к V можно использовать операторы DELETE и UPDATE) в том и только в том случае, если выполняются следующие условия для спецификации запроса:

в списке выборки не указано ключевое слово DISTINCT;

каждое арифметическое выражение в списке выборки представляет собой одну спецификацию столбца, и спецификация одного столбца не появляется более одного раза;

в разделе FROM указана только одна таблица, являющаяся либо базовой таблицей, либо обновляемой представляемой таблицей;

в условии выборки раздела WHERE не используются подзапросы;

в табличном выражении отсутствуют разделы GROUPBY и HAVING.

Замечание: Эти ограничения являются очень сильными. В реализациях они могут быть ослаблены. Но если стремиться к мобильности, не следует пользоваться расширенными возможностями.
Если в списке выборки спецификации запроса имеется хотя бы одно арифметическое выражение, состоящее не из одной спецификации столбца, или если одно имя столбца участвует в списке выборки более одного раза, определение представления должно содержать список имен столбцов представляемой таблицы. Если выражаться более лаконично, это означает, что нужно явно именовать столбцы представляемой таблицы, если эти имена не наследуются от столбцов таблиц раздела FROM спецификации запроса.
Требование WITHCHECKOPTION в определении представления имеет смысл только в случае определения обновляемой представляемой таблицы, которая определяется спецификацией запроса, содержащей раздел WHERE. При наличии этого требования не допускаются обновления представляемой таблицы, которые приводят к появлению в базовых таблицах строк, не видимых в представляемой таблице (т.е. таких строк, которые не удовлетворяют условию поиска раздела WHERE спецификации запроса). Если WITHCHECKOPTION в определении представления отсутствует, такой контроль не производится.

Определение представления

На этом занятии мы определим только самые простые представления над созданными таблицами. Более сложные возможности отложим до получения навыков составления запросов.
Каждый слушатель должен определить представление my_viewn, где n - номер слушателя с двумя столбцами: col1, соответствующим столбцу book_id таблицы my_lib0, и col2 со значением, равным сумме book_val и pen_val.
Проверьте, что через созданное представление выбираются две строки, соответствующие строкам, ранее занесенным в таблицу my_libn.

Определение привилегий

В соответствии с идеологией языка SQL контроль прав доступа данного пользователя к таблицам БД производится на основе механизма привилегий. Фактически, этот механизм состоит в том, что для выполнения любого действия над таблицей пользователь должен обладать соответствующей привилегией (реально все возможные действия описываются фиксированным стандартным набором привилегий). Пользователь, создавший таблицу, автоматически становится владельцем всех возможных привилегий на выполнение операций над этой таблицей. В число этих привилегий входит привилегия на передачу всех или некоторых привилегий по отношению к данной таблице другому пользователю, включая привилегию на передачу привилегий. Иногда поддерживается и обратная операция изъятия привилегий от пользователя, ранее их получившего.
В SQL/89 определяется упрощенная схема механизма привилегий. Во-первых, "раздача" привилегий возможна только при определении таблицы. Во-вторых, пользователь, получивший некоторые привилегии от других пользователей, может передать их дальше только при определении схемы.
Определение привилегий производится в следующем синтаксисе:
::= GRANT ON

TO [{,}...] [WITH GRANT OPTION] ::= ALL PRIVILEGES | [{,}...] ::= SELECT INSERT DELETE |UPDATE [()] |REFERENCES [(] ::= [{,}...] ::= PUBLIC
Смысл механизма определения привилегий в SQL/89 достаточно понятен из этого синтаксиса. Заметим лишь, что привилегией REFERENCES по отношению к указанным столбцам таблицы T1 необходимо обладать, чтобы иметь возможность при определении таблицы T определить ограничение по ссылкам между этой таблицей и существующей к этому моменту таблицей T1.
Еще раз заметим, что хотя в общем смысле во всех SQL-ориентированных СУБД поддерживается механизм защиты доступа на основе привилегий, реализации могут различаться в деталях. Это опять то место, которое нужно локализовывать, если стремиться к созданию мобильной прикладной системы.

Определение процедуры

Процедуры в модуле SQL определяются в следующем синтаксисе:
::= PROCEDURE ...; ; ::= | ::= SQLCODE ::= | | | | | | | |

::= CREATE TABLE

(

[{,

}...])

::= |

Кроме имени таблицы, в операторе специфицируется список элементов таблицы, каждый из которых служит либо для определения столбца, либо для определения ограничения целостности определяемой таблицы. Требуется наличие хотя бы одного определения столбца. Оператор CREATETABLE определяет так называемую базовую таблицу, т.е. реальное хранилище данных.
Для определения столбцов таблицы и ограничений целостности используются специальные операторы, которые должны быть вложены в оператор определения таблицы.

Пояснения:

Определение столбца может входить в определение таблицы, объявление временной таблицы и в оператор изменения схемы таблицы (ALTERTABLE). Пусть T обозначает соответствующую таблицу. Имя столбца в определении столбца должно отличаться от имени любого существующего столбца таблицы T.

i-тый столбец таблицы описывается i-тым определением столбца в определении таблицы. Имя и тип данных или домен столбца специфицируется именем столбца и типом данных или именем домена соответственно. Пусть C - имя столбца из определения столбца.

Если в определение столбца входит определение ограничения столбца, то пусть CND обозначает определение имени ограничения, если оно задано, а иначе пусть соответствует строке нулевой длины; пусть CA обозначает атрибуты ограничения, если они заданы, а иначе пусть соответствует строке нулевой длины. Определение ограничения столбца эквивалентно следующим определениям ограничения таблицы:

(a) если определение ограничения столбца содержит ограничение столбца NOTNULL, то оно эквивалентно ограничению таблицы CNDCHECK (CISNOTNULL) CA;

(b) если определение ограничения столбца содержит спецификацию уникальности, то оно эквивалентно определению ограничения таблицы, содержащему CND (C) CA

(c) если определение ограничения столбца содержит спецификацию ссылок (referencesspecification), то оно эквивалентно следующему табличному ограничению: CNDFOREIGNKEY (C) CA

(d) если определение ограничения столбца содержит определение проверочного ограничения, то оно эквивалентно определению табличного ограничения CNDCHECK () CA; при этом каждая ссылка на столбец, непосредственно содержащаяся в условии поиска, должна указывать на столбец C.

При определении столбца можно указать значение, которое должно присваиваться этому столбцу по умолчанию, если при занесении новых строк в соответствующую таблицу значение данного столбца не задается явно. Раздел умолчаний определяется следующим синтаксисом:

::= DEFAULT ::= | |USER |CURRENT_USER |SESSION_USER |SYSTEM_USER NULL

Смысл этой конструкции ясен из синтаксических правил.

Основные понятия

В отдельном разделе стандарта описываются основные понятия, на которые он опирается. Как кажется, знакомство с этой частью стандарта очень полезно для общего понимания сути языка.
3.1.1. Типы данных
В стандарте тип данных определяется как множество представляющих его значений. Логическим представлением значения является литерал. Физическое представление зависит от реализации. В языке SQL значение любого типа является примитивным в том смысле, что в соответствии со стандартом оно не может быть логически разбито на другие значения. Значения могут быть определенными или неопределенными. Неопределенное значение - это зависящее от реализации значение, которое гарантированно отлично от любого определенного значения соответствующего типа. Можно считать, что имеется всего одно неопределенное значение, входящее в любой тип данных языка SQL. Для неопределенного значения отсутствует представляющий его литерал, хотя в некоторых случаях используется ключевое слово NULL для выражения того, что желательно именно неопределенное значение.
В SQL/92 определяются различные типы данных, обозначаемые следующими ключевыми словами: CHARACTER, CHARACTERVARYING, BIT, BITVARYING, NUMERIC, DECIMAL, INTEGER, SMALLINT, FLOAT, REAL, DOUBLEPRECISION, DATE, TIME, TIMESTAMP и INTERVAL.
Типы данных CHARACTER и CHARACTERVARYING совместно называются типами данных символьных строк; типы данных BIT и BITVARYING - типами данных битовых строк. Типы данных символьных строк и типы данных битовых строк совместно называются строчными типами данных, а значения строчных типов называются строками.
Типы данных NUMERIC, DECIMAL, INTEGER и SMALLINT совместно называются типами данных точных чисел. Типы данных FLOAT, REAL и DOUBLEPRECISION совместно называются типами данных приблизительных чисел. Типы данных точных чисел и типы данных приблизительных чисел совместно называются числовыми типами. Значения числовых типов называются числами.
Типы данных DATE, TIME и TIMESTAMP совместно называются типами даты-времени. Значения типов даты-времени называются "дата-время". Тип данных INTERVAL называется интервальным типом.

Особенности текущих реализаций

В настоящее время SQL реализован практически во всех коммерческих реалиционных СУБД, все фирмы провозглашают соответствие своей реализации стандарту SQL, и на самом деле реализованные диалекты SQL очень близки (хотя и не полностью совпадают). Это произошло не сразу и не просто.
Наиболее близкими к SystemR являлись две системы фирмы IBM - SQL/DS и DB2. Как кажется (документальных подтверждений этому автор не имеет), обе эти системы прямо использовали реализацию SystemR. Отсюда предельная близость реализованных диалектов SQL к SQLSystemR. Из SQLSystemR были удалены только те части, которые были недостаточно проработаны (например, точки сохранения) или реализация которых вызывала слишком большие технические трудности (например, ограничения целостности и триггеры). Можно назвать этот путь к коммерческой реализации SQL движением сверху вниз. (Кстати, заметим, что в последнее время компания IBM сделала важный шаг вперед для более широкого распространения своих продуктов управления базами данных. После переноса DB2 на платформу RS/6000 компания стала обращать большее внимание на линию открытых систем, и весной 1997 г. было объявлено, что DB2 может теперь работать на платформах SunMicrosystems и HewlettPackard.)
Другой подход применялся в таких системах, как Oracle и Informix. Несмотря на различие в способе разработки этих систем, реализация SQL происходила "снизу вверх". В первых выпущенных на рынок реализациях SQL в этих системах использовалось минимальное и очень ограниченное подмножество SQLSystemR. В частности, в первой известной автору реализации SQL в СУБД Oracle в операторах выборки не допускалось использование вложенных подзапросов.
Тем не менее, несмотря на эти ограничения и на очень слабую на первых порах эффективность, ориентация фирм на поддержание разных аппаратных платформ и заинтересованность пользователей в переходе к реляционным системам позволили фирмам добиться коммерческого успеха и приступить к совершенствованию своих реализаций. В текущих версиях Oracle и Informix поддерживаются достаточно мощные диалекты SQL, хотя реализация иногда вызывает сомнения.
Особенностью большинства современных коммерческих СУБД, затрудняющей анализ существующих диалектов SQL, является отсутствие полного описания языка. Обычно описание разбросано по разным руководствам и перемешано с описанием специфических для данной системы языковых средств, не имеющих отношения к SQL. Тем не менее можно сказать, что базовый набор операторов SQL, включающий операторы определения схемы БД, выборки и манипулирования данными, авторизации доступа к данным, поддержки встраивания SQL в языки программирования и операторы динамического SQL, в коммерческих реализациях относительно устоялся и более или менее соответствует стандарту.

Осуждаемые свойства языка SQL/

В стандарте SQL/92 присутствует приложение, устанавливающее "осуждаемые свойства" языка, т.е. свойства, которые оставлены в SQL/92 только для обеспечения совместимости с SQL/89 и которые, вероятно, будут удалены в какой-нибудь будущей версии стандарта. Эти свойства включают следующее:

Переменная SQLCODE (предпочтительнее SQLSTATE). Следовательно, например, целая переменная программы на языке Кобол, определенная как USAGEASCOMPUTATIONAL, также является осуждаемой, поскольку USAGE поддерживается только для SQLCODE.

Беззнаковые целые как элементы упорядочивания в разделе ORDERBY (предпочтительнее использовать имена столбцов, введенные через раздел AS для соответствующих элементов выборки).

Незаключенный в скобки список параметров в процедурах (предпочтительнее заключенные в скобки списки через запятую).

Подготавливаемый оператор позиционного удаления

::= DELETE [FROM

] WHERE CURRENT OF
Пояснения:
Основной резон появления этого и следующего операторов состоит в том, что сочетание курсора, определенного на динамически подготовленном операторе выборки, и статически задаваемых операторов удаления и модификации по этому курсору, выглядит довольно нелепо. Поэтому в стандарте появились динамически подготавливаемые позиционные операторы удаления и вставки. Естественно, что выполняться они должны с помощью оператора EXECUTE.

Подготавливаемый оператор позиционной модификации

::= UPDATE [

] SET [{ }...] WHERE CURRENT OF
Пояснения: см. предыдущий пункт.

Подключение к базе данных

Для подключения к серверу баз данных в SQL/92 предусмотрен оператор CONNECTTO. Следует заметить, что конструкции, предназначенные для управления подключениями и сессиями, относятся к наименее проработанным частям стандарта (хотя на практике они являются необходимыми, поскольку все современные серьезные СУБД выполнены в архитектуре "клиент-сервер"). Для управления подключением служат три оператора (CONNECT, SETCONNECTION и DISCONNECT), которые мы и рассмотрим в этом разделе.
3.8.1. Установление подключения
С выполнения этого оператора начинается сеанс взаимодействия с указанным сервером баз данных. Оператор описывается следующими синтаксическими правилами:
::= CONNECT TO ::= [ AS ] [ USER ] | DEFAULT
Пояснения:

Если в разделе цели соединения не указано имя пользователя, то по умолчанию используется неявное имя пользователя, определенное в реализации.

Если оператор установления соединения выполняется после первого оператора, инициировавшего текущую транзакцию, и если в реализации не поддерживаются транзакции, взаимодействующие более чем с одним сервером, возбуждается исключительное условие.

Имя соединения либо задается явно, либо выбирается по умолчанию, либо совпадает с обязательным параметром имени сервера; попытка установления соединения с именем, которое соответствует установленному и неразорваному соединению, вызывает возбуждение исключительной ситуации.

Если имя соединения задается по умолчанию, то образуется SQL-сессия с именем по умолчанию, связанная с умалчиваемым SQL-сервером. Способ распознавания сервера по умолчанию определяется в реализации.

Если оператор установления соединения успешно инициирует SQL-сессию, то
(a) текущее соединение и текущая транзакция становятся потенциальными; информация о контексте SQL-сервера сохраняется и не влияет на операции, выполняемые в инициированном соединении;

(b) образованные SQL-сессия и SQL-соединение становятся текущими.

Идентификатор авторизации SQL-сессии устанавливается в соответствии с указанным именем пользователя.

Подзапрос

Наконец, последняя конструкция SQL/89, которая может содержать табличные выражения, - это подзапрос, т.е. запрос, который может входить в предикат условия выборки оператора SQL. В SQL/89 к подзапросам применяется то ограничение, что результирующая таблица должна содержать в точности один столбец. Поэтому в синтаксических правилах, определяющих подзапрос, вместо списка выборки указано "выражение, вычисляющее значение", т.е. арифметическое выражение. Заметим еще, что поскольку подзапрос всегда вложен в некоторый другой оператор SQL, то в качестве констант в арифметическом выражении выборки и логических выражениях разделов WHERE и HAVING можно использовать значения столбцов текущих строк таблиц, участвующих в (под)запросах более внешнего уровня. Более подробно об этом см. ниже, при описании семантики табличных выражений.

Подзапросы

В стандарте SQL/92 специфицированы три вида подзапросов: скалярный, строчный и табличный. Скалярный подзапрос выдает одно значение некоторого типа; строчный подзапрос выдает одну строку; табличный подзапрос выдает таблицу. В основе каждого вида подзапроса лежит табличное выражение. Синтаксически соответствующие конструкции определяются следующими правилами:
::= ::=

::= ::=
Пояснения:

Степень скалярного подзапроса должна быть равна 1.

Степень строчного подзапроса должна быть больше 1.

Тип данных скалярного подзапроса совпадает с типом данных соответствующего столбца выражения запросов.

Типы данных столбцов строчного или табличного подзапроса совпадают с типами данных соответствующих столбцов выражения запросов.

Если мощность скалярного или строчного подзапроса больше 1, то возбуждается исключительное условие.

Теперь мы в состоянии привести синтаксические определения и соответствующие пояснения по поводу выражения запросов:
::= |

::= | UNION [ ALL ] [ ] | EXCEPT [ ALL ] [ ] ::= |

::= | INTERSECT [ ALL ] [ ] ::= |

::= |

| ::= TABLE

::= CORRESPONDING [ BY ] ::=

Пояснения:

Если в терме или выражении запросов без соединения присутствует теоретико-множественный оператор, то пусть T1, T2 и TR обозначают соответственно первый операнд, второй операнд и результат терма или выражения, а OP - используемую теоретико-множественную операцию.

Если специфицировано CORRESPONDING, то

(a) одно имя столбца не должно быть специфицировано более одного раза для столбцов T1 и T2;

(b) по крайней мере один столбец T1 должен иметь имя, являющееся именем некоторого столбца T2;

(c) если список соответствия столбцов не задан, пусть SL обозначает список выборки с указанием имен столбцов, являющихся именами столбцов и в T1, и в T2, в том порядке, в котором эти имена фигурируют в T1;

(d) если список соответствия столбцов задан, то пусть SL обозначает список выборки с указанием тех имен столбцов, явно входящих в список соответствия, в том порядке, в котором эти имена фигурируют в списке соответствия; каждое имя столбца в списке соответствия должно быть именем столбца и T1, и T2;

(e) терм или выражение запросов без соединения эквивалентны следующему:

(SELECTSLFROMTN1) OP (SELECTSLFROMTN2).

Если CORRESPONDING не указано, то T1 и T2 должны быть одинаковой степени.

Если не задан теоретико-множественный оператор, то результатом вычисления выражения запросов является результат вычисления простой или соединенной таблицы.

Если теоретико-множественный оператор задан, то результатом его применения является таблица, содержащая следующие строки:

(a) пусть R - строка, являющаяся дубликатом некоторой строки T1 или некоторой строки T2 или обоих; пусть m - число дубликатов R в T1, а n - число дубликатов R в T2;

(b) если специфицировано ALL, то

(i) если указана операция UNION, то число дубликатов R в T равно m + n;

(ii) если указана операция EXCEPT, то число дубликатов R в T равно max ((m-n),0);

(iii) если указана операция INTERSECT, то число дубликатов R в T равно min (m,n).

Предикат between

Предикат between имеет следующий синтаксис:
::= [NOT] BETWEEN AND
Результат "x BETWEEN y AND z" тот же самый, что результат "x >= y AND x <= z". Результат "x NOT BETWEEN y AND z" тот же самый, что результат "NOT (x BETWEEN y AND z)".

Как и в SQL/89, предикат позволяет специфицировать условие вхождения в диапазон значений, но в SQL/92 операндами являются строки:
::= [ NOT ] BETWEEN AND
Пояснения:

Все три строки-операнды должны иметь одну и ту же степень.

Типы данных соответствующих значений строк-операндов должны быть совместимыми.

Пусть X, Y и Z обозначают первый, второй и третий операнды.

"XNOTBETWEENYANDZ" эквивалентно "NOT (XBETWEENYANDZ)".

"XBETWEENYANDZ" эквивалентно "X>=YANDX<=Z".

Предикат exists

Предикат exists имеет следующий синтаксис:
::= EXISTS
Значением этого предиката всегда является true или false, и это значение равно true тогда и только тогда, когда результат вычисления подзапроса не пуст.

Этот предикат имеет тот же смысл, что и соответствующий предикат языка SQL/89, но теперь его операндом может быть табличный подзапрос:
::= EXISTS

Пояснение: Если мощность табличного подзапроса больше нуля, то значение соответствующего условия есть true; иначе - false.

Предикат in

Предикат in определяется следующими синтаксическими правилами:
::= [NOT] IN { ()} ::= {,}...
Типы левого операнда и значений из списка правого операнда (напомним, что результирующая таблица подзапроса должна содержать ровно один столбец) должны быть сравнимыми.
Значение предиката равно true в том и только в том случае, когда значение левого операнда совпадает хотя бы с одним значением списка правого операнда. Если список правого операнда пуст (так может быть, если правый операнд задается подзапросом), или значение "подразумеваемого" предиката сравнения x = y (где x - значение арифметического выражения левого операнда) равно false для каждого элемента y списка правого операнда, то значение предиката in равно false. В противном случае значение предиката in равно unknown. По определению значение предиката "x NOT IN S" равно значению предиката "NOT (x IN S)".

Предикат позволяет специфицировать условие вхождения строчного значения в указанное множество значений. Синтаксические правила следующие:
::= [ NOT ] IN ::=

| ::= { }...
Пояснения:

Пусть IVL обозначает список включаемых значений (). Тогда (IVL) эквивалентно конструктору табличного значения (VALUESIVL).

Пусть RVC обозначает строку-первый операнд, а IPV - множество значений (.

Выражение RVCNOTINIPV эквивалентно NOT (RVCINIPV).

Выражение RVCINIPV эквивалентно RVC = ANYIPV.

Предикат like

Предикат like имеет следующий синтаксис:
::= [NOT] LIKE [ESCAPE ] ::= ::=
Типы данных столбца левого операнда и образца должны быть типами символьных строк. В разделе ESCAPE должен специфицироваться одиночный символ.
Значение предиката равно true, если pattern является подстрокой заданного столбца. При этом, если раздел ESCAPE отсутствует, то при сопоставлении шаблона со строкой производится специальная интерпретация двух символов шаблона: символ подчеркивания ("_") обозначает любой одиночный символ; символ процента ("%") обозначает последовательность произвольных символов произвольной длины (может быть, нулевой).
Если же раздел ESCAPE присутствует и специфицирует некоторый одиночный символ x, то пары символов "x_" и "x%" представляют одиночные символы "_" и "%" соответственно.
Значение предиката like есть unknown, если значение столбца либо шаблона неопределено.
Значение предиката "x NOT LIKE y ESCAPE z" совпадает со значением "NOT x LIKE y ESCAPE z".

Формально предикат определяется следующими синтаксическими правилами:
::= [ NOT ] LIKE [ ESCAPE ] ::= ::= ::=
Пояснения: Если не считать того, что в соответствующем условии можно использовать выражения, вырабатывающие значения типа символьных строк, и того, что для используемого набора символов может быть явно задан порядок сортировки, смысл предиката LIKE в SQL/92 не изменился по сравнению с SQL/89.

Предикат match

Предикат позволяет сформулировать условие соответствия строчного значения результату табличного подзапроса. Синтаксис определяется следующим правилом:
::= MATCH [ UNIQUE ] [ PARTIAL FULL ]

Пояснения:

Степень первого операнда должна совпадать со степенью табличного подзапроса.

Типы данных первого операнда должны быть совместимы с типами соответствующих столбцов табличного подзапроса.

Сравнение пар соответствующих значений производится аналогично тому, как это специфицировалось для предиката сравнения.

Пусть R обозначает строку-первый операнд.

Если не указано ни PARTIAL, ни FULL, то
(a) если некоторое значение в R является неопределенным, то значением условия является true;

(b) если в R нет неопределенных значений, то

(i) если не указано UNIQUE и существует (возможно, не уникальная) строка RTi в результате табличного подзапроса такая, что R = RTi, то значение условия есть true;

(ii) если указано UNIQUE и в результате табличного подзапроса существует уникальная строка RTi такая, что R = RTi, то значение условия есть true;

(iii) в противном случае значением условия является false.

Если указано PARTIAL, то
(a) если все значения в R неопределенные, то значение условия есть true;

(b) иначе:

(i) если не указано UNIQUE и в результате табличного подзапроса существует (возможно, не уникальная) строка RTi такая, что каждое отличное от неопределенного значение R равно соответствующему значению RTi, то значение условия есть true;

(ii) если указано UNIQUE и в табличном подзапросе существует уникальная строка RTi такая, что каждое отличное от неопределенного значение R равно соответствующему значению RTi, то значение условия есть true;

(iii) в противном случае значение условия есть false.

Если указано FULL, то
(a) если все значения в R неопределенные, то значение условия есть true.

(b) если в R нет неопределенных значений, то

(i) если не указано UNIQUE и в результате табличного подзапроса существует (возможно, не уникальная) строка RTi такая, что R = RTi, то значение условия есть true;

(ii) если указано UNIQUE и в результате табличного подзапроса существует уникальная строка RTi такая, что R = RTi, то значение условия есть true;

(iii) в противном случае значение условия есть false;

(c) в противном случае значение условия есть false.

Предикат null

Предикат null описывается синтаксическим правилом:
::= IS [NOT] NULL
Этот предикат всегда принимает значения true или false. При этом значение "x IS NULL" равно true тогда и только тогда, когда значение x неопределено. Значение предиката "x NOT IS NULL" равно значению "NOT x IS NULL".

Как и в SQL/89, предикат null позволяет проверить, не является ли значение неопределенным, но теперь в нем можно использовать операнд-строку:
::= IS [ NOT ] NULL
Пояснения:

Пусть R обозначает значение строки-операнда.

Если все значения, входящие в R, являются неопределенными, значение условия "RISNULL" есть true; иначе - false.

Если ни одно из значений R не является неопределенным, то значением условия "RISNOTNULL" является true; иначе - false.

Замечание: для всех R условие "RISNOTNULL" имеет то же значение, что условие "NOTRISNULL" в том и только в том случае, когда степень R равна 1. Полная семантика предиката null приведена в следующей таблице:

Условие	RISNULL	RISNOTNULL	NOTRISNULL	NOTRISNOTNULL
Степень 1: null	true	false	false	true
Степень 1: notnull	false	true	true	false
Степень > 1: все null	true	false	false	true
degree > 1: есть null	false	false	true	true
degree > 1: нет null	false	true	true	false

Предикат overlaps

Этот предикат служит для проверки перекрытия во времени двух событий. Условие определяется следующим синтаксисом:
::= OVERLAPS ::= ::=
Пояснения:

Степень каждой из строк-операндов должна быть равна 2.

Тип данных первого столбца каждого из операндов должен быть типом даты-времени, и типы данных первых столбцов должны быть совместимы.

Тип данных второго столбца каждого из операндов должен быть типом даты-времени или интервала.
(a) если это тип интервала, то точность типа должна быть такой, чтобы интервал можно было прибавить к значению типа дата-время первого столбца;

(b) если это тип дата-время, то он должен быть совместим с типом данных дата-время первого столбца.

Пусть D1 и D2 обозначают значения первого столбца первого и второго операндов соответственно.

Если второй столбец первого операнда имеет тип дата-время, то пусть E1 обозначает его значение.

Если второй столбец первого операнда имеет тип INTERVAL, то пусть I1 обозначает его значение, а E1 = D1 + I1.

Если D1 - неопределенное значение или если E1 < D1, то пусть S1 = E1 и T1 = D1. Иначе, пусть S1 = D1 и T1 = E1.

Аналогично определяются S2 и T2 применительно ко второму операнду.

Результат условия совпадает с результатом вычисления следующего выражения:

(S1 > S2 ANDNOT (S1 >= T2 ANDT1 >= T2)) OR (S2 > S1 ANDNOT (S2 >= T1 ANDT2 >= T1)) OR (S1 = S2 AND (T1 <> T2 ORT1 = T2))

Предикат с квантором

Предикат с квантором имеет следующий синтаксис:
::= ::= ::= ALL ::= SOME ANY
Обозначим через x результат вычисления арифметического выражения левой части предиката, а через S результат вычисления подзапроса.
Предикат "x ALL S" имеет значение true, если S пусто или значение предиката "x s" равно true для каждого s, входящего в S. Предикат "x ALL S" имеет значение false, если значение предиката "x s" равно false хотя бы для одного s, входящего в S. В остальных случаях значение предиката "x ALL S" равно unknown.
Предикат "x SOME S" имеет значение false, если S пусто или значение предиката "x s" равно false для каждого s, входящего в S. Предикат "x SOME S" имеет значение true, если значение предиката "x s" равно true хотя бы для одного s, входящего в S. В остальных случаях значение предиката "x SOME S" равно unknown.

Предикат сравнения с квантором

Этот предикат позволяет специфицировать квантифицированное сравнение строчного значения и определяется следующими синтаксическими правилами:
::= ::= ::= ALL ::= SOME ANY
Пояснения:

Степень первого операнда должна быть такой же, как и степень табличного подзапроса.

Типы данных значений строки-операнда должны быть совместимы с типами данных соответствующих столбцов табличного подзапроса.

Сравнение строк производится по тем же правилам, что и для предиката сравнения (п. 3.4.1).

В остальном вычисление условий с кванторами some и all производится так же, как для предиката с квантором в языке SQL/89.

Предикат сравнения

Синтаксис предиката сравнения определяется следующими правилами:
::= { } ::= = <> < > <= >=
Через "<>" обозначается операция "неравенства". Арифметические выражения левой и правой частей предиката сравнения строятся по общим правилам построения арифметических выражений и могут включать в общем случае имена столбцов таблиц из раздела FROM и константы. Типы данных арифметических выражений должны быть сравнимыми (например, если тип столбца a таблицы A является типом символьных строк, то предикат "a = 5" недопустим).
Если правый операнд операции сравнения задается подзапросом, то дополнительным ограничением является то, что мощность результата подзапроса должна быть не более единицы. Если хотя бы один из операндов операции сравнения имеет неопределенное значение, или если правый операнд является подзапросом с пустым результатом, то значение предиката сравнения равно unknown.
Заметим, что значение арифметического выражения не определено, если в его вычислении участвует хотя бы одно неопределенное значение. Еще одно важное замечание из стандарта SQL/89: в контексте GROUPBY, DISTINCT и ORDERBY неопределенное значение выступает как специальный вид определенного значения, т.е. возможно, например, образование группы строк, значение указанного столбца которых является неопределенным. Для обеспечения переносимости прикладных программ нужно внимательно оценивать специфику работы с неопределенными значениями в конкретной СУБД.

Предикат unique

Этот предикат позволяет сформулировать условие отсутствия дубликатов в результате запроса:
::= UNIQUE

Пояснение: результат вычисления условия UNIQUE есть true, если в таблице-результате вычисления табличного подзапроса нет таких двух строк, что значение каждого столбца одной строки не является неопределенным и равным значению соответствующего столбца второй строки; в противном случае значение условия есть false.

В этом курсе будут рассмотрены

В этом курсе будут рассмотрены основные возможности стандартного языка доступа к базам данных SQL. Почему эта тема кажется такой важной? Ответ очевиден. Как и в случае использования любого стандартизованного средства, нужно понимать, что обязательно должны делать поставщики, а какие предлагаемые ими средства являются дополнительными. Если вы не хотите попасть в плен к некоторому конкретному производителю, нужно пользоваться только стандартными средствами. Особенно важно то, что язык баз данных SQL является повсеместно распространенным. Невозможно найти компанию, производящую развитые средства управления базами данных, основной интерфейс доступа к базам данных которой основывался бы на другом языке. Невозможно создать информационную систему, в которой не использовался бы язык SQL. Если имеется желание сделать эту информационную систему более или менее не зависящей от первоначального поставщика аппаратуры и/или базового программного обеспечения, необходимо пользоваться согласованным набором стандартов, в состав которых обязательно будет входить стандарт языка SQL.
Курс организован следующим образом. В первой главе приводится введение, в котором обсуждаются история языка SQL, начиная с экспериментального проекта компании IBMSystemR, этапы стандартизации языка, особенности текущих реализаций, проблемы применения стандартов языка при разработке прикладных информационных систем.
Вторая глава посвящена первому международному стандарту языков баз данных - SQL/89. Описывается общая структура стандарта и его основные составляющие. Далее обсуждаются используемые в SQL/89 типы данных. Следующий набор тем относится к средствам формулирования запросов, включая особенности так называемого "встроенного SQL". После этого речь идет о возможностях определения схемы базы данных, включая средства определения таблиц, столбцов, ограничений целостности, представлений, привилегий доступа. Рассматриваются два базовых способа использования языка SQL при разработке прикладных программ - встроенный SQL и язык модулей. Наконец, в завершение главы излагаются основные принципы формулировки операторов манипулирования данными ("вставить новую строку в таблицу", "удалить существующую строку", "изменить содержимое существующей строки").
В третьей главе описываются основные свойства SQL/92. Глава начинается с введения в основные понятия SQL/92: типы данных, домены, ограничения целостности, каталоги базы данных, привилегии, транзакции, сессии и т.д. Вслед за этим обсуждаются возможные виды скалярных выражений: арифметические выражения, выражения над строками, выражения с датами и временем, выражения с переключателем. Далее рассматриваются способы построения запросов, которые в стандарте SQL/92 допускают гораздо больше способов формулировки, чем в SQL/89. В отдельном разделе обсуждаются допустимые условия выборки. В SQL/92 по сравнению с SQL/89 имеется существенно более развитый набор средств определения и манипулирования схемой базы данных. Рассмотрению этих средств посвящен очередной раздел. В следующем разделе главы описываются средства манипулирования данными в соответствии со стандартом SQL/92: операторы, связанные с курсором, одиночные операторы, возможности работы со временными таблицами. Далее обсуждаются способы управления транзакциями, сессиями и подключениями к базам данных. После этого говорится о встроенном, динамическом и интерактивном подъязыках SQL. В заключение главы рассказывается о трех уровнях языка SQL, определенных в стандарте (это важная часть курса, поскольку на сегодня нет ни одной полной реализации языка).
В четвертой главе курса приводится обсуждение сравнительных характеристик языков SQL/89 и SQL/92, а также проблемы частичной несовместимости этих языков. В заключение курса рассматриваются некоторые свойства, которые ожидается увидеть в следующем стандарте - SQL/3.
|

Представление ASSERTIONS

Представление идентифицирует утверждения целостности, определенные в данном каталоге и принадлежащие данному пользователю. Определение представления:
CREATE VIEW ASSERTIONS AS SELECT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, IS_DEFERRABLE, INITIALLY_DEFERRED FROM DEFINITION_SCHEMA.ASSERTIONS JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление CHARACTER_SETS

Это представление идентифицирует наборы символов, определенные в данном каталоге и доступные данному пользователю:
CREATE VIEW CHARACTER_SETS AS SELECT CHARACTER_SET_CATALOG, CHARACTER_SET_SCHEMA, CHARACTER_SET_NAME, FORM_OF_USE, NUMBER_OF_CHARACTERS, DEFAULT_COLLATE_CATALOG, DEFAULT_COLLATE_SCHEMA, DEFAULT_COLLATE_NAME FROM DEFINITION_SCHEMA.CHARACTER_SETS WHERE (CHARACTER_SET_CATALOG, CHARACTER_SET_SCHEMA, CHARACTER_SET_NAME, 'CHARACTER SET') IN (SELECT OBJECT_CATALOG, OBJECT_SCHEMA, OBJECT_NAME, OBJECT_TYPE FROM DEFINITION_SCHEMA.USAGE_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER)) AND CHARACTER_SET_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)
Далее мы пропустим определения двух представлений - COLLATIONS и TRANSLATIONS, поскольку соответствующие понятия не рассматривались в курсе и смысл этих представлений все равно будет непонятен (как мы отмечали, вообще понятия, связанные с использованием национальных наборов символов, трудно использовать обычным пользователям).

Представление CHECK_CONSTRAINTS

Представление идентифицирует проверочные ограничения, определенные в данном каталоге и принадлежащие данному пользователю. Определение представления:
CREATE VIEW CHECK_CONSTRAINTS AS SELECT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, CHECK_CLAUSE FROM DEFINITION_SCHEMA.CHECK_CONSTRAINTS JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление COLUMN_DOMAIN_USAGE

Представление идентифицирует столбцы, определенные в данном каталоге, которые зависят от домена, определенного в этом же каталоге, и принадлежат данному пользователю. Определение представления выглядит следующим образом:
CREATE VIEW COLUMN_DOMAIN_USAGE AS SELECT D.DOMAIN_CATALOG, D.DOMAIN_SCHEMA, D.DOMAIN_NAME, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME FROM DEFINITION_SCHEMA.COLUMNS C JOIN DEFINITION_SCHEMA.DOMAINS D JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((DOMAIN_CATALOG, DOMAIN_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) ON ((D.DOMAIN_CATALOG, D.DOMAIN_SCHEMA, D.DOMAIN_NAME) = (C.DOMAIN_CATALOG, C.DOMAIN_SCHEMA, C.DOMAIN_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND C.DOMAIN_NAME IS NOT NULL AND D.DOMAIN_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление COLUMN_PRIVILEGES

Это представление идентифицирует привилегии для столбцов таблиц, определенных в данном каталоге, которые доступны данному пользователю или переданы им. Представление определяется следующим образом:
CREATE VIEW COLUMN_PRIVILEGES AS SELECT GRANTOR, GRANTEE, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME, PRIVILEGE_TYPE, IS_GRANTABLE FROM DEFINITION_SCHEMA.COLUMN_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER) OR GRANTOR = CURRENT_USER AND TABLE_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление COLUMNS

Представление идентифицирует столбцы таблиц, определенных в данном каталоге и доступных данному пользователю. Представление определяется следующим образом:
CREATE VIEW COLUMNS AS SELECT DISTINCT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, C.COLUMN_NAME, ORDINAL_POSITION, CASE WHEN EXISTS (SELECT * FROM DEFINITION_SCHEMA.SCHEMATA AS S WHERE (TABLE_CATALOG, TABLE_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME) AND SCHEMA_OWNER = USER) THEN COLUMN_DEFAULT ELSE NULL END AS COLUMN_DEFAULT, IS_NULLABLE, COALESCE (D1.DATA_TYPE, D2.DATA_TYPE) AS DATA_TYPE, LESCE (D1.CHARACTER_MAXIMUM_LENGTH, D2.CHARACTER_MAXIMUM_LENGTH) AS CHARACTER_MAXIMUM_LENGTH, COALESCE (D1.CHARACTER_OCTET_LENGTH, D2.CHARACTER_OCTET_LENGTH) AS CHARACTER_OCTET_LENGTH, COALESCE (D1.NUMERIC_PRECISION, D2.NUMERIC_PRECISION) AS NUMERIC_PRECISION, COALESCE (D1.NUMERIC_PRECISION_RADIX, D2.NUMERIC_PRECISION_RADIX) AS NUMERIC_PRECISION_RADIX, COALESCE (D1.NUMERIC_SCALE, D2.NUMERIC_SCALE) AS NUMERIC_SCALE, COALESCE (D1.DATETIME_PRECISION, D2.DATETIME_PRECISION) AS DATETIME_PRECISION, COALESCE (C1.CHARACTER_SET_CATALOG, C2.CHARACTER_SET_CATALOG) AS CHARACTER_SET_CATALOG, COALESCE (C1.CHARACTER_SET_SCHEMA, C2.CHARACTER_SET_SCHEMA) AS CHARACTER_SET_SCHEMA, COALESCE (C1.CHARACTER_SET_NAME, C2.CHARACTER_SET_NAME) AS CHARACTER_SET_NAME, COALESCE (D1.COLLATION_CATALOG, D2.COLLATION_CATALOG) AS COLLATION_CATALOG, COALESCE (D1.COLLATION_SCHEMA, D2.COLLATION_SCHEMA) AS COLLATION_SCHEMA, COALESCE (D1.COLLATION_NAME, D2.COLLATION_NAME) AS COLLATION_NAME, DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME FROM DEFINITION_SCHEMA.COLUMNS AS C LEFT JOIN DEFINITION_SCHEMA.DATA_TYPE_DESCRIPTOR AS D1 LEFT JOIN DEFINITION_SCHEMA.COLLATIONS AS C1 ON ((C1.COLLATION_CATALOG, C1.COLLATION_SCHEMA, C1.COLLATION_NAME) = (D1.COLLATION_CATALOG, D1.COLLATION_SCHEMA, D1.COLLATION_NAME)) ON ((C.TABLE_CATALOG, C.TABLE_SCHEMA, C.TABLE_NAME, C.COLUMN_NAME) = (D1.TABLE_OR_DOMAIN_CATALOG, D1.TABLE_OR_DOMAIN_SCHEMA, D1.TABLE_OR_DOMAIN_NAME, D1.COLUMN_NAME)) LEFT JOIN DEFINITION_SCHEMA.DATA_TYPE_DESCRIPTOR AS D2 LEFT JOIN DEFINITION_SCHEMA.COLLATIONS AS C2 ON ((C2.COLLATION_CATALOG, C2.COLLATION_SCHEMA, C2.COLLATION_NAME) = (D2.COLLATION_CATALOG, D2.COLLATION_SCHEMA, D2.COLLATION_NAME)) ON ((C.DOMAIN_CATALOG, C.DOMAIN_SCHEMA, C.DOMAIN_NAME) = (D2.TABLE_OR_DOMAIN_CATALOG, D2.TABLE_OR_DOMAIN_SCHEMA, D2.TABLE_OR_DOMAIN_NAME)) WHERE (C.TABLE_CATALOG, C.TABLE_SCHEMA, C.TABLE_NAME, C.COLUMN_NAME) IN (SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME FROM DEFINITION_SCHEMA.COLUMN_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER)) AND C.TABLE_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление CONSTRAINT_COLUMN_USAGE

Представление идентифицирует столбцы, используемые в ссылочных ограничениях, ограничениях уникальности, проверочных ограничениях и утверждениях целостности, которые определены в данном каталоге и принадлежат данному пользователю. Определение представления:
CREATE VIEW CONSTRAINT_COLUMN_USAGE AS SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME, CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME FROM ((SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME, CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME FROM DEFINITION_SCHEMA.CHECK_COLUMN_USAGE) UNION (SELECT K.TABLE_CATALOG, K.TABLE_SCHEMA, K.TABLE_NAME, K.COLUMN_NAME, CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME FROM DEFINITION_SCHEMA.TABLE_CONSTRAINTS JOIN DEFINITION_SCHEMA.KEY_COLUMN_USAGE AS K USING (CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME)) JOIN DEFINITION_SCHEMA.SCHEMATA ON ((TABLE_CATALOG, TABLE_SCHEMA) = (CATALOG_NAME, SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление CONSTRAINT_TABLE_USAGE

Это представление идентифицирует таблицы, используемые в ссылочных ограничениях, ограничениях уникальности, проверочных ограничениях и утверждениях целостности, которые определены в данном каталоге и принадлежат данному пользователю. Определение представления: CREATE VIEW CONSTRAINT_TABLE_USAGE AS SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME FROM ((SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME FROM DEFINITION_SCHEMA.CHECK_COLUMN_USAGE) UNION (SELECT PK.TABLE_CATALOG, PK.TABLE_SCHEMA, PK.TABLE_NAME, FK.CONSTRAINT_CATALOG, FK.CONSTRAINT_SCHEMA, FK.CONSTRAINT_NAME FROM DEFINITION_SCHEMA.REFERENTIAL_CONSTRAINTS AS FK JOIN DEFINITION_SCHEMA.TABLE_CONSTRAINTS AS PK ON (FK.UNIQUE_CONSTRAINT_CATALOG, FK.UNIQUE_CONSTRAINT_SCHEMA, FK.UNIQUE_CONSTRAINT_NAME) = (PK.CONSTRAINT_CATALOG, PK.CONSTRAINT_SCHEMA, PK.CONSTRAINT_NAME))) JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((TABLE_CATALOG, TABLE_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE S.SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление DOMAIN_CONSTRAINTS

Это представление идентифицирует ограничения доменов в данном каталоге, доступных данному пользователю. Определение представления:
CREATE VIEW DOMAIN_CONSTRAINTS AS SELECT DISTINCT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME, IS_DEFERRABLE, INITIALLY_DEFERRED FROM DEFINITION_SCHEMA.DOMAIN_CONSTRAINTS JOIN DEFINITION_SCHEMA.SCHEMATA AS S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, SCHEMA_NAME S)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление DOMAINS

Представление идентифицирует домены в данном каталоге, доступные данному пользователю. Представление определяется следующим образом:
CREATE VIEW DOMAINS AS SELECT DISTINCT DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME, DATA_TYPE, CHARACTER_MAXIMUM_LENGTH, CHARACTER_OCTET_LENGTH, COLLATION_CATALOG, COLLATION_SCHEMA,COLLATION_NAME, CHARACTER_SET_CATALOG, CHARACTER_SET_SCHEMA, CHARACTER_SET_NAME, NUMERIC_PRECISION, NUMERIC_PRECISION_RADIX, NUMERIC_SCALE, DATETIME_PRECISION, DOMAIN_DEFAULT FROM DEFINITION_SCHEMA.DOMAINS JOIN DEFINITION_SCHEMA.DATA_TYPE_DESCRIPTOR AS D LEFT JOIN DEFINITION_SCHEMA.COLLATIONS AS S USING (COLLATION_CATALOG, COLLATION_SCHEMA, COLLATION_NAME) ON ((DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME, '') = (TABLE_OR_DOMAIN_CATALOG, TABLE_OR_DOMAIN_SCHEMA, TABLE_OR_DOMAIN_NAME, COLUMN_NAME)) WHERE ((DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME, 'DOMAIN') IN (SELECT OBJECT_CATALOG, OBJECT_SCHEMA, OBJECT_NAME, OBJECT_TYPE FROM DEFINITION_SCHEMA.USAGE_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER)) OR (DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME) IN (SELECT DOMAIN_CATALOG, DOMAIN_SCHEMA, DOMAIN_NAME FROM COLUMNS)) AND DOMAIN_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление KEY_COLUMN_USAGE

Это представление идентифицирует столбцы, определенные в данном каталоге и объявленные ключевыми данным пользователем. Представление определяется следующим образом:
CREATE VIEW KEY_COLUMN_USAGE AS SELECT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME, ORDINAL_POSITION FROM DEFINITION_SCHEMA.KEY_COLUMN_USAGE JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление REFERENTIAL_CONSTRAINTS

Это представление идентифицирует ссылочные ограничения, определенные в данном каталоге и принадлежащие данному пользователю. Определение представления:
CREATE VIEW REFERENTIAL_CONSTRAINTS AS SELECT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, UNIQUE_CONSTRAINT_CATALOG, UNIQUE_CONSTRAINT_SCHEMA, UNIQUE_CONSTRAINT_NAME, MATCH_OPTION, UPDATE_RULE, DELETE_RULE FROM DEFINITION_SCHEMA.REFERENTIAL_CONSTRAINTS JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление SCHEMATAview

Это представление идентифицирует схемы, принадлежащие данному пользователю. Определение представления:
CREATE VIEW SCHEMATA AS SELECT CATALOG_NAME, SCHEMA_NAME, SCHEMA_OWNER, DEFAULT_CHARACTER_SET_CATALOG, DEFAULT_CHARACTER_SET_SCHEMA, DEFAULT_CHARACTER_SET_NAME FROM DEFINITION_SCHEMA.SCHEMATA WHERE SCHEMA_OWNER = CURRENT_USER AND CATALOG_NAME = ( SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление SQL_LANGUAGES

Это представление идентифицирует уровни соответствия, опции и диалекты, поддерживаемые реализацией SQL, обрабатывающей данные, которые определены в данном каталоге. Представление определяется следующим образом:
CREATE VIEW SQL_LANGUAGES AS SELECT SQL_LANGUAGE_SOURCE, SQL_LANGUAGE_YEAR, SQL_LANGUAGE_CONFORMANCE, SQL_LANGUAGE_INTEGRITY, SQL_LANGUAGE_IMPLEMENTATION, SQL_LANGUAGE_BINDING_STYLE, SQL_LANGUAGE_PROGRAMMING_LANGUAGE FROM DEFINITION_SCHEMA.SQL_LANGUAGES

Представление TABLE_CONSTRAINTS

Представление идентифицирует табличные ограничения, определенные в данном каталоге и принадлежащие данному пользователю. Представление определяется следующим образом:
CREATE VIEW TABLE_CONSTRAINTS
AS SELECT CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA, CONSTRAINT_NAME, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, CONSTRAINT_TYPE, IS_DEFERRABLE, INITIALLY_DEFERRED FROM DEFINITION_SCHEMA.TABLE_CONSTRAINTS JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((CONSTRAINT_CATALOG, CONSTRAINT_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND CONSTRAINT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление TABLE_PRIVILEGES

Представление идентифицирует привилегии для таблиц, определенных в данном каталоге, которые доступны данному пользователю или переданы им. Определение представления:
CREATE VIEW TABLE_PRIVILEGES AS SELECT GRANTOR, GRANTEE, TABLE_CATALOG, TABLE_SCHEMA, ABLE_NAME, PRIVILEGE_TYPE, IS_GRANTABLE FROM DEFINITION_SCHEMA.TABLE_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER) OR GRANTOR = CURRENT_USER AND TABLE_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление TABLES

Представление идентифицирует таблицы, определенные в данном каталоге и доступные данному пользователю. Представление определяется следующим образом:
CREATE VIEW TABLES AS SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, TABLE_TYPE FROM DEFINITION_SCHEMA.TABLES WHERE (TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME) IN (SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME FROM DEFINITION_SCHEMA.TABLE_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER) UNION SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME FROM DEFINITION_SCHEMA.COLUMN_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER)) AND TABLE_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление USAGE_PRIVILEGES

Представление идентифицирует привилегии USAGE для объектов, определенных в данном каталоге, которые доступны данному пользователю или переданы им. Определение представления:
CREATE VIEW USAGE_PRIVILEGES AS SELECT GRANTOR, GRANTEE, OBJECT_CATALOG, OBJECT_SCHEMA, OBJECT_NAME, OBJECT_TYPE, 'USAGE' AS PRIVILEGE_TYPE, IS_GRANTABLE FROM DEFINITION_SCHEMA.USAGE_PRIVILEGES WHERE GRANTEE IN ('PUBLIC', CURRENT_USER) OR GRANTOR = CURRENT_USER AND OBJECT_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление VIEW_COLUMN_USAGE

Представление идентифицирует столбцы, от которых зависят представления, определенные в данном каталоге и принадлежащие данному пользователю. Определение представления:
CREATE VIEW VIEW_COLUMN_USAGE AS SELECT VIEW_CATALOG, VIEW_SCHEMA, VIEW_NAME, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, COLUMN_NAME FROM DEFINITION_SCHEMA.VIEW_COLUMN_USAGE JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((TABLE_CATALOG, TABLE_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND VIEW_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление VIEW_TABLE_USAGE

Это представление идентифицирует таблицы, от которых зависят представляемые таблицы, определенные в данном каталоге и принадлежащие данному пользователю. Определение представления:
CREATE VIEW VIEW_TABLE_USAGE AS SELECT VIEW_CATALOG, VIEW_SCHEMA, VIEW_NAME, TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME FROM DEFINITION_SCHEMA.VIEW_TABLE_USAGE JOIN DEFINITION_SCHEMA.SCHEMATA S ON ((TABLE_CATALOG, TABLE_SCHEMA) = (S.CATALOG_NAME, S.SCHEMA_NAME)) WHERE SCHEMA_OWNER = CURRENT_USER AND VIEW_CATALOG = (SELECT CATALOG_NAME FROM INFORMATION_SCHEMA_CATALOG_NAME)

Представление VIEWS

Представление идентифицирует представляемые таблицы, определенные в данном каталоге и доступные данному пользователю. Определение представления:
CREATE VIEW VIEWS AS SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME, CASE WHEN (TABLE_CATALOG, TABLE_SCHEMA, CURRENT_USER) IN (SELECT CATALOG_NAME, SCHEMA_NAME, SCHEMA_OWNER FROM DEFINITION_SCHEMA.SCHEMATA) THEN VIEW_DEFINITION ELSE NULL END AS VIEW_DEFINITION, CHECK_OPTION, IS_UPDATABLE FROM DEFINITION_SCHEMA.VIEWS WHERE (TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME) IN (SELECT TABLE_CATALOG, TABLE_SCHEMA, TABLE_NAME FROM TABLES) AND TABLE_CATALOG = (SELECT CATALOG_NAMEFROM INFORMATION_SCHEMA_CATALOG_NAME)

Практические занятия курса "Введение в стандарты языка баз данных SQL"

На практических занятиях слушатели освоят основные приемы использования стандартного языка SQL в интерактивном режиме. Мы сознательно ограничиваемся этим режимом по следующим соображениям. Во-первых, цель этого курса состоит не в том, чтобы научить разрабатывать информационные приложения, а в том, чтобы показать возможности языка SQL. В этом смысле более важно понять принципы взаимодействия с базами данных. Используя интерактивный режим, такого понимания можно добиться существенно быстрее. Во-вторых, использование интерактивного режима, в частности, демонстрирует один из примеров приложения, которое само разработано на основе динамического SQL. Тем самым, слушатели могут на практике убедиться в том, что язык SQL дает возможность создавать разнообразные приложения, ориентированные на непосредственное общение с пользователем.
В качестве основного инструмента практических занятий будет использоваться MicrosoftSQLServer 6.5. Этот выбор не связан с тем, что данный сервер обладает какими-либо исключительными характеристиками. На самом деле, для наших целей подошла бы любая реляционная СУБД, в достаточной степени поддерживающая стандарт SQL. В частности, можно было бы использовать свободно распространяемую СУБД PostgreSQL или созданный в России сервер GSQL. Но MSSQLServer является исключительно популярным продуктом и работает на распространенных платформах серии Windows. Сервер входит в шестерку наиболее известных и мощных продуктов управления базами данных (остальные пять СУБД включают Informix, Oracle, Sybase, CA-OpenIngres и DB2 компании IBM). Не факт, что MSSQLServer идеально подходит в качестве основы корпоративных информационных приложений, но его возможностей вполне достаточно для демонстрации возможностей стандарта SQL.
Как и все другие производители реляционных СУБД, компания Microsoft внесла ряд расширений в свой вариант SQL. Тем не менее, продукт соответствует стандарту SQL/89 и вводному уровню SQL/92. Естественно, на занятиях мы будем пользоваться только стандартным подмножеством языка.
На практике будет использоваться стандартная демонстрационная база данных pubs, поставляемая вместе с SQL-сервером. В этой базе данных имеются некоторые объекты, выходящие за рамки стандарта SQL. Эти объекты использоваться не будут. Каждый из слушателей получит привилегии доступа по чтению ко всем таблицам, существующим в pubs, и, кроме того, привилегию для создания собственной таблицы. Тем самым, все слушатели будут работать с общей базой данных в режиме мультидоступа.

Привилегии

Поскольку все слушатели работают под одним идентификатором, реально проверить возможности передачи привилегий мы не сможем. Тем не менее, каждый пользователь должен передать право на чтение всех столбцов созданной им таблицы пользователю с идентификатором public.

Привилегия авторизует данную категорию действий по отношению к указанным базовой таблице, представлению, столбцу, домену и т.д. на основе специфицированного идентификатора авторизации. Отображение идентификаторов авторизации на пользователей операционной системы является зависимым от реализации. Могут быть специфицированы следующие действия:

INSERT

INSERT ()

UPDATE

UPDATE ()

DELETE

SELECT

REFERENCES

REFERENCES ()

USAGE

Идентификатор авторизации определяется для каждого определения схемы и модуля, а также для каждой SQL-сессии. Схема, которая связана с данным идентификатором привилегий может содержать дескрипторы привилегий, описывающие привилегии, которые переданы другим идентификаторам авторизации (получателям привилегий). Переданные привилегии применяются к объектам, определенным в текущей схеме. Раздел WITHGRANTOPTION оператора GRANT указывает, что получатель привилегии может передать ее дальше.
Текущий идентификатор авторизации определяет привилегии для выполнения каждого оператора SQL. При прямом использовании SQL идентификатор авторизации SQL-сессии всегда является текущим идентификатором авторизации.
Описатель привилегии с действием INSERT, UPDATE, DELETE, SELECT и REFERENCES называется описателем привилегий уровня таблицы и идентифицирует существование привилегии к таблице, идентифицируемой описателем привилегии.
Описатель привилегии с действием SELECT (), INSERT (), UPDATE (), и REFERENCES () называется описателем привилегии уровня столбца и идентифицирует существование привилегии к столбцу таблицы, идентифицируемой описателем привилегии.

Прямой вызов операторов SQL

Как мы уже упоминали, в стандарте SQL/92 специфицирован набор операторов, которые могут вызываться напрямую не будучи встроены в модуль или программу на языке программирования. Обычно прямой вызов производится с помощью некоторой утилиты СУБД, обеспечивающей возможности интерактивного ввода и редактирования SQL-операторов и отображение результатов на экран терминала. Наиболее естественным способом написания такой утилиты является использование динамического SQL.
Набор прямо вызываемых операторов определяется следующими синтаксическими правилами:
::= ::= | | | | | ::= | | | | ::= См. пояснения ниже
Пояснения:

Прямые операторы манипулирования данными (directSQLdatastatement) не должны содержать спецификацию параметров, спецификацию динамических параметров и спецификацию переменных.

Спецификация значения, представляющего неопределенное значение, определяется в реализации.

Синтаксические правила для прямых операторов, определяемых в реализации, (directimplementation-definedstatement) определяются в реализации.

Инициирующими транзакцию являются следующие прямые операторы SQL:
(a) операторы, являющиеся инициирующими транзакцию операторами, которые могут входить в SQL-процедуру;

(b) прямой оператор выборки, возвращающий несколько строк (directselectstatement: multiplerows);

(c) инициирующий транзакцию прямой оператор, определяемый в реализации.

После последнего вызова оператора SQLSQL-агентом в SQL-сессии происходит следующее:

(a) выполняется оператор ROLLBACK или оператор COMMIT; если возникает невосстанавливаемая ошибка или если прямой вызов SQL завершается непредусмотренным образом (это определяется в реализации), или если не удовлетворяется некоторое ограничение, то выполняется оператор ROLLBACK; в противном случае выбор между выполнением операторов ROLLBACK и COMMIT определяется в реализации;

(b) пусть D - имя дескриптора в некоторой области дескрипторов, который выделен в пределах текущей сессии; тогда выполняется следующий оператор: DEALLOCATEDESCRIPTORD;

(c) все SQL-сессии, связанные с данным SQL-агентом, завершаются.

Пусть S обозначает прямой оператор SQL.

Текущим идентификатором авторизации для выполнения S является идентификатор авторизации SQL-сессии.

При вызове SSQL-агентом происходит следующее:

(a) если S - это оператор подключения, то

(i) очищается область диагностики;

(ii) S выполняется;

(iii) если оператор S успешно инициировал или возобновил SQL-сессию, то последующие вызовы операторов прямого SQL данным SQL-агентом связываются с этой сессией, пока SQL-агент не завершит ее или не сделает потенциальной;

(b) в противном случае:

(i) если для SQL-агента не существует текущая SQL-сессия, то:

(*) если SQL-агент не выполнял оператора подключения и с ним не связана SQL-сессия по умолчанию, то выполняется следующий оператор подключения: CONNECTTODEFAULT;

(**) если SQL-агент не выполнял оператора подключения и с ним связана SQL-сессия по умолчанию, то выполняется следующий оператор установки подключения: SETCONNECTIONDEFAULT;

(***) в противном случае возникает исключительное условие;

(ii) если для данного SQL-агента существует активная транзакция, то S связывается с этой транзакцией SQL-transaction; если S - прямой оператор SQL, определяемый в реализации, то в реализации же определяется, может ли S ассоциироваться с текущей транзакцией, если не может, то возбуждается исключительное условие;

(iii) если для данного SQL-агента не существует активной транзакции, то

(*) если S является инициирующим транзакцию оператором, то инициируется SQL-транзакция;

(**) если S является прямым оператором, определяемым в реализации, то в реализации же определяется, инициирует ли S транзакцию; если инициирует, то инициируется SQL-транзакция.

(***) если оператор S инициировал транзакцию, то пусть T обозначает эту транзакцию; тогда:

(****) T ассоциируется с данным вызовом и со всеми последующими вызовами прямых операторов SQL и процедур, производимых данным SQL-агентом, до тех пор, пока этот агент не завершит T;

(*****) если после завершения последней транзакции в данной SQL-сессии был выполнен оператор установки параметров транзакции, то режим доступа, режим проверки ограничений и уровень изоляции T устанавливаются в соответствии с заданными параметрами;

(******) в противном случае для T устанавливается режим доступа "чтение-запись", режим проверки ограничений "немедленный" и уровень изоляции;

(*******) T ассоциируется с текущей SQL-сессией;

(iv) область диагностики очищается;

(v) S выполняется.

Если в одной транзакции происходит вызов прямого оператора манипулирования данными и оператора манипулирования схемой и это не допускается реализацией, возбуждается исключительное условие.

Если выполнение S завершилось успешно, то вырабатывается условие завершения "успешное выполнение", либо "предупреждение", либо "нет данных".

Если выполнение S завершилось неуспешно, то все изменения, произведенные S над данными или над схемой, ликвидируются, и возбуждается исключительное условие.

Диагностическая информация по поводу выполнения S помещается в область диагностики; способ доступа к диагностической информации определяется в реализации, но в любом случае содержимое области диагностики не меняется.

Как видно из синтаксических правил, определяющих набор прямых операторов SQL, в состав этого набора входит специальный оператор выборки, не употребляемый в других контекстах и потому не рассмотренный нами ранее. Синтаксис этого оператора следующий:

::= [ ]

Пояснения:

Как видно, синтаксис этого оператора очень напоминает синтаксис спецификации курсора: отсутствует только раздел изменяемости (updatabilityclause). Однако, поскольку это прямой оператор, то в его выражении запроса и разделе сортировки не должны содержаться спецификации значений, отличные от литералов, CURRENT_USER, SESSION_USER и SYSTEM_USER.

Пусть Q обозначает результат вычисления выражения запроса.

Если Q пусто, то вырабатывается условие завершения оператора "нет данных".

Если оператор не содержит раздела сортировки, то порядок строк в Q зависит от реализации; иначе порядок строк устанавливается в соответствии с параметрами раздела сортировки.

Если Q непусто, то возвращается оператором, причем используемый способ возврата определяется в реализации.

Проверочное ограничение

Проверочное ограничение специфицирует условие, которому должна удовлетворять в отдельности каждая строка таблицы T. Это условие не должно содержать подзапросов, спецификаций агрегатных функций, а также ссылок на внешние переменные или параметров. В него могут входить только имена столбцов данной таблицы и литеральные константы.
Таблица удовлетворяет проверочному ограничению целостности в том и только в том случае, когда вычисление условия для каждой строки таблицы дает true.
Замечание: В некоторых реализациях допускаются расширенные механизмы ограничений по ссылкам и проверочных ограничений. Следует быть внимательным, если не желать выходить за пределы возможностей стандарта.

Раздел FROM

Раздел FROM имеет следующий синтаксис:
::= FROM

({,

}...]

::=

[]
Результатом выполнения раздела FROM является расширенное декартово произведение таблиц, заданных списком таблиц раздела FROM. Расширенное декартово произведение (расширенное, потому что в качестве операндов и результата допускаются мультимножества) в стандарте определяется следующим образом:
"Расширенное произведение R есть мультимножество всех строк r таких, что r является конкатенацией строк из всех идентифицированных таблиц в том порядке, в котором они идентифицированы. Мощность R есть произведение мощностей идентифицированных таблиц. Порядковый номер столбца в R есть n+s, где n - порядковый номер порождающего столбца в именованной таблице T, а s - сумма степеней всех таблиц, идентифицированных до T в разделе FROM".
Как видно из синтаксиса, рядом с именем таблицы можно указывать еще одно имя "correlationname". Фактически, это некоторый синоним имени таблицы, который можно использовать в других разделах табличного выражения для ссылки на строки именно этого вхождения таблицы.
Если табличное выражение содержит только раздел FROM (это единственный обязательный раздел табличного выражения), то результат табличного выражения совпадает с результатом раздела FROM.

Формально синтаксис остался таким же, как и в SQL/89:
::= FROM

[ {

}... ]
Но вспомним, что такое ссылка на таблицу в SQL/92 (см. выше). Реально можно весь запрос сосредоточить в разделе FROM.

Раздел GROUPBY

Если в табличном выражении присутствует раздел GROUPBY, то следующим выполняется он. Синтаксис раздела GROUPBY следующий:
::= GROUP BY [{,}...]
Если обозначить через R таблицу, являющуюся результатом предыдущего раздела (FROM или WHERE), то результатом раздела GROUPBY является разбиение R на множество групп строк, состоящего из минимального числа групп таких, что для каждого столбца из списка столбцов раздела GROUPBY во всех строках каждой группы, включающей более одной строки, значения этого столбца равны. Для обозначения результата раздела GROUPBY в стандарте используется термин "сгруппированная таблица".

Раздел HAVING

Наконец, последним при вычислении табличного выражения используется раздел HAVING (если он присутствует). Синтаксис этого раздела следующий:
::= HAVING
Раздел HAVING может осмысленно появиться в табличном выражении только в том случае, когда в нем присутствует раздел GROUPBY. Условие поиска этого раздела задает условие на группу строк сгруппированной таблицы. Формально раздел HAVING может присутствовать и в табличном выражении, не содержащем GROUPBY. В этом случае полагается, что результат вычисления предыдущих разделов представляет собой сгруппированную таблицу, состоящую из одной группы без выделенных столбцов группирования.
Условие поиска раздела HAVING строится по тем же синтаксическим правилам, что и условие поиска раздела WHERE, и может включать те же самые предикаты. Однако имеются специальные синтаксические ограничения по части использования в условии поиска спецификаций столбцов таблиц из раздела FROM данного табличного выражения. Эти ограничения следуют из того, что условие поиска раздела HAVING задает условие на целую группу, а не на индивидуальные строки.
Поэтому в арифметических выражениях предикатов, входящих в условие выборки раздела HAVING, прямо можно использовать только спецификации столбцов, указанных в качестве столбцов группирования в разделе GROUPBY. Остальные столбцы можно специфицировать только внутри спецификаций агрегатных функций COUNT, SUM, AVG, MIN и MAX, вычисляющих в данном случае некоторое агрегатное значение для всей группы строк. Аналогично обстоит дело с подзапросами, входящими в предикаты условия выборки раздела HAVING: если в подзапросе используется характеристика текущей группы, то она может задаваться только путем ссылки на столбцы группирования.
Результатом выполнения раздела HAVING является сгруппированная таблица, содержащая только те группы строк, для которых результат вычисления условия поиска есть true. В частности, если раздел HAVING присутствует в табличном выражении, не содержащем GRОUPBY, то результатом его выполнения будет либо пустая таблица, либо результат выполнения предыдущих разделов табличного выражения, рассматриваемый как одна группа без столбцов группирования.

Раздел ORDERBY

Наконец, раздел ORDERBY позволяет установить желаемый порядок просмотра результата выражения запросов. Синтаксис ORDERBY следующий:
::= ORDER BY [{,}...] ::= { } [ASC DESC]
Как видно из этих синтаксических правил, фактически задается список столбцов результата выражения запросов, и для каждого столбца указывается порядок просмотра строк результата в зависимости от значений этого столбца (ASC - по возрастанию, этот режим используется по умолчанию, DESC - по убыванию). Столбцы можно задавать их именами в том и только в том случае, когда (1) выражение запросов не содержит операций UNION или UNIONALL и (2) в списке выборки спецификации запроса этому столбцу соответствует арифметическое выражение, состоящее только из имени столбца. Во всех остальных случаях в разделе ORDERBY должен указываться порядковый номер столбца в таблице-результате выражения запросов.

Раздел WHERE

Если в табличном выражении присутствует раздел WHERE, то следующим вычисляется он. Синтаксис раздела WHERE следующий:
::= WHERE ::= OR ::= AND ::= [NOT] ::= ()
Вычисление раздела WHERE производится по следующим правилам: Пусть R - результат вычисления раздела FROM. Тогда условие поиска применяется ко всем строкам R, и результатом раздела WHERE является таблица, состоящая из тех строк R, для которого результатом вычисления условия поиска является true. Если условие выборки включает подзапросы, то каждый подзапрос вычисляется для каждого кортежа таблицы R (в стандарте используется термин "effectively" в том смысле, что результат должен быть таким, как если бы каждый подзапрос действительно вычислялся заново для каждого кортежа R). Заметим, что поскольку SQL/89 допускает наличие в базе данных неопределенных значений, то вычисление условия поиска производится не в булевой, а в трехзначной логике со значениями true, false и unknown (неизвестно). Для любого предиката известно, в каких ситуациях он может порождать значение unknown. Булевские операции AND, OR и NOT работают в трехзначной логике следующим образом:
trueANDunknown = unknown unknownANDtrue = unknown unknownANDunknown = unknown trueORunknown = true unknownORtrue = true unknownORunknown = unknown NOTunknown = unknown
Среди предикатов условия поиска в соответствии с SQL/89 могут находиться следующие предикаты: предикат сравнения, предикат between, предикат in, предикат like, предикат null, предикат с квантором и предикат exists. Сразу заметим, что во всех реализациях SQL на эффективность выполнения запроса существенно влияет наличие в условии поиска простых предикатов сравнения (предикатов, задающих сравнение столбца таблицы с константой). Наличие таких предикатов позволяет СУБД использовать индексы при выполнении запроса, т.е. избегать полного просмотра таблицы. Хотя в принципе язык SQL позволяет пользователям не заботиться о конкретном наборе предикатов в условии выборки (лишь бы они были синтаксически и семантически правильны), при реальном использовании SQL-ориентированных СУБД такие технические детали стоит иметь в виду.

Снова синтаксис формально не изменился:
::= WHERE
Но существенно расширен набор допустимых предикатов (см. следующий раздел).
Разделы GROUPBY и HAVING остались такими же, как в SQL/89, если не считать расширения набора предикатов, которые можно использовать в условии HAVING.
Минимальный осмысленный контекст использования табличных выражений составляет спецификация запроса - один из основных строительных блоков для построения выражения запросов. Синтаксис спецификации запросов следующий:
::= SELECT [ ]

[ { ::= | ::= [ ] ::= [ AS ]
Опять же на вид это очень похоже на соответствующую конструкцию SQL/89, но нужно иметь в виду, что, во-первых, в основе спецификации запроса SQL/92 лежит существенно расширенная конструкция табличного выражения, а во-вторых, в спецификации присутствует необязательный раздел AS, позволяющий присвоить имена таблице, которая генерируется при выполнении запроса. Эта возможность кажется на первый взгляд мелочью, но именно она позволяет использовать порождаемые таблицы в разделе FROM и отказаться от использования номеров столбцов порождаемой таблицы в разделе ORDERBY выражения запросов (см. ниже).

Результаты запросов

Агрегатные функции можно разумно использовать в спецификации курсора, операторе выборки и подзапросе после ключевого слова SELECT (будем называть в этом подразделе все такие конструкции списком выборки, не забывая о том, что в случае подзапроса этот список состоит только из одного элемента), и в условии выборки раздела HAVING. Стандарт допускает более экзотические использования агрегатных функций в подзапросах (агрегатная функция на группе кортежей внешнего запроса), но на практике они встречаются очень редко.
Рассмотрим различные случаи применения агрегатных функций в списке выборки в зависимости от вида табличного выражения.
Если результат табличного выражения R не является сгруппированной таблицей, то появление хотя бы одной агрегатной функции от множества строк R в списке выборки приводит к тому, что R неявно рассматривается как сгруппированная таблица, состоящая из одной (или нуля) групп с отсутствующими столбцами группирования. Поэтому в этом случае в списке выборки не допускается прямое использование спецификаций столбцов R: все они должны находиться внутри спецификаций агрегатных функций. Результатом запроса является таблица, состоящая не более чем из одной строки, полученной путем применения агрегатных функций к R.
Аналогично обстоит дело в том случае, когда R представляет собой сгруппированную таблицу, но табличное выражение не содержит раздела GROUPBY (и, следовательно, содержит раздел HAVING). Если в случае предыдущего абзаца имелись два варианта формирования списка выборки: только с прямым указанием столбцов R или только с указанием их внутри спецификаций агрегатных функций, то в данном случае возможен только второй вариант. Результат табличного выражения явно объявлен сгруппированной таблицей, состоящей из одной группы, и результат запроса можно формировать только путем применения агрегатных функций к этой группе строк. Опять результатом запроса является таблица, состоящая не более чем из одной строки, полученной путем применения агрегатных функций к R.
Наконец, рассмотрим случай, когда R представляет собой "настоящую" сгруппированную таблицу, т.е. табличное выражение содержит раздел GROUPBY и, следовательно, определен по крайней мере один столбец группирования. В этом случае правила формирования списка выборки полностью соответствуют правилам формирования условия выборки раздела HAVING: допускается прямое использование спецификации столбцов группирования, а спецификации остальных столбцов R могут появляться только внутри спецификаций агрегатных функций. Результатом запроса является таблица, число строк в которой равно числу групп в R, и каждая строка формируется на основе значений столбцов группирования и агрегатных функций для данной группы.

Семантика агрегатных функций

Агрегатные функции предназначены для того, чтобы вычислять некоторое значение для заданного множества строк. Таким множеством строк может быть группа строк, если агрегатная функция применяется к сгруппированной таблице, или вся таблица. Для всех агрегатных функций, кроме COUNT(*), фактический (т.е. требуемый семантикой) порядок вычислений следующий: на основании параметров агрегатной функции из заданного множества строк производится список значений. Затем по этому списку значений производится вычисление функции. Если список оказался пустым, то значение функции COUNT для него есть 0, а значение всех остальных функций - null.
Пусть T обозначает тип значений из этого списка. Тогда результат вычисления функции COUNT - точное число с масштабом и точностью, определяемыми в реализации. Тип результата значений функций MAX и MIN совпадает с T. При вычислении функций SUM и AVG тип T не должен быть типом символьных строк, а тип результата функции - это тип точных чисел с определяемыми в реализации масштабом и точностью, если T - тип точных чисел, и тип приблизительных чисел с определяемой в реализации точностью, если T - тип приблизительных чисел.
Вычисление функции COUNT(*) производится путем подсчета числа строк в заданном множестве. Все строки считаются различными, даже если они состоят из одного столбца со значением null во всех строках.
Если агрегатная функция специфицирована с ключевым словом DISTINCT, то список значений строится из значений указанного столбца. (Подчеркнем, что в этом случае не допускается вычисление арифметических выражений!) Далее из этого списка удаляются неопределенные значения, и в нем устраняются значения-дубликаты. Затем вычисляется указанная функция.
Если агрегатная функция специфицирована без ключевого слова DISTINCT (или с ключевым словом ALL), то список значений формируется из значений арифметического выражения, вычисляемого для каждой строки заданного множества. Далее из списка удаляются неопределенные значения, и производится вычисление агрегатной функции. Обратите внимание, что в этом случае не допускается применение функции COUNT!
Замечание: оба ограничения, указанные в двух предыдущих абзацах, являются более техническими, чем принципиальными, и могут отсутствовать в конкретных реализациях. Тем не менее, это ограничения стандарта SQL/89, и их нужно придерживаться при мобильном программировании.

Символьные строки

Тип данных символьных строк может содержать строки постоянной (CHARACTER) или переменной (CHARACTERVARYING) длины. Для конкретного типа CHARACTER указывается длина строк этого типа; в случае CHARACTERVARYING - максимальная длина.
Определен ряд операций, которые можно выполнять над символьными строками. Перечислим некоторые из них.
К операторам, операнды которых являются символьными строками и которые возвращают символьные строки, относятся следующие:

Оператор конкатенации (обозначается в виде ) возвращает символьную строку, произведенную путем соединения строк-операндов в том порядке как они заданы.

Функция выделения подстроки (SUBSTRING) принимает три параметра - строку, номер начальной позиции и длину и возвращает строку, выделенную из строки-параметра в соответствии со значениями двух последних параметров.

Функция UPPER возвращает строку, в которой все малые буквы строки-параметра заменяются на прописные. Функция LOWER, наоборот, заменяет в заданной строке все прописные буквы на малые.

Выражение длины возвращает длину заданной символьной строки в символах, октетах или битах (в зависимости от вида вычисляющей функции) виде целого числа.

Выражение позиции определяет первую позицию в строке S, с которой в нее входит заданная строка S1 (если не входит, то возвращается нуль).

Заметим, что мы опускаем в этом курсе громоздкий и редко самостоятельно применяемый механизм, позволяющий работать с символьными строками в национальной кодировке. Обычно такую настройку производят поставщики СУБД.

Скалярные выражения

Скалярное выражение - это выражение, вырабатывающее результат некоторого типа, специфицированного в стандарте. Скалярные выражения являются основой языка SQL/92, поскольку, хотя это реляционный язык, все условия, элементы списков выборки и т.д. базируются именно на скалярных выражениях. Заметим, что в SQL/89 не требовалось вводить такое отдельное понятие, поскольку единственным допустимым скалярным выражением было арифметическое (т.е. вырабатывающее число). В связи с расширением ассортимента типов и операций над их значениями, в SQL/92 появилось три разных вида скалярных выражения - численные, над строками и над временем и датами (и интервалами). Мы не будем слишком глубоко вникать в тонкости, но тем не менее, приведем некоторые базовые спецификации и пояснения.
Прежде, чем перейти к конкретным видам скалярных выражений, рассмотрим некоторые более общие языковые конструкции, на которых эти выражения базируются. (Мы опускаем обсуждение типов данных, считая, что материала, приведенного в предыдущем разделе, достаточно для понимания.)
Спецификация значения и спецификация цели
Эти конструкции служат для спецификации значений, не выбираемых из таблиц базы данных, а заданных пользователями. Общий синтаксис выглядит следующим образом:
::= | ::= | ::= | | |USER |CURRENT_USER |SESSION_USER |SYSTEM_USER VALUE ::= | ::= | ::= ::= & lt;parameter name> [ ] ::= [ INDICATOR ] ::= ::= [ ] ::= [ INDICATOR ]

Пояснения: Спецификация параметра идентифицирует параметр или параметр и индикаторный параметр в модуле (вернее, в процедуре модуля). Спецификация динамического параметра идентифицирует параметр динамически подготовленного оператора. Спецификация переменной идентифицирует переменную включающего языка или такую переменную и индикаторную переменную. Спецификация цели определяет параметр или переменную, которым может быть присвоено значение. Отрицательное значение индикаторных параметра или переменной в спецификации параметра или переменной соответственно означает, что параметр или переменная содержат неопределенное значение. Значение CURRENT_USER есть значение текущего идентификатора авторизации; SESSION_USER - значение идентификатора авторизации SQL-сессии; SYSTEM_USER - определяемая в реализации строка, представляющая пользователя операционной системы, который выполнил оператор SQL, в результате которого было вычислено значение SYSTEM_USER.

Спецификация явного преобразования типа или домена

В SQL/89 существуют только неявные преобразования типов (например, FLOAT к DOUBLE). Конечно, это не всегда удобно, недостаточно гибко и иногда чревато ошибками. В SQL/92 существует специальная конструкция CAST, с помощью которой можно явно преобразовывать типы в пределах допускаемых преобразований. Синтаксис конструкции следующий:

::= CAST AS ::= |NULL ::= |

Пояснения. Примем следующие обозначения типов данных:

EN	- ExactNumeric;
AN	- ApproximateNumeric;
C	- Character (Fixed- orVariable-length);
FC	- Fixed-lengthCharacter;
VC	- Variable-lengthCharacter;
B	- BitString (Fixed- orVariable-length);
FB	- Fixed-lengthBitString;
VB	- Variable-lengthBitString;
D	- Date;
T	- Time;
TS	- Timestamp;
YM	- Year-MonthInterval;
DT	- Day-TimeInterval.

Пусть TD - тип данных, к которому производится преобразование, а SD - тип данных операнда. Тогда допустимы следующие комбинации ("да" означает безусловную допустимость, "нет"- безусловную недопустимость и "?" - допустимость с оговорками):

SD	TD
	EN	AN	VC	FC	VB	FB	D	T	TS	YM	DT
EN	Да	Да	Да	Да	Нет	Нет	Нет	Нет	Нет	?	?
AN	Да	Да	Да	Да	Нет	Нет	Нет	Нет	Нет	Нет	Нет
C	Да	Да	?	?	Да	Да	Да	Да	Да	Да	Да
B	Нет	Нет	Да	Да	Да	Да	Нет	Нет	Нет	Нет	Нет
D	Нет	Нет	Да	Да	Нет	Нет	Да	Нет	Да	Нет	Нет
T	Нет	Нет	Да	Да	Нет	Нет	Нет	Да	Да	Нет	Нет
TS	Нет	Нет	Да	Да	Нет	Нет	Да	Да	Да	Нет	Нет
YM	?	Нет	Да	Да	Нет	Нет	Нет	Нет	Нет	Да	Нет
DT	?	Нет	Да	Да	Нет	Нет	Нет	Нет	Нет	Нет	Да

<

Оговорки состоят в следующем:

Если TD - интервал, и SD - тип точных чисел, то TD должен содержать единственное поле даты-времени;

Если TD - тип точных чисел, и SD - интервал, то SD должен содержать единственное поле даты-времени;

Если SD - тип символьных строк, и TD - тип символьных строк постоянной или переменной длины, то репертуар символов SD и TD должен быть одним и тем же.

Результатом применения оператора CAST к неопределенному значению является неопределенное значение. Для значений, отличных от неопределенных, в стандарте приводятся подробные правила выполнения преобразований, которые интуитивно ясны.

Выражение, вырабатывающее значение

Это общая форма скалярного выражения, включающая все возможные типы результирующих значений. Синтаксис следующий:

::= | | | ::= | | | | | | | |

Пояснения: При вычислении выражения V для строки таблицы каждая ссылка на столбец этой таблицы, непосредственно содержащаяся в V, рассматривается как ссылка на значение данного столбца в данной строке. Если первичное выражение есть скалярный подзапрос (подзапрос, результатом которого является таблица, состоящая из одной строки и одного столбца), и результат подзапроса пуст, то результатом первичного выражения является неопределенное значение.

Соединенные таблицы

Конструкция соединенной таблицы - это альтернативный способ порождения новой таблицы на основе использования ранее определенных таблиц (базовых, представляемых или порожденных). Для этой конструкции аналоги в SQL/89 отсутствуют. Фактически соединенная таблица вносит алгебраический стиль в формулировки запросов на языке SQL. Формально соединенная таблица определяется следующими синтаксическими правилами:
::= | | ::= CROSS JOIN

::=

[ NATURAL ] [ ] JOIN

[ ] ::= | ::= ON ::= USING ::= INNER | [ OUTER ] |UNION ::= LEFT |RIGHT |FULL ::=
Поскольку раньше мы не встречались с подобными конструкциями, приведем сравнительно подробные объяснения. Предположим, что соединяются таблицы T1 и T2. Пусть CP обозначает их расширенное Декартово произведения: CP = SELECT * FROMT1, T2.

Если специфицировано квалифицированное соединение (qualifiedjoin), то
(a) если указано NATURAL (естественное соединение), то спецификация соединения (joinspecification) должна отсутствовать;

(b) если указано UNION (объединение), то должны отсутствовать и спецификация соединения, и NATURAL;

(c) в противном случае спецификация соединения должна присутствовать.

Если специфицировано квалифицированное соединение, и не указан тип соединения (jointype), то неявно предполагается внутреннее (INNER) соединение.

Если специфицировано квалифицированное соединение с условием соединения (joincondition), то

(a) каждая ссылка на столбец, встречающаяся в условии поиска, должна однозначно указывать на столбец таблицы T1 или T2, либо быть внешней ссылкой (ссылкой на столбец запроса более высокого уровня);

(b) если выражение со значением, непосредственно содержащееся в условии поиска, является спецификацией агрегатной функции, то соединенная таблица должна содержаться в разделе HAVING или списке выборки, и спецификация агрегатной функции должна содержать ссылку на внешний столбец.

Если не указано ни NATURAL, ни спецификация соединения, содержащая только имена столбцов соединения (namedcolumnsjoin), то описатели столбцов результата такие же, как описатели столбцов CP.

Если указано NATURAL или если спецификация запроса содержит только имена столбцов соединения, то

(a) если указано NATURAL, то пусть именем общего столбца будет имя, являющееся именем столбца для в точности одного столбца T1 и именем столбца для в точности одного столбца T2. Столбцами соединения являются все столбцы T1 и T2 с общими именами;

(b) если указаны имена столбцов соединения, то каждое имя в этом списке имен должно быть именем столбца для в точности одного столбца T1 и именем столбца для в точности одного столбца T2. Пусть именем общего столбца является имя каждого такого столбца. Столбцами соединения являются столбцы T1 и T2, идентифицированные в списке столбцов соединения (joincolumnlist);

(c) пусть C1 и C2 пара соответствующих столбцов соединения из T1 и T2. Типы данных, на которых определены эти столбцы, должны быть совместимы;

(d) пусть SLCC - список выборки порожденных столбцов в форме COALESCE (TA.C, TB.C) ASC (см. п.3.2.4) для каждого столбца соединения в том порядке, в котором они появляются в T1;

(e) пусть SL1 - список выборки столбцов T1, не являющихся столбцами соединения, в том порядке, в котором они появляются в T1, а SL2 - аналогичный список для T2;

(f) описатели столбцов результата соединенной таблицы такие же, как описатели столбцов результата запроса SELECTSLCC, SLT1, SLT2 FROMTR1, TR2.

Каждый столбец CR результата соединенной таблицы, который не является столбцом соединения и соответствует столбцу C1 таблицы T1, потенциально может содержать неопределенные значения, если выполняется любое из следующих условий:

(a) специфицировано RIGHT, FULL или UNION;

(b) специфицировано INNER, LEFT или CROSSJOIN, и столбец С1 потенциально может содержать неопределенные значения.

Каждый столбец CR результата соединенной таблицы, который не является столбцом соединения и соответствует столбцу C2 таблицы T2, потенциально может содержать неопределенные значения, если выполняется любое из следующих условий:

(a) специфицировано LEFT, FULL или UNION;

(b) специфицировано INNER, RIGHT или CROSSJOIN, и столбец С2 потенциально может содержать неопределенные значения.

Каждый столбец CR результата соединенной таблицы, который является столбцом соединения и соответствует столбцам C1 таблицы T1 и C2 таблицы T2, потенциально может содержать неопределенные значения, если выполняется любое из следующих условий:

(a) специфицировано RIGHT, FULL или UNION и столбец C1 потенциально может содержать неопределенные значения;

(b) специфицировано LEFT, FULL или CROSSJOIN, и столбец С2 потенциально может содержать неопределенные значения.

Соединенная таблица является только читаемой.

Определим T следующим образом:

(a) если тип соединения есть UNION, то пусть T будет пустым множеством;

(b) если специфицировано CROSSJOIN, то пусть T будет мультимножеством строк CP;

(c) если задано условие соединения, то пусть T будет мультимножеством строк CP, для которых заданное условие поиска вычисляется в true;

(d) если указаны NATURAL или имена столбцов соединения, то

(i) если имеются столбцы соединения, то пусть T будет мультимножеством строк CP, для которых соответствующие столбцы соединения имеют одинаковые значения;

(ii) в противном случае пусть T будет мультимножеством строк CP.

Пусть P1 - мультимножество строк из T1, для которых в T существует некоторая строка, являющаяся конкатенацией некоторой строки R1 из P1 и некоторой строки R2 из T2. Пусть P2 - мультимножество строк из T2, для которых в T существует некоторая строка, являющаяся конкатенацией некоторой строки R1 из T1 и некоторой строки R2 из P2.

Пусть мультимножество U1 составляют те строки из T1, которые не входят в P1, а U2 - строки, которые не входят в P2.

Пусть D1 и D2 - степени T1 и T2 соответственно. Пусть X1 получается из U1 путем расширения вправо на D2 столбцов, содержащих неопределенные значения, а X2 - из U2 путем расширения влево на D1 столбцов, содержащих неопределенные значения.

Результат соединенной таблицы S получается следующим образом:

(a) если задано INNER или CROSSJOIN, то S - мультимножество строк из T.

(b) если указано LEFT, то S - это мультимножество строк, вырабатываемое в результате следующего запроса:

SELECT * FROMT UNIONALL SELECT * FROMX1

(c) если указано RIGHT, то S - это мультимножество строк, вырабатываемое в результате следующего запроса:

SELECT * FROMT UNIONALL SELECT * FROMX2

(d) если указано FULL, то S - это мультимножество строк, вырабатываемое в результате следующего запроса:

SELECT * FROMT UNIONALL SELECT * FROMX1 UNIONALL SELECT * FROMX2

(e) если указано UNION, то S - это мультимножество строк, вырабатываемое в результате следующего запроса:

SELECT * FROMX1 UNIONALL SELECT * FROMX2

Если указаны NATURAL или список имен столбцов соединения, то окончательный результат соединенной таблицы - это мультимножество строк из S, получаемое в результате выполнения следующего запроса: SELECTSLCC, SL1, SL2 FROMS. В противном случае окончательным результатом является S.

Создание таблицы

Каждый слушатель должен будет создать одну таблицу с именем my_libn (моя библиотека), где n - номер рабочей станции слушателя (номер своей рабочей станции можно найти на корпусе системного блока). Таблица должна включать следующие столбцы: book_no (порядковый номер книги в библиотеке), au_id (идентификатор автора), title_id (идентификатор издания), book_val (ваша оценка стоимости книги), pen_val (ваша оценка величины штрафа, который следует изъять с возможного похитителя книги), book_desc (краткая словесная характеристика книги).
Тип данных столбцов book_id, book_val, pen_val - целые числа, тип данных столбца pen_val - строки символов переменной длины с максимальной длиной 40 символов.
Первичным ключом таблицы должен быть объявлен столбец book_id. Столбец au_id должен быть объявлен внешним ключом, ссылающимся на первичный ключ таблицы authors, а столбец title_id - внешним ключом, ссылающимся на первичный ключ таблицы titles. Кроме того, должны быть объявлены два ограничения на столбцы: значения каждого из столбцов book_val и pen_val не должны превосходить 10.000. Единственным ограничением уровня таблицы должно быть следующее: сумма штрафа не превышает удвоенной стоимости книги.

Спецификация запроса

В спецификации запроса задается список выборки (список арифметических выражений над значениями столбцов результата табличного выражения и констант). В результате применения списка выборки к результату табличного выражения производится построение новой таблицы, содержащей то же число строк, но, вообще говоря, другое число столбцов, содержащих результаты вычисления соответствующих арифметических выражений из списка выборки. Кроме того, в спецификации запроса могут содержаться ключевые слова ALL или DISTINCT. При наличии ключевого слова DISTINCT из таблицы, полученной применением списка выборки к результату табличного выражения, удаляются строки-дубликаты; при указании ALL (или просто при отсутствии DISTINCT) удаление строк-дубликатов не производится.

SQL/ в сравнении с SQL/

В этой части курса содержится краткая сводка основных различий между языками SQL/89 и SQL/92.

SQLFlagger

Как упоминалось в начале этого раздела, от реализации, которая провозглашается соответствующей стандарту на любом уровне, требуется обеспечение SQLFlagger. Назначение SQLFlagger состоит в помечании любой специфичной в реализации конструкции SQL, т.е. конструкции, которая распознается и поддерживается реализацией, но не соответствует уровню стандарта, соответствие которому провозглашено. Целью является идентификация свойств SQL, которые могли бы породить разные результаты в разных средах, т.е. свойств, которые потребовали бы внимания, если бы приложения или запросы на SQL перемещались из одной среды в другую. Такие соображения уместны, например, если приложение разрабатывается на рабочей станции, а выполняется на mainframe.
Реализация, которая объявляется соответствующей полному SQL, должна обеспечивать SQLFlagger, который поддерживает следующие опции: - EntrySQLFlagging (т.е. опцию для помечания конструкций SQL, не соответствующих вводному SQL); - IntermediateSQLFlagging (т.е. опцию для помечания конструкций SQL, не соответствующих промежуточному SQL); - FullSQLFlagging (т.е. опцию для помечания конструкций SQL, не соответствующих полному SQL).
Должны также поддерживаться опции проверки "только синтаксиса" и "с привлечением каталога". Проверка "только синтаксиса" означает, что от реализации требуется выполнение только тех проверок, которые возможны без доступа к схеме определений (DefinitionSchema). Проверка "с привлечением каталога" означает, что от реализации дополнительно требуется выполнять те проверки (за исключением проверок привилегий), которые возможны, если схема определений доступна. В обоих случаях проверка замышляется только статической (т.е. "времени компиляции"); не требуется проверка элементов, которые невозможно определить до времени выполнения.
Реализация, объявленная соответствующей промежуточному SQL, должна обеспечивать SQLFlagging, который поддерживает вводный SQL и промежуточный SQL, и должна поддерживать как минимум проверку "только синтаксиса".
Реализация, объявленная соответствующей вводному SQL, должна обеспечивать SQLFlagging, который поддерживает как минимум проверку "только синтаксиса" вводного SQL.

Средства определения и манипулирования схемой

Как и в SQL/89, в SQL/92 существует оператор определения схемы, с помощью которого можно за одно обращение к СУБД создать все необходимые объекты, связанные с указанным идентификатором авторизации. Этот оператор имеет следующий синтаксис:
::= CREATE SCHEMA [ ] [ ... ] ::= |AUTHORIZATION AUTHORIZATION ::= ::= DEFAULT CHARACTER SET ::= |

Если имя схемы не специфицировано, но неявно в качестве имени схемы используется идентификатор авторизации схемы.

Если в определении схемы отсутствует раздел AUTHORIZATION, то
(a) если определение схемы содержится в модуле, то в качестве идентификатора авторизации схемы используется идентификатор авторизации модуля;

(b) иначе, в качестве идентификатора авторизации схемы используется идентификатор авторизации SQL-сессии.

При выполнении оператора определения схемы создаются объекты, определяемые элементами схемы (базовые таблицы, представления, ограничения, домены, утверждения целостности, наборы символов, привилегии и т.д.), и их соответствующие описатели.

В отличие от SQL/89, (a) операторы, используемые для определения элементов схемы, можно использовать независимо, вне оператора определения схемы и (b) созданную ранее схему можно уничтожить. Для уничтожения схемы используется оператор DROPSCHEMA, определяемый следующим синтаксисом:
::= DROP SCHEMA ::= CASCADE RESTRICT
Пояснения:

Имя схемы должно идентифицировать существующую схему.

Если специфицировано RESTRICT, то к моменту выполнения оператора DROPSCHEMA схема не должна содержать какие бы то ни было объекты (постоянные базовые таблицы, глобальные временные таблицы, создаваемые локальные временные таблицы, представления и т.д.); эти объекты должны быть ранее уничтожены соответствующими индивидуальными операторами (см. п. 3.5.6).

Если специфицировано CASCADE, то такие объекты уничтожаются при выполнении оператора DROPSCHEMA путем неявного вызова соответствующих операторов.

При выполнении оператора DROPSCHEMA указанная схема и ее описание уничтожаются.

Средства определения представлений

Представляемая таблица, или просто представление создается с помощью оператора CREATEVIEW, который похож на соответствующий оператор языка SQL/89, но обладает существенно расширенными возможностями. Для полноты мы опишем этот оператор достаточно подробно. Как обычно, начнем со сводки синтаксических правил:
::= CREATE VIEW

[ ] AS [ WITH [ ] CHECK OPTION ] ::= CASCADED | LOCAL ::=
Пояснения:

Выражение запроса не должно содержать спецификацию цели или динамического параметра.

Имя определяемого представления не должно содержаться в какой-либо ссылке на таблицу, содержащейся в выражении запроса (другими словами, не допускаются рекурсивные определения представлений).

В выражении запросов не должны встречаться имена временных объявляемых таблиц.

Если выражение запроса является обновляемым, то и определяемое представление является обновляемым. В противном случае представляемая таблица - только читаемая.
(a) выражение запроса является обновляемым в том и только в том случае, когда содержит только выражение запроса QE или спецификацию запроса QS и

(i) выражение запроса содержит QS или QS, не включающие выражение запроса без соединения с операторами UNION или EXCEPT;

(ii) выражение запроса содержит QE или QS, не включающие терм запроса без соединения с оператором INTERSECT;

(iii) QE или QS являются обновляемыми;

(b) спецификация запроса QS является обновляемой в том и только в том случае, когда

(i) в QS не специфицировано DISTINCT;

(ii) каждое выражение, содержащееся в списке выборки QS, состоит из ссылки на столбец, и ни одна ссылка на столбец не появляется более одного раза;

(iii) раздел FROM табличного выражения, непосредственно входящего в QS, содержит в точности одну ссылку на таблицу, указывающую на базовую таблицу или на обновляемую порождаемую таблицу;

(iv) таблица, на которую содержится ссылка в разделе FROM верхнего уровня, не должна использоваться в подзапросах, входящих в раздел FROM;

(v) табличное выражение, непосредственно содержащееся в QS, не должно включать разделы GROUPBY и HAVING;

(c) порождаемая таблица является обновляемой в том и только в том случае, когда обновляемым является выражение запроса, содержащееся в табличном подзапросе;

(d) соответствующие синтаксические правила и пояснения содержатся в разд. 3.3 (мы сознательно не говорили в этом разделе о правилах обновляемости, потому что они больше связаны с представлениями).

Число имен столбцов в списке столбцов представления должно совпадать со степенью таблицы, специфицированной выражением запроса.

Если в определении представления содержится раздел WITHCHECKOPTION, то представление должно быть обновляемым.

Если специфицировано WITHCHECKOPTION без задания раздела уровней (levelsclause), то по умолчанию полагается указание класса CASCADED.

Если в определении представления специфицирован список столбцов представления, то i-тый столбец представления имеет i-тое имя из этого списка. В противном случае имена столбцов представления совпадают с именами столбцов таблицы, специфицируемой выражением запроса.

Набор привилегий, которые получает создатель по отношению к определяемому представлению, определяется сравнительно громоздким набором правил и в конечном счете зависит от набора привилегий, которыми располагает создатель по отношению к базовым таблицам, лежащим в основе представления, и от того, является ли представление обновляемым.

В соответствии с правилами обновляемости представления, для каждой строки обновляемого представления существует и только одна строка базовой таблицы, на которой в конечном счете основывается это представление. Занесение новой строки, удаление или модификация существующей строки приводит к выполнению соответствующей операции над строками этой базовой таблицы.

Пусть V1 - представление. По определению V1 перекрывает (span) V1, и V1 перекрывает представление V2, если V2 используется в определении V1.

Под операцией обновления понимаются операция INSERT и позиционная, поисковая, динамическая позиционная и подготавливаемая динамическая позиционная операции UPDATE.

Если представление V1 перекрывает представление V2, в определении V2 содержался раздел WITHCHECKOPTION, и в результате выполнения операции обновления V1 возникает строка, невидимая в V2, то

(a) если в определении V1 было указано CASCADED, то вырабатывается исключительное условие;

(b) если в определении V1 было указано LOCAL и в результате выполнения операции обновления возникает строка, видимое в таблице, на которой непосредственно определено представление V2, то вырабатывается исключительное условие.

Проверка ограничения WITHCHECKOPTION выполняется в конце каждой операции обновления.

Средства определения схемы

Средства определения схемы БД в стандарте SQL/89 относятся к наиболее слабым и допускающим различную интерпретацию частям стандарта. Более того, мне неизвестна ни одна реализация, в которой поддерживался бы в точности такой набор средств определения схемы.
Поэтому, чтобы добиться мобильности прикладной системы в достаточно широком классе реализаций SQL/89, необходимо тщательно локализовать компоненты определения схемы БД. Думаю, что лучше всего сосредоточить всю работу со схемой БД в одном модуле и иметь в виду, что при переходе к другой СУБД очень вероятно потребуется переделка этого модуля.
Особо отметим, что в SQL/89 вообще отсутствуют какие-либо средства изменения схемы БД: нет возможности удалить схему таблицы, добавить к схеме таблицы новый столбец и т.д. Во всех реализациях такие средства поддерживаются, но они могут различаться и синтаксисом, и семантикой.
Несмотря на отсутствие особых надежд на то, что удастся встретить реализацию, поддерживающую язык определения схем SQL/89, мы коротко опишем этот язык (без синтаксических деталей), чтобы оценить на содержательном уровне возможности SQL/89 в этой части и получить хотя бы какие-то средства сравнения разных реализаций.
2.4.1. Оператор определения схемы
В соответствии с правилами SQL/89 каждая таблица данной БД имеет простое и квалифицированное имена. В качестве квалификатора имени выступает "идентификатор полномочий" таблицы, который обычно в реализациях совпадает с именем некоторого пользователя. Квалифицированное имя таблицы имеет вид:
<идентификатор полномочий>.<простое имя>
Подход к определению схемы в SQL/89 состоит в том, что все таблицы с одним идентификатором полномочий создаются (определяются) путем выполнения одного оператора определения схемы. При этом в стандарте не определяется способ выполнения оператора определения схемы: должен ли он выполняться только в интерактивном режиме или может быть встроен в программу, написанную на традиционном языке программирования.
В операторе определения схемы содержится идентификатор полномочий и список элементов схемы, каждый из которых может быть определением таблицы, определением представления (view) или определением привилегий. Каждое из этих определений представляется отдельным оператором SQL/89, но все они, как уже говорилось, должны быть встроены в оператор определения схемы.
Для этих операторов мы приведем синтаксис, поскольку это позволит более четко описать их особенности.

Средства уничтожения элементов схемы базы данных

Для каждого из упомянутых в этом разделе операторов создания элементов схемы базы данных имеются обратные операторы уничтожения этих элементов.
Созданная ранее таблица может быть уничтожена следующим оператором:
::= DROP TABLE

Пояснения:

Пусть уничтожается таблица с именем T.

T должна быть базовой таблицей.

T не должна быть временной объявляемой таблицей.

Если специфицировано RESTRICT, то ни в каком существующем представлении и ни в каком условии поиска существующего ограничения не должны содержаться ссылки на T.

Пусть A обозначает текущий идентификатор авторизации. Тогда при выполнении оператора уничтожения таблицы неявно выполняется следующий оператор: REVOKEALLPRIVILEGESONTFROMACASCADE, что при наличии спецификации CASCADE в операторе уничтожения таблицы приводит к уничтожению всех объектов, в определении которых использовалась ссылка на T.

Таблица T и ее дескриптор уничтожаются.

Созданное ранее представление может быть уничтожено с помощью следующего оператора:
::= DROP VIEW

Пояснения:

Пусть V - имя уничтожаемого представления.

V должно быть именем представляемой таблицы.

Если специфицировано RESTRICT, то ни в одном существующем представлении или условии поиска существующего ограничения не должна содержаться ссылка на V.

Пусть A обозначает текущий идентификатор авторизации. При выполнении оператора уничтожения представления неявно выполняется следующий оператор: REVOKEALLPRIVILEGESONTFROMACASCADE, что при наличии спецификации CASCADE в операторе уничтожения представления приводит к уничтожению всех объектов, в определении которых использовалась ссылка на V.

Оператор уничтожения домена имеет следующий синтаксис:
::= DROP DOMAIN
Пояснения:

Пусть D - имя уничтожаемого домена.

Если специфицировано RESTRICT, то ссылки на D должны отсутствовать в любом описателе столбца, в выражении запроса любого представления и в условии поиска любого ограничения.

Пусть C обозначает описатель столбца, определенного на домене D; T - имя таблицы, описатель которой включает C. C модифицируется следующим образом:

(a) из C удаляется ссылка на D, и в C включается копия описателя типа данных D;

(b) если C не включает раздела значения по умолчанию, а описатель D включает такой раздел, то в C включается раздел умолчания D;

(c) для каждого описателя ограничения домена D выполняются следующие действия:

(i) пусть TCD обозначает табличное ограничение с определяемым в реализации именем, которое порождено из проверочного ограничения домена путем замены VALUE на имя столбца C с сохранением атрибутов ограничения;

(ii) если для идентификатора полномочий текущей SQL-сессии имеются необходимые привилегии, выполняется неявный оператор ALTERTABLETADDTCD;

Пусть A - текущий идентификатор полномочий. Выполняется следующий неявный оператор REVOKE: REVOKEUSAGEONDOMAINDNFROMACASCADE

Описатель домена разрушается.

Утверждение целостности уничтожается с помощью следующего оператора:

::= DROP ASSERTION

Пояснение:

При выполнении оператора описатель идентифицируемого утверждения целостности разрушается.

Структура стандарта и его характеристика

В стандарте определяются два уровня языка и отдельное средство поддержания целостности. Уровень 2 - это полный язык баз данных SQL, не включающий средство поддержания целостности. Уровень 1 - это специфицированное подмножество уровня 2.
Средство поддержания целостности включает возможности определения:

требуемых ограничений на ссылки между таблицами;

проверочных ограничений на строки таблицы;

значений столбца по умолчанию при занесении строки в таблицу.

В приложениях к стандарту определяется синтаксис включения операторов манипулирования данными SQL в обычную во всех остальных отношениях прикладную программу. Такой синтаксис определяется как сокращенная нотация для стандартной прикладной программы, в которой встроенные операторы SQL заменены явными "вызовами" процедур базы данных, содержащими операторы SQL.
Синтаксические элементы стандарта определяются в следующих терминах:

Функция: короткое предложение о назначении элемента.

Формат: БНФ-определение синтаксиса элемента.

Синтаксические правила: дополнительные синтаксические ограничения, которым должен удовлетворять элемент, не выраженные в БНФ.

Общие правила: последовательная спецификация эффекта выполнения элемента.

В синтаксических правилах термин "должен" определяет условия, которым должен удовлетворять любой вариант языка SQL, синтаксически соответствующий стандарту. Вариант языка SQL синтаксически соответствует стандарту, если соответствует и определениям синтаксиса, и синтаксическим правилам.
В общих правилах термин "должен" определяет условия, которые проверяются во время выполнения операторов SQL. Если все эти условия истинны, то оператор выполняется успешно, и в параметр SQLCODE устанавливается определенное неотрицательное число. Если какое-либо из условий ложно, оператор не выполняется успешно, не влияет на состояние базы данных, и в параметр SQLCODE устанавливается определяемое в реализации отрицательное число.
В соответствующей стандарту реализации не требуется выполнение точной последовательности действий, определенных в общих правилах, но должен достигаться тот же эффект, что и при выполнении этой последовательности. Термин "фактически" используется в общих правилах для того, чтобы выделить действия, результат которых может быть достигнут в реализации другим способом.
Термин "долговременно хранимый объект" используется для характеризования таких объектов, как <модуль> () и <схема> (), которые создаются и уничтожаются с помощью механизмов, определенных реализатором.

Структура запросов

Для того, чтобы можно было более или менее точно рассказать про структуру запросов в стандарте SQL/89, необходимо начать со сводки синтаксических правил:
::= [] ::= UNION [ALL] ::= | () ::= (SELECT [ALL DISTINCT]

) INTO

::= (SELECT [ALL DISTINCT]

::= [] [] []
Язык допускает три типа синтаксических конструкций, начинающихся с ключевого словаSELECT: спецификация курсора (cursorspecification), оператор выборки (selectstatement) и подзапрос (subquery). Основой всех них является синтаксическая конструкция "табличное выражение (tableexpression)". Семантика табличного выражения состоит в том, что на основе последовательного применения разделов from, where, groupby и having из заданных в разделе from таблиц строится некоторая новая результирующая таблица, порядок следования строк которой неопределен и среди строк которой могут находиться дубликаты (т.е. в общем случае таблица-результат табличного выражения является мультимножеством строк). На самом деле, именно структура табличного выражения наибольшим образом характеризует структуру запросов языка SQL/89. Мы рассмотрим ниже структуру и смысл разделов табличного выражения, но до этого немного подробнее обсудим три упомянутые конструкции, включающие табличные выражения.
2.3.1. Спецификация курсора
Наиболее общей является конструкция "спецификация курсора". Курсор - это понятие языка SQL, позволяющее с помощью набора специальных операторов получить построчный доступ к результату запроса к БД. К табличным выражениям, участвующим в спецификации курсора, не предъявляются какие-либо ограничения. Как видно из сводки синтаксических правил, при определении спецификации курсора используются три дополнительных конструкции: спецификация запроса, выражение запросов и раздел ORDERBY.

Сводка расширений SQL/ по отношению к SQL/

В этом разделе мы приводим сводку основных новых свойств, введенных в SQL/92.

Все, что относится к встроенному SQL. Встроенный SQL не являлся частью SQL/89 и был частично специфицирован только в приложениях. Кроме того, в этих приложениях не специфицировалась поддержка языков Си и Ада.

Все, что относится к работе с каталогами и почти все, что касается работы со схемами. В SQL/89 имелся оператор CREATESCHEMA, но не было оператора DROPSCHEMA, и все операторы CREATETABLE, CREATEVIEW и GRANT должны были специфицироваться как "элементы схемы" внутри такого оператора CREATESCHEMA (т.е. не было понятия независимого выполнения таких операторов, как в SQL/92). Однако понятие схемы было по существу не определено. Заметим также, что CREATETABLE, CREATEVIEW и GRANT в SQL/89 были только операциями определения данных; не существовали DROPTABLE, ALTERTABLE и т.д.

Возможность включать в модуль все виды операторов SQL. Как уже отмечалось, CREATETABLE, CREATEVIEW и GRANT в SQL/89 должны были выполняться как компоненты операции CREATESCHEMA; на самом деле, CREATESCHEMA, CREATETABLE, CREATEVIEW и GRANT вместе составляли отдельный "язык схемы", который отличался от "языка модулей". Нежелательное и не необходимое различие между языком схем и языком модулей почти полностью устранено в SQL/92.

Возможность включать все виды операций SQL (в частности, возможность смешивать операции определения данных и манипулирования данными) в одну транзакцию. По причине разделения языков схем и модулей, отмеченного в предыдущем параграфе, SQL/89 не обладал этим свойством.

Все, что относится к управлению подключениями и сессиями.

Оператор SETTRANSACTION, включающий, в частности, возможность определения уровня изоляции (в SQL/89 поддерживался только уровень SERIALIZABLE, и только неявно).

Все, что относится к работе с доменами, включая CREATE, ALTER и DROPDOMAIN.

Операторы ALTER и DROPTABLE.

Все, что связано с работой с временными таблицами.

Варианты CASCADED и LOCAL опции проверки при CREATEVIEW.

Оператор DROPVIEW.

Почти все, что относится к работе с ограничениями целостности, за исключением случаев определения возможного и внешнего ключей и одного простого вида проверочного ограничения базовой таблицы. В SQL/89 имелись возможные и внешние ключи и проверочные ограничения для одной строки (т.е. ограничения, которые можно проверять для данной строки, рассматривая ее в изоляции). Однако отсутствовали общие (с несколькими строками) ограничения, не было разновидностей FULL и PARTIAL для соответствия внешних ключей и не было отложенных проверок (DEFERRABLE, INITIALLYDEFERRED, SETCONSTRAINTS и т.д.).

Оператор REVOKE.

Строки символов переменной длины.

Битовые строки постоянной и переменной длины.

Все, что относится к работе с датами и временем.

Почти все, что касается работы с наборами символов, сравнениями, трансляциями и преобразованиями (включая поддержку национальных наборов символов и наборов символов для идентификаторов). В SQL/89 поддерживался тип данных строк постоянной длины вместе с соответствующим набором операторов присваивания и сравнения, но это все, что было (в частности, набор символов и правила их сравнения определялись по существу в реализации).

Все скалярные операторы и функции (за исключением +, -, *, / и USER), включающие, в частности, операторы CASE и CAST для управления преобразованиями типов данных.

Существенно улучшенная ортогональность в скалярных выражениях, включая, в частности, возможность использования скалярных выражений из базы данных как операндов внутри таких выражений.

Спецификации FORUPDATE, SCROLL и INSENSITIVE в DECLARECURSOR.

Существенно улучшенная ортогональность в табличных выражениях, включая
(а) возможность вводить имена столбцов результата и имена таблиц;

(b) набор правил вывода имени столбца;

(c) возможность вложенных табличных выражений.

Явная поддержка INTERSECT, EXCEPT и JOIN (включая естественные и внешние соединения).

Конструкторы строк, включая, в частности, возможность использования таких конструкторов в условных выражениях наряду со скалярами.

Новые условия MATCH и UNIQUE.

Новые условия IS[NOT]TRUE, IS[NOT]FALSE и IS[NOT]UNKNOWN.

Все, что касается динамического SQL.

Информационная схема.

SQLSTATE и все, что касается работы с областью диагностики.

Более исчерпывающее обращение с прямым SQL (хотя многие конкретные вещи все еще остались определяемыми в реализации).

Табличное выражение

Стандарт SQL/89 рекомендует рассматривать вычисление табличного выражения как последовательное применение разделов FROM, WHERE, GROUPBY и HAVING к таблицам, заданным в списке FROM.

Табличные выражения

Как и в SQL/89, табличное выражение SQL/92 в качестве результата выдает обычную или сгруппированную таблицу:

::= [ ] [ ] [ ]
Все отличия от SQL/89 сосредоточены в разделах табличного выражения.

Последний полный проект стандарта был

Последний полный проект стандарта был опубликован и предоставлен в свободный доступ в 1993 г. Этот документ имеет очень большой объем (более 3 Мб плоского текста) и носит очень предварительный характер. Видимо, осознавая практическую невозможность разработки и согласования стандарта такого объема, в том же 1983 г. комитеты ANSI и ISO приняли решение о расщеплении стандарта на несколько независимо разрабатываемых и отдельно согласовываемых частей. К настоящему времени таких частей семь:

Часть 1: Неформальное описание назначения и структуры документа;

Часть 2: Основные свойства языка, включая базовые постоянно хранимых модулей (PSMPersistentStoredModules), новые типы данных; триггеры, подтаблицы, абстрактные типы данных, объектно-ориентированные возможности;

Часть 3: Интерфейс уровня вызовов (CLICallLevelInterface);

Часть 4: SQL/PSM, включая спецификации хранимых процедур с обеспечением их вычислительной полноты;

Часть 5: Динамический и встроенный SQL (предполагается, что эта часть будет заимствована из SQL/92);

Часть 6: Спецификация интерфейса XA, разработанного X/Open (это относится к управлению распределенными транзакциями);

Часть 7: Темпоральные расширения языка SQL.

Разработка третьей части стандарта была завершена в 1995 г. SQL/CLI является аккуратной формализацией интерфейса ODBC, разработанного компанией Microsoft (кстати, это первый случай в истории стандартизации языка SQL, когда за основу международного стандарта принимается некоторый корпоративный стандарт). В том же году стандарт был принят ISO и получил официальное наименование ISO/IEC 9075-3:1995 Informationtechnology - Databaselanguages - SQL - Part 3: Call-LevelInterface (SQL/CLI).

В 1996 г. была закончена разработка четвертой части. Стандарт был принят ISO в конце 1996г. и получил официальное название ISO/IEC 9075-4:1996 Informationtechnology - Databaselanguages - SQL - Part 4: PersistentStoredModules (SQL/PSM).

Про время завершения остальных частей стандарта известно только то, что комитеты обещают закончить работу в 1999 г. Регулярно (хотя и не очень часто) обновляемую информацию о текущем состоянии дел в области стандартизации SQL/3 можно получить на Web-узле

В заключение заметим, что хотя стандарт SQL/3 все еще далек от завершения, практически все компании-производители СУБД утверждают по поводу своих новых продуктов, что они поддерживают базовые свойства SQL/3. В частности, это относится к IBMDB2, InformixUniversalServer и Oracle 8. Информацию относительно этих продуктов можно найти в Web-узлах компаний (www.ibm.com, www.informix.com, www.oracle.com). Обзоры статей, связанных с этой темой, публикуются на сервере www.citforum.ru, а также в журнале "СУБД" (электронная версия доступна по адресу www.osp.ru).

Типы данных

В языке SQL/89 поддерживаются следующие типы данных: CHARACTER, NUMERIC, DECIMAL, INTEGER, SMALLINT, FLOAT, REAL, DOUBLE PRECISION. Эти типы данных классифицируются на типы строк символов, точных чисел и приблизительных чисел.
К первому классу относится CHARACTER. Спецификатор типа имеет вид CHARACTER (length), где length задает длину строк данного типа. Заметим, что в SQL/89 нет типа строк переменного размера, хотя во многих реализациях они допускаются. Литеральные строки символов изображаются в виде 'последовательность-символов' (например, 'example').
Представителями второго класса типов являются NUMERIC, DECIMAL (или DEC), INTEGER (или INT) и SMALLINT. Спецификатор типа NUMERIC имеет вид NUMERIC [(precision [, scale]). Специфицируются точные числа, представляемые с точностью precision и масштабом scale. Здесь и далее, если опущен масштаб, то он полагается равным 0, а если опущена точность, то ее значение по умолчанию определяется в реализации.
Спецификатор типа DECIMAL (или DEC) имеет вид NUMERIC [(precision [, scale]). Специфицируются точные числа, представленные с масштабом scale и точностью, равной или большей значения precision.
INTEGER специфицирует тип данных точных чисел с масштабом 0 и определяемой в реализации точностью. SMALLINT специфицирует тип данных точных чисел с масштабом 0 и определяемой в реализации точностью, не большей, чем точность чисел типа INTEGER.
Литеральные значения точных чисел в общем случае представляются в форме
[+ -] <целое-без-знака> [.<целое-без-знака>].
Наконец, в классу типов данных приблизительных чисел относятся типы FLOAT, REAL и DOUBLE PRECISION. Спецификатор типа FLOAT имеет вид FLOAT [(precision)]. Специфицируются приблизительные числа с двоичной точностью, равной или большей значения precision.
REAL специфицирует тип данных приблизительных чисел с точностью, определенной в реализации. DOUBLE PRECISION специфицирует тип данных приблизительных чисел с точностью, определенной в реализации, большей, чем точность типа REAL.
Литеральные значения приблизительных чисел в общем случае представляются в виде

<литеральное-значение-точного-числа>E<целое-со-знаком>.

Заметим, что хотя с использованием языка SQL можно определить схему БД, содержащую данные любого из перечисленных типов, возможность использования этих данных в прикладных системах зависит от применяемого языка программирования. Весь набор типов данных можно использовать, только если программировать на ПЛ/1. Поэтому в некоторых реализациях SQL типы данных с масштабом и точностью вообще не поддерживаются.

Хотя правила встраивания SQL в программы на языке Си не определены в SQL/89, в большинстве реализаций, поддерживающих такое встраивание, имеется следующее соответствие между типами данных SQL и типами данных Си: CHARACTER соответствует строкам Си; INTEGER соответствует long; SMALLINT соответствует short; REAL соответствует float; DOUBLE PRECISION соответствует double (именно такое соответствие утверждено в стандарте SQL/92).

Заметим еще, что в большинстве реализаций SQL поддерживаются некоторые дополнительные типы данных, например, DATE, TIME, INTERVAL, MONEY. Некоторые из этих типов специфицированы в стандарте SQL/92, но в текущих реализациях синтаксические и семантические свойства таких типов могут различаться.

Типы дата-время и интервальные типы

Начнем с того, по какой причине в языке SQL появились эти типы данных (все вместе их можно было бы назвать темпоральными типами, т.е. типами, связанными со временем). В принципе, таблицы реляционных баз данных являются плоскими; каждая строка таблицы соответствует текущему состоянию моделируемого объекта предметной области. Однако на практике часто возникает потребность хранить в одной таблице информацию о состоянии объектов в разные моменты времени. До появления в языке темпоральных типов это можно было реализовать только одним способом: ввести в таблицу дополнительный столбец, в котором хранились бы временные метки создания соответствующих строк. Но если нет унифицированного представления таких временных меток, то вся логика их обработки уходит в прикладную программу, и другая прикладная программа не сможет работать с той же базой данных, если эта логика не будет в нее перенесена. Так что идея очень проста: унифицировать и сделать понятным системе смысл временных меток и временных интервалов.
Однако механизм, предлагаемый в стандарте SQL/92, очень громоздок по причине большого количества несущественных по смыслу деталей: с какой точностью сохранять временные метки и интервалы, как задать временную зону, в которой они возникают и т.д. Поэтому мы рассмотрим особенности этих типов очень коротко (соответствующие спецификации составляют значительную часть громадного документа).
Элемент типа дата-время составляется из смежного поднабора полей:

YEAR	Год от Рождества Христова
MONTH	Месяц в пределах года
DAY	День в пределах месяца
HOUR	Час в пределах дня
MINUTE	Минута в пределах часа
SECOND	Секунда и, возможно, доли секунды в пределах минуты

Реальный смежный поднабор полей, составляющих элемент типа дата-время определяется квалификатором дата-времени, называемым точностью элемента. Имеется подразумеваемая упорядоченность полей YEAR, MONTH, DAY, HOUR, MINUTE, SECOND. Значения каждого поля ограничиваются естественными правилами, регулирующими законные даты и время.
Элемент типа INTERVAL составляется из смежного поднабора полей:

YEAR	Года
MONTH	Месяца

<
или

DAY	Дни
HOUR	Часы
MINUTE	Минуты
SECOND	Секунды и, возможно, доли секунд

Реальный смежный поднабор полей, составляющих элемент типа интервал, определяется квалификатором дата-времени, называемым точностью элемента.

Внутри элемента типа интервал первое поле не ограничивается. Последующие поля ограничиваются следующим образом:

MONTH	Месяцы в пределах года (0-11)
DAY	Не ограничивается
HOUR	Часы в пределах дня (0-23)
MINUTE	Минуты в пределах часа (0-59)
SECOND	Секунды в пределах минуты (0-59.999...)

Над значениями темпоральных типов могут выполняться арифметические операции, смысл которых определяется следующей таблицей:

Тип первого операнда	Оператор	Тип второго операнда	Тип результата
Datetime	-	Datetime	Interval
Datetime	+ или -	Interval	Datetime
Interval	+	Datetime	Datetime
Interval	+ или -	Interval	Interval
Interval	* или /	Numeric	Interval
Numeric	*	Interval	Interval

Арифметические операции, включающие даты и времена, подчиняются обычным правилам, связанным с датами и временами, и производят допустимые результирующие даты и времена.

Транзакции, подключения к базе данных, сессии

SQL-агентом называется зависимый от реализации объект, вызывающий выполнение операторов SQL. Под SQL-транзакцией (иногда называемой просто транзакцией) понимается последовательность выполнения операторов SQL, являющаяся атомарной по отношению к восстановлению. Эти операции выполняются одной или более единицами компиляции и модулями или путем прямого вызова SQL. От реализации зависит, могут ли в одной транзакции выполняться динамические и/или статические операторы выборки и манипулирования данными и динамические и/или статические операторы определения и манипулирования схемой. Если такие сочетания допускаются, то поведение открытого курсора, подготовленного динамического оператора, отложенного ограничения определяются в реализации.
Каждый модуль или прямой вызов SQL, инициирующие выполнение оператора, ассоциируются с транзакцией. SQL-транзакция начинается при выполнении процедуры из некоторого модуля или прямого вызова оператора SQL вне активной транзакции. Транзакция завершается при выполнении операторов COMMIT или ROLLBACK. Если SQL-транзакция завершается успешным выполнением оператора COMMIT, то все изменения, произведенные ею над данными и/или схемой становятся постоянно хранимыми и доступными всем параллельно выполняющимся или образуемым впоследствии транзакциям. Если транзакция завершается оператором ROLLBACK или если выполнение оператора COMMIT оказывается неуспешным, то все изменения, произведенные транзакцией над данными и/или схемой, ликвидируются. Если выполнение оператора COMMIT было начато, но при этом возникли определенные исключительные условия, то неизвестно, зафиксированы или уничтожены результаты этой транзакции.
У каждой SQL-транзакции имеется режим доступа - "только чтение" или "чтение и запись". Режим доступа может быть явно установлен оператором SETTRANSACTION; по умолчанию он устанавливается в "чтение-запись". Термин "только чтение" применяется только к постоянно хранимым базовым и представляемым таблицам.
SQL-транзакции приписывается ограничение размера области диагностики - положительное целое число, определяющее максимальное число условий, которые могут быть помещены в область диагностики при выполнении оператора SQL в этой транзакции.
Транзакции, инициированные разными SQL-агентами, которые обращаются к одним и тем же данным и/или схемам, являются конкурирующими (concurrent; по-русски обычно такие транзакции называют "параллельно" выполняющимися).
Каждой SQL-транзакции приписывается некоторый уровень изоляции: READUNCOMMITTED, READCOMMITTED, REPEATABLEREAD или SERIALIZABLE. Уровень изоляции транзакции определяет степень, в которой на операции этой транзакции влияют операции параллельно выполняющихся транзакций и в которой операции данной транзакции влияют на операции других транзакций. Уровень изоляции может быть явно установлен оператором SETTRANSACTION. По умолчанию устанавливается уровень изоляции SERIALIZABLE. При выполнении конкурирующих транзакций на этом уровне изоляции гарантируется их сериализуемость. Сериализованное выполнение - это такое выполнение операций конкурирующих транзакций, которое производит тот же самый окончательный эффект, что и некоторое последовательное выполнение этих транзакций (т.е. такое выполнение, при котором каждая транзакция полностью завершается до начала следующей). Уровень изоляции определяет вид явления, которое может произойти при параллельном выполнении транзакций. Возможны следующие виды явлений:

P1 ("Dirtyread" - "Грязное чтение"): Транзакция T1 модифицирует строку. Затем транзакция T2 читает эту строку до того, как T1 выполняет COMMIT. Если после этого T1 выполнит ROLLBACK, то окажется, что T2 прочитала строку, которая никогда не была зафиксирована; можно считать, что эта строка никогда не существовала.

P2 ("Non-repeatableread" - "Неповторяющееся чтение"): Транзакция T1 читает строку. Затем транзакция T2 модифицирует или удаляет эту строку и выполняет COMMIT. Если после этого T1 попытается повторно прочитать эту строку, то либо получит ее измененное состояние, либо обнаружит, что строка удалена.

P3 ("Phantom" - "Фантом"): Транзакция T1 читает набор строк N, которые удовлетворяют некоторому условию поиска. Затем транзакция T2 выполняет операторы SQL, которые генерируют одну или более строк, удовлетворяющих условию поиска, использованному T1. Если после этого транзакция T1 повторит чтение с тем же самым условием поиска, она получит другой набор строк.

Все четыре уровня изоляции гарантируют, что каждая SQL-транзакция либо выполнится полностью, либо не выполнится совсем и что ни одно изменение не будет потеряно. Уровни изоляции различаются по отношению к явлениям P1, P2 и P3. В приводимой ниже таблице показано, какие явления возможны, а какие невозможны на данном уровне изоляции.

Уровень изоляции	P1	P2	P3
READUNCOMMITTED	Возможно	Возможно	Возможно
READCOMMITTED	Невозможно	Возможно	Возможно
REPEATABLEREAD	Возможно	Невозможно	Возможно
SERIALIZABLE	Невозможно	Невозможно	Невозможно

Замечание: отсутствие рассмотренных выше явлений при выполнении транзакций на уровне изоляции SERIALIZABLE является следствием требования, что такие транзакции являются сериализуемыми.

Изменения данных и/или схем, произведенные транзакцией, не завершившей выполнение оператором COMMIT, могут быть восприняты этой транзакцией в той же самой SQL-сессии. Кроме того, изменения будут видны другим транзакциям и этой транзакции в других сессиях на уровне изоляции READUNCOMMITTED, но не будут видны другим транзакциям на уровне изоляции READCOMMITTED, REPEATABLEREAD, или SERIALIZABLE.

Если в реализации обнаруживается невозможность гарантировать сериализуемость двух или более параллельно выполняемых транзакций, то неявно может быть инициировано выполнение оператора ROLLBACK. Неявное выполнение ROLLBACK может быть также инициировано реализацией при распознавании невосстановимых ошибок. В этих случаях генерируется соответствующее исключительное условие.

С учетом того, что выполняемые внутри транзакции операторы изменения данных или схемы не оказывают влияния, если нарушают ограничения целостности, при сериализуемом выполнении транзакции все чтения являются повторяемыми за исключением следующих случаев:

изменения данных или схем произведены явно самой транзакцией;

при повторном чтении процедуре передаются другие значения параметров;

используются изменяемые во времени переменные, такие как CURRENT_DATEandCURRENT_USER.

SQL-подключение - это ассоциация между SQL-клиентом и SQL-сервером. Подключение устанавливается и именуется с помощью оператора CONNECT, в котором сервер идентифицируется именем. В реализации определяется, каким образом используется имя сервера, чтобы установить его местоположение и коммуникационный протокол, требуемый для доступа к серверу и создания SQL-сессий.

SQL-соединение активно, если какой-либо оператор SQL, инициировавший или востребоваший SQL-транзакцию, был выполнен на соответствующем сервере в течение текущей транзакции. Соединение может быть текущим или потенциальным. Если соединение, установленное самым последним по времени выполнения явным или неявным оператором CONNECT (или SETCONNECTION), не разорвано, то это соединение является текущим; в противном случае оно не текущее. Существующее соединение, не являющееся текущим, называется потенциальным.

Реализация может обнаружить потерю текущего соединения при выполнении любого оператора SQL. Когда это происходит, генерируется исключительное условие, смысл которого состоит в том, что результаты действий, выполненных сервером в связи с этим оператором, неизвестны SQL-агенту.

Аналогично, реализация может обнаружить потерю текущего соединения при выполнении оператора COMMIT. Исключительное условие, возбуждаемое в этом случае, обозначает, что реализация не может узнать, была ли соответствующая транзакция успешно зафиксирована, откачена или продолжает быть активной.

Пользователь может инициировать установление соединения между SQL-клиентом, связанным с SQL-агентом, и конкретным SQL-сервером путем выполнения оператора CONNECT. Иначе установление соединения между клиентом и сервером инициируется, когда вызывается процедура и отсутствует текущее соединение. Возможно определяемое в реализации соединение по умолчанию с некоторым выделенным SQL-сервером.

SQL-соединение уничтожается либо при выполнении оператора DISCONNECT, либо после последнего вызова процедуры в последнем активном модуле, либо после последнего выполнения прямого вызова оператора SQL. Механизм и правила, по которым среда SQL определяет, что вызов процедуры или прямой вызов оператора SQL являются последними, определяются в реализации.

Реализация должна поддерживать по крайней мере одно SQL-соединение и может требовать, чтобы SQL-сервер идентифицировался во время связывания, выбираемое реализацией. Если реализация допускает наличие более чем одного соединения, то SQL-агент может соединяться с более чем одним SQL-сервером и выбирать SQL-сервер путем выполнения оператора SETCONNECTION.

SQL-сессия накрывает выполнение последовательности операторов SQL, вызываемых одним пользователем через единственного SQL-агента или с помощью механизма прямого вызова. Сессия ассоциируется с соединением. SQL-сессия, ассоциированная с соединением по умолчанию, называется сессией по умолчанию. Сессия может быть текущей или потенциальной. Текущая сессия - это сессия, ассоциированная с текущим соединением (соответствующим образом определяется потенциальная сессия).

SQL-сессии соответствует модуль сессии, который отличается от любого другого модуля, одновременно существующего в среде SQL. Модуль сессии содержит глобальные подготовленные операторы SQL, относящиеся к этой сессии.

Управление сессиями

Операторы этого набора служат для установки разнообразных умолчаний, действующих в пределах текущей SQL-сессии. Как и операторы управления подключениями, операторы управления сессиями, на наш взгляд, недостаточно тщательно проработаны в стандарте SQL/92.
3.9.1. Оператор установки имени каталога по умолчанию
Оператор позволяет установить имя каталога по умолчанию для расширения неквалифицированных имен схем, используемых в динамических операторах, подготавливаемых с помощью оператора немедленного выполнения, оператора подготовки, или в прямых операторах SQL. Оператор определяется следующим синтаксическим правилом:
::= SET CATALOG
Пояснения:

Спецификация значения должна иметь тип символьных строк.

Имя каталога по умолчанию устанавливается в соответствии с заданной строкой.

Управление транзакциями

На неформальном уровне мы кратко обсудили возможности управления транзакциями, поддерживаемые в стандарте SQL/92, в п.3.1.4. В этом разделе будут приведены синтаксические определения операторов управления транзакциями и соответствующие пояснения.
3.7.1. Оператор установки параметров транзакции
Оператор SETTRANSACTION служит для задания параметров следующей транзакции для данного SQL-агента. Оператор определяется следующими синтаксическими правилами:
::= SET TRANSACTION [ { }... ] ::= | | ::= ISOLATION LEVEL ::= READ UNCOMMITTED | READ COMMITTED | REPEATABLE READ | SERIALIZABLE ::= READ ONLY | READ WRITE ::= DIAGNOSTICS SIZE ::=
Пояснения:

Если уровень изоляции не специфицирован, то неявно полагается заданным уровень изоляции SERIALIZABLE.

Если специфицирован режим доступа READWRITE, то уровень изоляции не должен быть READUNCOMMITTED.

Если неспецифицирован режим доступа транзакции и указан уровень изоляции READUNCOMMITTED, то неявно полагается заданным режим доступа READONLY; в противном случае неявно полагается заданным режим доступа READWRITE.

Попытка выполнения оператора SETTRANSACTION в активной транзакции приводит к возбуждению исключительной ситуации.

Пусть TXN обозначает следующую транзакцию данного SQL-агента.

Режим доступа TXN устанавливается в соответствии со спецификациями, заданными в операторе SETTRANSACTION.

Уровень изоляции TXN устанавливается в зависимости от реализации, но таким образом, чтобы не проявлялись эффекты, которые не должны проявляться на уровне изоляции, явно или неявно задаваемом оператором SETTRANSACTION.

Размер области диагностики TXN устанавливается в соответствии с параметром , если он задан; в противном случае размер области диагностики зависит от реализации, но должен быть не меньше того, который был бы выделен при явном задании числа условий равного единице.

Уровни языка SQL/

В официальном стандарте SQL/92 определяются три уровня языка: полный SQL, промежуточный SQL и вводный SQL. Основная идея состоит в том, что полный SQL является полным стандартом, промежуточный SQL - cтрогое подмножество полного SQL, а вводный SQL - строгое подмножество промежуточного SQL. Разработчики стандарта стремились позволить поэтапную реализацию с продвижением от поддержки вводного SQL через поддержку промежуточного SQL к поддержке полного SQL (как мы отмечали выше, до сих пор ни одна компания-производитель реляционных СУБД не объявила, что в ее продукте целиком поддерживается полный SQL). В п. 3.14.1 перечисляются основные свойства полного SQL, которые отсутствуют в промежуточном SQL, а в п. 3.14.2 указываются основные черты, которые в дополнение к этому отсутствуют во вводном SQL.
Язык SQL, определенный стандартом, называется "соответствующим языком SQL". Реализация называется "соответствующей реализацией SQL", если в ней обрабатывается соответствующий язык SQL в соответствии со спецификациями стандарта. Таким образом, соответствующая реализация SQL должна поддерживать соответствующий язык SQL по крайней мере на вводном уровне. Такая реализация должна также поддерживать по крайней мере один "стиль связывания" (модуль, встроенный SQL или прямой SQL), и в случае модуля или встроенного SQL, по крайней мере один из официальных основных языков (Ada, Си, COBOL, FORTRAN, MUMPS, Pascal или PL/1). Более того, в такой реализации должны быть также документированы определения для всех свойств соответствующего языка SQL, которые установлены стандартом как определяемые в реализации.
Заметим, однако, что в соответствующей реализации явно допускается:

обеспечение поддержки дополнительных свойств или опций, не специфицированных в стандарте;

обеспечение опций для обработки соответствующего языка SQL несоответствующим образом;

обеспечение опций для обработки не соответствующего языка SQL.

С другой стороны, от реализации, которая провозглашается соответствующей стандарту на любом уровне (за исключением, возможно, вводного уровня), требуется поддержка опции SQLFlagger для помечания элементов, которые не соответствуют указанному уровню (см.п.3.14.3).
В стандарте SQL/92 многие аспекты явно установлены как "зависимые от реализации", т.е. неопределенные; на самом деле, некоторые аспекты кажутся (возможно, неумышленно) неопределенными неявно. Даже если две реализации могут законно быть провозглашены соответствующими стандарту, это не дает абсолютной гарантии переносимости приложений.
В стандарте специально не определяется метод компиляции прикладных программ со встроенным SQL или иной способ их обработки.

3.14.1. Промежуточный SQL

В этом разделе приводятся некоторые основные различия между полным SQL и промежуточным SQL. Заметим, что мы не претендуем на полноту этого списка; цель состоит только в том, чтобы предоставить общую идею этих различий. Для абсолютно точной информации следует обращаться к самому стандарту (соответствующая информация разбросана по всему документу).

Сначала мы приведем список конструкций полного SQL, которые целиком отсутствуют в промежуточном SQL:

идентификаторы, в которых последний символ есть подчеркивание;

явные имена каталогов;

операторы SETCATALOG, SETSCHEMA, SETNAMES;

операторы CONNECT, SETCONNECTION, DISCONNECT;

все конструкции, связанные с битовыми строками;

все, что служит для трансляции, преобразования и (явного) сравнения;

явная спецификация точности для данных типа TIME и TIMESTAMP;

значения SECOND для данных типа DATETIME или INTERVAL с более чем микросекундной точностью;

функции POSITION, UPPER, LOWER;

UNIONJOIN;

возможность указания CORRESPONDING для операторов UNION, EXCEPT и INTERSECT;

предикаты IS[NOT]TRUE, IS[NOT]FALSE, IS[NOT]UNKNOWN;

условия MATCH в определениях внешнего ключа;

утверждения целостности общего вида (операторы CREATE и DROPASSERTION);

проверочные ограничения базовой таблицы, которые ссылаются на другие таблицы;

определения действий ONUPDATE в определениях внешнего ключа;

откладываемые ограничения и оператор SETCONSTRAINTS;

"глобальные" и "объявляемые локальные" временные таблицы;

привилегии INSERT уровня столбцов;

LOCAL или CASCADED в опциях проверки (хотя CASCADED должно поддерживаться неявно);

оператор ALTERDOMAIN;

INSENSITIVE курсоры;

спецификация "TABLE таблица" внутри табличного выражения;

параметры или переменные основной программы как имена области дескрипторов SQL;

все, что служит для работы с генерируемыми пользователями именами операторов;

все, что служит для работы с генерируемыми пользователями именами курсоров;

операторы DEALLOCATEPREPARE, DESCRIBEINPUT и возможность наличия раздела INTO в операторе EXECUTE.

Вот список дополнительных ограничений:

ссылка на таблицу не может быть табличным выражением в круглых скобках;

оператор DISTINCT допускается внутри табличного выражения не более одного раза на каждом уровне вложенности;

список сравниваемых значений в правой части условия IN не должен включать более сложные элементы, чем литерал, ссылка на столбец или встроенная функция без параметров;

если при ссылке на агрегатную функцию указывается DISTINCT, аргумент должен представлять простую ссылку на столбец;

привилегия REFERENCES не требуется для столбцов, используемых в проверочном ограничении (это на самом деле противоположность ограничению; из этого следует, что промежуточный SQL не является вполне строгим подмножеством полного SQL);

наличие в определении курсора ORDERBY влечет неявно свойство FORREADONLY;

операторы INSERT, UPDATE и DELETE не могут включать раздел WHERE (ни прямо в случае поисковой операции, ни через определение курсора в случае позиционной операции), ссылающийся на таблицу, которая является целью этого оператора;

на некоторые таблицы информационной схемы (например, TRANSLATIONS) нельзя ссылаться.

Уровни языка

В стандарте SQL/92 специфицированы три уровня соответствия стандарту. Вводный уровень включает операторы определения схемы, язык манипулирования данными, ссылочную целостность, проверочные ограничения и раздел умолчания из SQL/89. Кроме того, вводный уровень содержит спецификации языка модулей и встроенного SQL для использования в семи различных языках программирования, а также определения подмножества SQL, предназначенного для прямого использования. Фактически, вводный уровень SQL/92 представляет собой более аккуратный вариант SQL/89.
Промежуточный уровень SQL/92 включает важные новые возможности, такие как операторы изменения схемы, динамический SQL и уровни изоляции SQL-транзакций. В промежуточном SQL содержатся также спецификации каскадного удаления при выполнении ссылочных действий, соединения объединением, операций со строками символов, операций пересечения и вычитания таблиц, простых доменов, выражения с переключателем, явного преобразования типов, средств управления диагностикой, интервальных типов данных и упрощенного варианта типа дата-время, строк переменной длины. К промежуточному уровню относится и требование наличия средства, контролирующего соответствие вводимых операторов стандарту.
Полный SQL включает возможности отложенной проверки ограничений целостности и определения именованных ограничений. Дополнительные свойства: возможность определять типы дата-время на уровне пользователя, модификации и удаления строк с возможностью ссылаться в условии на ту же таблицу, каскадные модификации при ссылочных действиях, подзапросы в проверочных ограничениях, тип данных битовых строк, временные таблицы, утверждения целостности.
На этом мы заканчиваем обсуждать понятия языка SQL/92 и переходим к более глубокому изучению его наиболее важных свойств (хотя, конечно, не всех и не так подробно, как это делается в самом стандарте).

Условие поиска

Условие поиска принимает значения true, false или unknown в зависимости от результата применения булевских операторов к составляющим его простым условиям. Синтаксис и семантика условия поиска в SQL/92 практически такие же, как в SQL/89, но в стандарте SQL/92 более четко специфицирована трехзначная логика, в которой происходит вычисление условия поиска. Синтаксис определяется следующими правилами:
::= | OR ::= | AND ::= [ NOT ] ::= [ IS [ NOT ] ] ::= TRUE |FALSE |UNKNOWN ::= |
Пояснения:

Если условие поиска не содержит булевских операторов, то результат его вычисления совпадает с результатом составляющего его простого условия, задаваемого одним из перечисленных выше предикатов.

NOT(true) есть false, NOT(false) есть true и NOT(unknown) есть unknown. Правила применения других булевских операторов задаются следующими таблицами истинности:

Таблица истинности для оператора AND

	true	false	unknown
true	true	false	unknown
false	false	false	false
unknown	unknown	false	unknown

Таблица истинности для оператора OR

	true	false	unknown
true	true	true	true
false	true	false	unknown
unknown	true	unknown	unknown

Таблица истинности для оператора IS

	true	false	unknown
true	true	true	false
false	false	true	false
unknown	false	false	unknown

Важность применения стандартов SQL при разработке прикладных систем

Помимо прочего, в курсе содержатся некоторые рекомендации, направленные на то, чтобы облегчить создание мобильных прикладных информационных систем, опирающихся на использование реляционных СУБД, которые поддерживают международный стандарт языка баз данных SQL. Чтобы больше прояснить назначение и возможности предлагаемых материалов, необходимо сделать несколько предварительных замечаний.
Прежде всего под мобильностью прикладной системы здесь понимается не только возможность ее сравнительно легкого переноса на другую аппаратную платформу, но и возможность сравнительно ее легкого приспособления к использованию другой СУБД. Мы не рассматриваем здесь проблемы переносимости, связанные с особенностями операционных систем. Заметим, что в общем случае проблемы переноса будут существенно проще, если в качестве целевых аппаратных средств используются UNIX-компьютеры, причем в качестве операционной системы используются современные версии ОС UNIX, соответствующие международным стандартам (например, системы семейств SystemVRelease 4.x или BSD 4.3), а в качестве языка программирования используется хорошо стандартизованный язык (далее мы предполагаем использование языка ANSI Си). Конечно, при некоторых дополнительных ограничениях на программирование (если это позволяет специфика прикладной системы) иногда можно добиться возможности несложного переноса прикладной системы и в среду другой операционной системы.
Когда мы говорим о возможности приспособления прикладной системы к использованию различных СУБД, то, конечно, имеем в виду не произвольные СУБД, а системы, поддерживающие международный стандарт языка SQL. Другими словами, мы предполагаем прямое использование языка SQL при разработке прикладной системы, а также то, что все взаимодействия с системой БД производятся только с использованием этого языка. На самом деле, это существенно ограничивает возможный набор СУБД. Например, если в некоторой СУБД поддерживается доступ к БД на основе некоторого подмножества SQL, из этого не следует автоматически, что прикладная система может быть легко приспособлена к использованию этой СУБД. Реализация стандарта SQL вообще говоря означает, что для работы с БД не требуется привлечение никакого другого языка.
К сожалению, на практике дела обстоят не совсем так, и в разных СУБД, производители которых объявляют их соответствующими стандарту SQL, достаточно часто реализуются немного разные языки. Частично это объясняется недостатками самого стандарта, частично - историческими и конъюнктурными обстоятельствами. К сожалению, такова текущая реальность, и к ней нужно приспосабливаться.
Дополнительной трудностью при подготовке курса было то, что в настоящее время происходит переход от одного стандарта языка SQL к другому. Как уже отмечалось, первый международный стандарт языка SQL был принят в 1989 г., и подавляющее большинство доступных на рынке СУБД поддерживают именно этот стандарт. Все было бы в порядке, если бы этот стандарт был достаточно полным. Но к сожалению, он обладает по крайней мере двумя недостатками.
Во-первых, очень многие важные свойства языка стандарт устанавливает как определяемые в реализации или зависимые от реализации. Это дало большой простор к расхождениям между различными реализациями SQL. Во-вторых, некоторые практически важные аспекты языка вообще не упоминаются в стандарте SQL/89. К ним прежде всего относятся правила встраивания языка SQL в язык программирования Си и так называемый динамический SQL. Естественно, во всех коммерческих СУБД реализованы какие-то варианты этих возможностей. Как правило, они очень близки, но отсутствие стандарта не гарантирует их идентичность.
Принятый в 1992 г. новый международный стандарт языка SQL тоже не лишен недостатков, но в то же время является существенно более точным и полным, чем SQL/89. SQL/92 не только восполняет недостатки SQL/89, но содержит также много новых свойств. Но даже если ориентироваться на использование СУБД, поддерживающей только стандарт SQL/89, необходимо некоторое знакомство со стандартом SQL/92, поскольку этот стандарт во многом базировался на расширениях языка, имеющихся в различных реализациях. При создании прикладных систем обойтись без использования этих расширений иногда невозможно, а единственным способом анализа совместимости разных расширений SQL/89 является SQL/92.
Естественно, данный курс не может служить заменой текстов стандартов языка SQL и фирменной документации какой-либо конкретной СУБД. Его цель состоит в том, чтобы по возможности облегчить работу по освоению этих основных документов, отметить некоторые тонкие места, связанные с мобильностью. В некоторых случаях, когда вероятность расхождения между разными реализациями может быть особенно велика, будут предлагаться возможные решения локализации проблем.

Встроенный SQL

Поскольку в стандарте SQL/89 не специфицированы (даже в приложениях) правила встраивания SQL в язык Си, мы приведем только общие синтаксические правила встраивания, используемые для любого языка. Это поможет оценить "степень стандартности" конкретной реализации.
::= { | |} [] ::= EXEC SQL ::= END EXEC ; ::= (...] ::= BEGIN DECLARE SECTION [] ::= END DECLARE SECTION [] ::= : ::= WHENEVER ::= SQLERROR NOT FOUND ::= CONTINUE ::= { GOTO GO TO } ::= :
Встраиваемые операторы SQL, включая объявления курсора, а также разделы объявления исключительных ситуаций и переменных основной программы, должны быть окружены скобками EXECSQL и ENDEXEC. Объявление курсора должно встречаться текстуально раньше любого оператора, ссылающегося на этот курсор. Все переменные основной программы, используемые во встроенных операторах SQL, должны быть объявлены в текстуально предшествующем этому оператору разделе объявления переменных основной программы. При этом синтаксис объявления переменной соответствует синтаксису основного языка программирования, но имени переменной предшествует двоеточие.
Механизм обработки исключительных ситуаций в SQL/89 исключительно прост (можно сказать, примитивен). Можно задавать реакцию на возникновение двух видов условий: SQLERROR - это условие появления в переменной SQLCODE после выполнения встроенного оператора отрицательного значения; NOTFOUND - условие появления в SQLCODE значения +100 (этот код означает исчерпание курсора). Реакция может состоять в выполнении безусловного перехода на метку основной программы (действие GOTO), или отсутствовать (действие CONTINUE). Срабатывает тот оператор определения реакции на исключительную ситуацию, который текстуально ближе от начала программы к данному оператору SQL.
Заметим, что во многих реализациях поддерживается два вида кодов ответа при выполнении операторов SQL (встроенных или взятых из модуля): через переменную SQLCODE с кодами ответа, представляемыми целыми числами, и через переменную SQLSTATE с кодами ответа, кодируемыми десятичными числами, представленными в текстовой форме. Имеется тенденция к переходу на использование только механизма SQLSTATE, но в стандартных реализациях должен поддерживаться механизм SQLCODE.

Пояснения:

Программа на языке Си со встроенным SQL - это единица компиляции, состоящая из текстов на языках Си и SQL. Си-текст должен соответствовать стандарту ISO/IEC 9899. SQL-текст должен состоять из одного или более встроенных операторов SQL и, возможно, из одной или более секций объявления SQL.

Встроенный оператор SQL может содержаться в любом месте программы, в котором может содержаться Си-оператор внутри блока функции. Если перед Си-оператором в этом месте может присутствовать метка, то она может быть поставлена и перед встроенным оператором SQL.

В Си-программе со встроенным SQL Си-идентификатор (Chostidentifier) - это любой допустимый в языке Си идентификатор переменной.

Определение Си-переменной (Cvariabledefinition) определяет одну или более переменных языка Си и модифицируется следующим образом:

(a) любая необязательная спецификация CHARACTERSET удаляется из определения или ;

(b) в любом объявлении символьной переменной "VARCHAR" заменяется на "char";

(c) в любом объявлении битовой переменной "BIT" заменятся на "char";

(d) длина (length), указанная в спецификации массива при объявлении битовой переменной, заменяется на значение, равное наименьшему целому, ближайшему к L/B (см. ниже);

(e) длина, указанная в спецификации массива при объявлении символьной переменной (постоянной или переменной длины), содержащего спецификацию CHARACTERSET, заменяется на длину в октетах соответствующего Си-идентификатора.

Последовательность представления символа (characterrepresentation), содержащаяся в начальном Си-значении, присваиваемом Си-переменной, должна быть допустимой Си-спецификацией начального значения.

За исключением случаев спецификации массива для символьных и битовых строк, объявление Си-переменной должно ссылаться на скалярный тип.

При объявлении Си-переменной в ключевых словах "VARCHAR", "CHARACTER", "SET", "IS", "BIT" и "VARYING" может использоваться произвольная комбинация малых и заглавных букв.

Каждый Си-идентификатор, указанный в определении символьной Си-переменной постоянной длины, описывает символьную строку постоянной длины; эта длина задается значением в соответствующей спецификации массива; значение переменной заканчивается пустым символом, позиция которого включается в заданную длину; эквивалентный тип данных SQL есть CHARACTER с длиной на единицу меньше и со значением, не включающим пустой символ; значение должно быть больше единицы 1.

Каждый Си-идентификатор, указанный в определении строчной Си-переменной переменной длины, описывает символьную строку переменной длины; максимальная длина задается значением в соответствующей спецификации массива; значение переменной заканчивается пустым символом, позиция которого включается в заданную максимальную длину; эквивалентный тип данных SQL есть CHARACTERVARYING с длиной на единицу меньше и со значением, не включающим пустой символ; значение должно быть больше единицы 1.

Каждый Си-идентификатор, указанный в определении битовой Си-переменной, описывает битовую строку постоянной длины; пусть B - длина в битах значения типа языка Си "char", а L - значение в соответствующей спецификации массива, тогда длина эквивалентной символьной Си-переменной есть наименьшее целое, не меньшее значения L/B; эквивалентный тип SQL есть BIT с длиной L.

Тип данных "long" Си-переменной эквивалентен типу INTEGER языка SQL.

Тип данных "short" Си-переменной эквивалентен типу SMALLINT языка SQL.

Тип данных "float" Си-переменной эквивалентен типу REAL языка SQL.

Тип данных "double" Си-переменной эквивалентен типу DOUBLEPRECISION языка SQL.

Если Си-программа со встроенным SQL не содержит определения Си-переменной SQLSTATE в виде символьной переменной постоянного размера с указанием длины массива, равной 6, или в виде переменной типа "long", то предполагается наличие такой переменной с типом "long".

Вводный SQL

В этом разделе мы перечисляем некоторые дополнительные свойства полного SQL, которые отсутствуют во вводном SQL в дополнение к тем, которых нет в промежуточном SQL:

идентификаторы длиннее, чем из 18 символов;

малые буквы в идентификаторах;

оператор SETSESSIONAUTHORIZATION;

символьные строки переменного размера;

определяемые в реализации наборы символов, включая строки национальных символов;

все конструкции, связанные с datetime и interval;

все, что связано с доменами;

явные именованные ограничения;

константы CURRENT_USER, SESSION_USER, SYSTEM_USER (однако USER поддерживается);

CHARACTER_LENGHT, OCTET_LENGHT;

функции SUBSTRING, TRIM, EXTRACT;

операция конкатенации символьных строк;

выражения с переключателем;

оператор явного преобразования типов (CAST);

раздел DEFAULT в операторах INSERT и UPDATE;

явный оператор JOIN;

операции EXCEPT и INTERSECT;

элементы выборки в форме "R.*";

условие UNIQUE;

оператор DROPSCHEMA;

оператор DROPTABLE;

задание действия ONDELETE в определениях внешнего ключа;

оператор ALTERTABLE;

оператор DROPVIEW;

оператор REVOKE;

оператор SETTRANSACTION;

динамический SQL;

прокручиваемые курсоры;

раздел FORUPDATE в определении курсора;

преобразования между точными и приблизительными численными значениями при присваивании;

информационная схема;

оператор GETDIAGNOSTICS.

Вот список дополнительных ограничений:

конструктор строки должен включать в точности один компонент, за исключением специального случая, когда конструктор строки является компонентом конструктора таблицы (в этом случае он должен быть единственным таким компонентом), и случая, когда конструктор строки используется для определения источника в операторе INSERT;

табличное выражение в круглых скобках не может включать UNION;

если в разделе FROM выражения выборки присутствует ссылка на представление, определение которого включает разделы GROUPBY или HAVING, то

(а) в этом разделе FROM не должны упоминаться другие таблицы;

(b) это выражение выборки не должно включать разделы WHERE, GROUPBY и HAVING;

(c) раздел SELECT этого выражения выборки не должен включать ссылок на какие-либо агрегатные функции;

одиночный оператор SELECT не может включать разделы GROUPBY и ORDERBY и не может ссылаться на представление, в определении которого использованы разделы GROUPBY и ORDERBY;

если какое-либо значение в условии сравнения представляет собой выражение выборки в круглых скобках, это выражение выборки не может содержать разделы GROUPBY и HAVING и не должно ссылаться на представление, в определении которого использованы разделы GROUPBY и ORDERBY;

для UNION типы данных соответствующих столбцов должны быть в точности одними и теми же (и NOTNULL должно прилагаться ко всем или ни к кому);

в условии LIKE первый операнд должен быть ссылкой на столбец, и "pattern" и "escape" должны быть литералами, параметрами или переменными основной программы;

в проверке на неопределенное значение операнд должен быть ссылкой на столбец;

оператор CREATESCHEMA должен включать раздел AUTHIRIZATION и не должен включать имени схемы;

определение модуля должно включать раздел AUTHIRIZATION и не должен включать раздела SCHEMA;

каждый столбец, упомянутый в определении возможного ключа, должен быть явно определен как NOTNULL;

ключевое слово TABLE не должно появляться в операторе GRANT;

операторы COMMIT и ROLLBACK должны включать паразитное слово WORK.

Выражение запросов

Выражение запросов - это выражение, строящееся по указанным синтаксическим правилам на основе спецификаций запросов. Единственной операцией, которую разрешается использовать в выражениях запросов, является операция UNION (объединение таблиц) с возможной разновидностью UNIONALL. К таблицам-операндам выражения запросов предъявляется то требование, что все они должны содержать одно и то же число столбцов, и соответствующие столбцы всех операндов должны быть одного и того же типа. Выражение запросов вычисляется слева направо с учетом скобок. При выполнении операции UNION производится обычное теоретико-множественное объединение операндов, т.е. из результирующей таблицы удаляются дубликаты. При выполнении операции UNIONALL образуется результирующая таблица, в которой могут содержаться строки-дубликаты.

Выражения над строками

Выражения над строками - это выражения, значениями которых являются символьные или битовые строки. Соответствующие конструкции определяются следующим синтаксисом:
::= ::= ::= | ::= [ ] ::= ::= ::= ::= ::=
Если не вдаваться в тонкости, смысл выражений над строками понятен из описания синтаксиса: единственная применимая для построения выражений операция - конкатенация, производящая "склейку" строк-операндов. Более важно то, что первичной составляющей выражения над строками может быть как первичное выражение, вычисляющее значение (см. выше), так и вызов функций, возвращающих строчные значения. Репертуар и синтаксис вызова таких функций определяются следующим синтаксисом:
::= ::=

::= SUBSTRING FROM [ FOR ] ::= { UPPER LOWER }

::= CONVERT USING ::= TRANSLATE USING ::= TRIM ::= [ [ ] [ ] FROM ] ::= ::= LEADING TRAILING BOTH ::= ::= ::= SUBSTRING FROM [ FOR ] ::= ::=
Пояснения: Основные полезные функции - выделение подстроки (SUBSTRING) и замена малых букв на заглавные и наоборот (UPPER и LOWER) - мы упоминали при рассмотрении строчных типов. Как видно из описания синтаксиса функций, возвращающих строчные значения, для символьных строк имеются еще три функции: CONVERT, TRANSLATE и TRIM. По смыслу они все очень просты. Функция CONVERT меняет кодировку символов в заданной строке, причем репертуар символов не меняется. Способ задания правил перекодировки определяется в реализации. Функция TRANSLATE, наоборот, в соответствии с правилами трансляции "переводит" текстовую строку на другой язык (используя набор символов целевого алфавита). Кодировка не меняется. Функция TRIM "отсекает" последовательности указанного символа в начале, в конце или в конце и начале заданной строки.

Выражения над временем и датами

К выражениям над временем и датой мы относим выражения, вырабатывающие значения типа дата-время и интервал. Выражения дата-время определяются следующими синтаксическими правилами: >
::= | | ::= ::= [ ] ::= | ::= AT ::= LOCAL TIME ZONE
Пояснения: Как видно из описания синтаксиса, сами выражения строятся очень просто - на основе обычных арифметических операций. Снова более интересны первичные составляющие- вызовы функций, возвращающих значение дата-время. Эти вызовы определяются следующим синтаксисом:
::= | | ::= CURRENT_DATE ::= CURRENT_TIME [ ] ::= CURRENT_TIMESTAMP [ ]
Видимо, приведенные синтаксические правила не нуждаются в комментариях: можно получить текущую дату, а также текущее время с желаемой точностью.
Синтаксис выражений со значениями типа интервал определяется следующими правилами:
::= | | | |

Имя столбца	Тип данных	Возможность содержать NULL	Значение по умолчанию
emp_id	empid	нет	нет
fname	varchar(20)	нет	нет
minit	char(1)	да	нет
lname	varchar(30)	нет	нет
job_id	smallint	нет	1
job_lvl	tinyint	нет	10
pub_id	char(4)	нет	'9952'
hire_date	datetime	нет	GETDATE()

Имя столбца	Тип данных	Возможность содержать NULL	Значение по умолчанию
job_id	smallint	нет	IDENTITY(1,1)
job_desc	varchar(50)	нет	'NewPosition - titlenotformalizedyet'
min_lvl	tinyint	нет	нет
max_lvl	tinyint	нет	нет

Введение в стандарты языка баз данных SQL

Агрегатные функции и результаты запросов

Базовая таблица INFORMATION_SCHEMA_CATALOG_NAME

Битовые строки

Численные выражения

Динамический SQL

Домен CARDINAL_NUMBER

Домен CHARACTER_DATA

Домен SQL_IDENTIFIER

Домены, столбцы, таблицы, ограничения целостности

Допустимые предикаты и условия поиска

Информационная схема и каталоги базы данных

История языка SQL

Изменение схемы таблицы

Язык баз данных SQL/

Язык модулей и встроенный SQL

Этапы стандартизации SQL

Манипулирование данными

Набор операторов манипулирования данными

Одной из проблем реализации языка

Несовместимости SQL/ и SQL/

Одиночные операторы манипулирования данными

Одиночные операторы

Ограничение по ссылкам

Ограничение уникальности

Оператор чтения очередной строки курсора

Оператор чтения строки по курсору, связанному с динамически подготовленным оператором выборки

Оператор фиксации транзакции

Оператор изменения схемы таблицы

Оператор объявления курсора над динамически подготовленным оператором выборки

Оператор объявления курсора

Оператор определения курсора над динамически подготовленным оператором выборки

Оператор освобождения памяти из-под дескриптора

Оператор отката транзакции

Оператор отказа от подготовленного оператора

Оператор отказа от подключения

Оператор открытия курсора, связанного с динамически подготовленным оператором выборки

Оператор открытия курсора

Оператор подготовки с немедленным выполнением

Оператор подготовки

Оператор поискового удаления

Оператор поисковой модификации

Оператор получения информации из области дескриптора SQL

Оператор позиционного удаления

Оператор позиционной модификации

Оператор установки дескриптора

Оператор установки идентификатора авторизации сессии

Оператор установки имени набора символов по умолчанию

Оператор установки имени схемы по умолчанию

Оператор установки режима ограничений

Оператор вставки

Оператор выбора подключения

Оператор выборки

Определение ограничений целостности

Определение представлений

Определение представления

Определение привилегий

Определение процедуры

Основные понятия

Особенности текущих реализаций

Осуждаемые свойства языка SQL/

Подготавливаемый оператор позиционного удаления

Подготавливаемый оператор позиционной модификации

Подключение к базе данных

Подзапрос

Подзапросы

Предикат between

Предикат exists

Предикат in

Предикат like

Предикат match

Предикат null

Предикат overlaps

Предикат с квантором

Предикат сравнения с квантором

Предикат сравнения

Предикат unique

В этом курсе будут рассмотрены

Представление ASSERTIONS

Представление CHARACTER_SETS