Общие элементы SQL

Пусть R обозначает аргумент или источник аргумента <спецификации функции над множеством> ().

<Спецификация столбца> () <функции над различными элементами множества> () и каждая <спецификация> () в <выражении, вырабатывающем значение> () <функции надо всеми элементами множества> () должны недвусмысленно ссылаться на столбец R и не должны ссылаться на столбец, порожденный из <спецификации> ().

<Выражение, вырабатывающее значение> () <функции надо всеми элементами множества> должно включать <спецификацию столбца> (), которая ссылается на столбец R, и не должно включать <спецификацию функции над множеством> (). Если <спецификация> () является внешней ссылкой, то <выражение> () не должно включать никаких операторов.
Замечание: "Внешняя ссылка" определяется в 5.7, "<Спецификация> ().

Если <спецификация> () содержит <спецификацию столбца> (), являющуюся внешней ссылкой, то <спецификации функции над множеством> () должна содержаться в <подзапросе> () <статьи having> ().
Замечание: "Внешняя ссылка" определяется в 5.7, "<Спецификация> ().

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

Если указывается COUNT, то тип данных результата <спецификации> () - это тип точных чисел с определенной в реализации точностью и масштабом 0.

Если указывается MAX или MIN, то тип данных результата есть T.

Если указывается SUM или AVG, то:
a) тип T не должен быть типом символьных строк.
b) если указывается SUM и T - тип точных чисел с масштабом S, то тип данных результата - тип точных чисел с определенной в реализации точностью и масштабом S.
c) если указывается AVG и T - тип точных чисел с масштабом S, то тип данных результата - тип точных чисел с определенными в реализации точностью и масштабом.
d) если T - тип приблизительных чисел, то тип результата - тип приблизительных чисел с определенной в реализации точностью.

Общие правила

1. Аргументом <функции над различными элементами множества> () является множество значений. Это множество получается путем удаления неопределенных значений и всех избыточных дублирующих значений из столбца R, на который ссылается <спецификация> ().

2. Аргументом <функции надо всеми элементами множества> () является мультимножество значений. Это мультимножество получается путем удаления всех неопределенных значений из результата применения <выражения, вырабатывающего значение> () к каждой строке R. Указание или неуказание ALL не влияет на смысл <функции надо всеми элементами множества> ().

3. Пусть S обозначает аргумент <функции над различными элементами множества> () или <функции надо всеми элементами множества> ().

4. Тогда:
   a) Если задается <функция над различными элементами множества> () COUNT, то результатом является мощность S.
   b) Если задается функция COUNT(*), то результатом является мощность R.
   c) Если задается функция AVG, MAX, MIN или SUM и S пусто, то результатом является неопределенное значение.
   d) Если задается MAX или MIN, то результатом является, соответственно, максимальное или минимальное значение в S. Эти результаты определяются с использованием правил сравнения, определенных в 5.11, "".
   e) Если задается SUM, то результатом является суммазначений в S. Сумма должна быть в пределах диапазона значений типа данных результата.
   f) Если задается AVG, то результатом является среднеезначение значений в S. Сумма значений в S должнабыть в пределах диапазона значений типа данных результата.

5.9 <Выражение> ()

Функция

Специфицирует значение.

Формат

::=

| +

| -

::=

| *

| /

::=

[+|-]

::=

|

|

| ( )

Синтаксические правила

1. <Выражение, вырабатывающее значение> (), включающее <функцию над различными элементами множества>, не должно включать никаких двухместных операторов.

2. Первый <символ> () <лексемы> (), следующей за одноместным оператором, не должен быть знаком плюс или минус.

3. Если тип данных <первичного> () является типом символьных строк, то <выражение, вырабатывающее значение> () не должно включать никаких операторов. Типом данных результата является тип символьных строк.

4. Если тип данных обоих операндов оператора является типом точных чисел, то тип данных результата является типом точных чисел с точностью и масштабом, определяемыми следующим образом:
   a) Пусть s1 и s2 - масштабы первого и второго операндов, соответственно.
   b) Точность результата сложения и вычитания определяется в реализации, и масштаб есть max(s1,s2).
   c) Точность результата умножения определяется в реализации, и масштаб есть s1+s2.
   d) Точность и масштаб результата деления определяются в реализации.

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

Общие правила

1. Если значение <первичного> () является неопределенным значением, то результатом <выражения, вырабатывающего значение> () является неопределенное значение.

2. Если операторы не указаны, то результатом <выражения> () является значение указанного <первичного> ().

3. Когда <выражение> () применяется к строке таблицы, каждая ссылка на столбец этой таблицы является ссылкой на значение этого столбца в этой строке.

4. Одноместные арифметические операторы + и - специфицируют одноместный плюс и одноместный минус, соответственно. Одноместный плюс не изменяет своего операнда. Одноместный минус изменяет знак своего операнда.

5. Двухместные арифметические операторы +, -, * и / специфицируют сложение, вычитание, умножение и деление соответственно. Делитель не должен быть равен 0.

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

7. Первыми вычисляются выражения в скобках. Когда порядок вычисления не определяется скобками, одноместные операторы применяются перед операторами умножения и деления, операторы умножения и деления применяются перед операторами сложения и вычитания, и операторы одного уровня предшествования применяются слева направо.

5.10 <Предикат> ()

Функция

Специфицирует условие, для которого может быть вычислено истиностное значение "true", "false" или "unknown".

Формат

::=

|

|

|

|

|

|

Синтаксические правила

Нет.

Общие правила

1. Результат <предиката> () получается его применением к данной строке таблицы.

5.11 <Предикат> ()

Функция

Специфицирует сравнение двух значений.

Формат

::=

{ | }

::=

= | <> | < | > | <= | >=

Синтаксические правила

1. Тип данных первого <выражения, вырабатывающего результат> () и <подзапроса> () или второго <выражения, вырабатывающего значение> () должны быть сравнимыми.

Общие правила

1. Пусть x обозначает результат первого <выражения, вырабатывающего значение> () и пусть y обозначает результат <подзапроса> () или второго <выражения> (). Мощность результата <подзапроса> () не должна быть больше единицы.

2. Если x или y являются неопределенными значениями или если результат <подзапроса> () пустой, то результатом "x y" является unknown.

3. Если x и y являются не неопределенными значениями, то результатом "x y" является true или false: "x = y" есть true тогда и только тогда, когда x и y равны. "x <> y" есть true тогда и только тогда, когда x и y не равны. "x < y" есть true тогда и только тогда, когда x меньше, чем y. "x > y" есть true тогда и только тогда, когда x больше, чем y. "x <= y" есть true тогда и только тогда, когда x не больше, чем y. "x >= y" есть true тогда и только тогда, когда x не меньше, чем y.

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

5. Сравнение двух символьных строк определяется через сравнение <символов> () с одинаковыми порядковыми позициями. Если строки не имеют одинаковую длину, то сравнение производится с рабочей копией более короткой строки, дополненной справа пробелами таким образом, чтобы она имела длину, равную длине другой строки.

6. Две строки равны, если все <символы> () с одинаковыми порядковыми позициями совпадают. Если две строки не равны, то их отношение определяется на основе сравнения первой пары неравных <символов> () с левого конца строк. Это сравнение производится в соответствии с определенной в реализации последовательностью сопоставления.

7. Хотя "x = y" есть unknown, если x и y являются неопределенными значениями, в контекстах GROUP BY, ORDER BY и DISTINCT неопределенное значение идентично или является дубликатом другого неопределенного значения.

<Предикат between> ()

Функция

Специфицирует сравнение с интервалом.

Формат

::=

[NOT] BETWEEN AND

Синтаксические правила

1. Типы данных всех трех <выражений, вырабатывающих значение> () должны быть сравнимыми.

Общие правила

1. Пусть x, y и z обозначают результаты первого, второго и третьего <выражений, вырабатывающих значение> (), соответственно.

2. Результат "x BETWEEN y AND z" тот же самый, что и результат "x >= y AND x <= z".

3. Результат "x NOT BETWEEN y AND z" тот же самый, что и результат "NOT (x BETWEEN y AND z)".

5.13 <Предикат> ()

Функция

Специфицирует сравнение с квантором.

Формат

::=

[NOT] IN

{ | () }

::=

{ , }...

Синтаксические правила

1. Типы данных первого <выражения, вырабатывающего значение> () и <подзапроса> () или всех <выражений, вырабатывающих значение> () в <списке> () должны быть сравнимыми.

Общие правила

1. Пусть x обозначает результат <выражения, вырабатывающего значение> (). Пусть S обозначает результат <подзапроса> () как в <предикате с квантором> () или значения, определенные через <список значений in> (), рассматриваемые как значения строк единственного столбца таблицы степени один.

2. Результат "x IN S" тот же самый, что и результат "x = ANY S". Результат "x NOT IN S" тот же самый, что и результат "NOT (x IN S)".

5.14 <Предикат> ()

Функция

Специфицирует сравнение по совпадению с образцом.

Формат

::=

[NOT] LIKE

[ESCAPE ]

::=

::=

Синтаксические правила

1. <Спецификация столбца> () должна указывать на столбец символьных строк.

2. Тип данных <образца> () должен быть типом символьных строк.

3. Тип данных <символа> () должен быть типом символьных строк длины 1.

Общие правила

1. Пусть x обозначает значение, указываемое <спецификацией> (), и пусть y обозначает результат <спецификации> () <образца> ().

2. Тогда:
   a) Если указывается <символ> (), то:

   • 
     i) Пусть z обозначает результат <спецификации значения> () <символа escape> ().
     ii) Должно существовать разбиение строки y на подстроки такое, что каждая подстрока имеет длину 1 или 2, никакая подстрока длины 1 не содержит символа escape z, и каждая подстрока длины 2 начинается с символа escape z, за которым следует либо символ escape z, либо символ подчеркивания, либо символ знака процента. В этом разбиении y каждая подстрока длины 2 представляет одно вхождение второго символа этой подстроки. Каждая подстрока длины 1, содержащая символ подчеркивания, представляет спецификатор произвольного символа. Каждая подстрока длины 1, содержащая знак процента, представляет спецификатор произвольной строки. Каждая подстрока длины 1, не содержащая ни символа подчеркивания, ни символа знака процента, представляет символ, который она содержит.

b) Если <символ> () не указан, то каждый символ подчеркивания в y представляет спецификатор произвольного символа, каждый символ знака процента в y представляет спецификатор произвольной строки, и каждый символ в y, который не является ни символом подчеркивания, ни символом знака процента, представляет сам этот символ.

1. Строка y является последовательностью минимального числа спецификаторов подстрок таких, что каждый <символ> () y является частью в точности одного спецификатора подстроки. Спецификатор подстроки - это спецификатор произвольного символа, спецификатор произвольной подстроки или любая последовательность <символов> (), не являющаяся спецификатором произвольного символа или спецификатором произвольной строки.

2. Результатом "x LIKE y" является unknown, если x или y представляют неопределенное значение. Если x и y представляют не неопределенные значения, то значением "x LIKE y" является либо true, либо false.

3. Результатом "x LIKE y" является true, если существует разбиение x на подстроки такое, что:
   a) Подстрока x является последовательностью нуля или более подряд идущих <символов> () x, и каждый <символ> () x есть часть в точности одной подстроки.
   b) Если i-ый спецификатор подстроки y является спецификатором произвольного символа, i-ая подстрока x состоит из одного произвольного <символа> ().
   c) Если i-ый спецификатор подстроки y является спецификатором произвольной строки, i-ая подстрока x является произвольной последовательностью нуля или более <символов> ().
   d) Если i-ый спецификатор подстроки y не является ни спецификатором произвольного символа, ни спецификатором произвольной строки, i-ая подстрока x совпадает с этим спецификатором подстроки и имеет ту же длину, что этот спецификатор подстроки.
   e) Число подстрок x равно числу спецификаторов подстрок y.

4. Результат "x NOT LIKE y" такой же, как результат "NOT (x LIKE y)".

5.15 <Предикат> ()

Функция

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

Формат

::=

IS [NOT] NULL

Синтаксические правила

Нет.

Общие правила

1. Пусть x обозначает значение, указываемое <спецификацией> ().

2. Результатом "x IS NULL" является true или false.

3. Результатом "x IS NULL" является true, если и только если x представляет неопределенное значение.

4. Результат "x IS NOT NULL" такой же, как результат "NOT (x IS NULL)".

5.16 <Предикат> ()

Функция

Специфицирует сравнение с квантором.

Формат

::=

::=

|

::= ALL

::= SOME | ANY

Синтаксические правила

1. Типы данных <выражения, вырабатывающего значение> () и <подзапроса> () должны быть сравнимы.

Общие правила

1. Пусть x обозначает результат <выражения, вырабатывающего значение> () и пусть S обозначает результат <подзапроса> ().

2. Результат "x S" вырабатывается путем применения подразумеваемого <предиката> () "x s" к каждому значению S:
   a) Если S пусто или если значение подразумеваемого <предиката> () равно true для каждого значения s в S, то значение "x S" есть true.
   b) Если значение подразумеваемого <предиката> () равно false хотя бы для одного значения s в S, то значение "x S" есть false.
   c) Если значение подразумеваемого <предиката> () равно true хотя бы для одного значения s в S, то значение "x S" есть true.
   d) Если S пусто или если значение подразумеваемого <предиката> () равно false для каждого значения s в S, то значение "x S" есть false.
   e) Если результатом "x S" не является ни true, ни false, то результатом является unknown.

5.17 <Предикат> ()

Функция

Специфицирует проверку множества на пустоту.

Формат

::=

EXISTS

Синтаксические правила

Нет.

Общие правила

1. Пусть S обозначает результат <подзапроса> ().

2. Результатом "EXISTS S" является либо true, либо false.

3. Результатом "EXISTS S" является true, если и только если S не пусто.

5.18 <Условие> (