Загальні правила  Аргументом <функції над різними елементами множини>      () є безліч значень. Це безліч      виходить шляхом видалення невизначених значень і всіх надлишкових      дублюючих значень зі стовпця R, на який посилається <специфікація      стовпця> ().  Аргументом <функції треба усіма елементами множини>      () є мультімножество значень. Це      мультімножество виходить шляхом видалення всіх невизначених значень з      результату застосування <виразу, який виробляє значення>      () до кожного рядка R. Вказівка або не зазначення ALL      не впливає на зміст <функції треба усіма елементами множини>      ().  Нехай S позначає аргумент <функції над різними елементами      безлічі> () або <функції треба усіма      елементами безлічі> ().  Тоді:
     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 <Вираз, що виробляють значення> ()

Функція

специфікує значення.

Формат :: = | + | - :: = | * | / :: = [+|-] :: = | | | ()

Синтаксичні правила  <Вираз, що виробляють значення> (), що включає <функцію над різними елементами      безлічі>, не повинно містити ніяких двомісних операторів.  Перший <символ> () <лексеми>      (), наступної за одномісним оператором, не повинен бути      знаком плюс або мінус.  Якщо тип даних <первинного вираження> ()      є типом символьних рядків, то <вираз, що виробляють      значення> () не повинен включати ніяких      операторів. Типом даних результату є тип символьних рядків.  Якщо тип даних обох операндів оператора є типом точних      чисел, то тип даних результату є типом точних чисел з точністю і      масштабом, що визначаються наступним чином:
     a) Нехай s1 і s2 - масштаби першого і другого операндів, відповідно.
     b) Точність результату додавання і віднімання визначається в реалізації, і      масштаб є max (s1, s2).
     c) Точність результату множення визначається в реалізації, і масштаб є      s1 + s2.
     d) Точність і масштаб результату поділу визначаються в реалізації.  Якщо тип даних якого-небудь операнда оператора є типом      приблизних чисел, то тип даних результату є тип приблизних      чисел. Точність результату визначається в реалізації.

Загальні правила  Якщо значення <первинного вираження> () є      невизначеним значенням, то результатом <виразу, який виробляє      значення "() є невизначене значення.  Якщо оператори не вказані, то результатом <вислови,      який виробляє значення> () є значення      вказаного <первинного вираження> ().  Коли <вираз, що виробляють значення> () застосовується до рядку таблиці, кожна посилання на стовпець      цієї таблиці є посиланням на значення цього стовпчика у цьому рядку.  Одномісні арифметичні оператори + і - специфікує      одномісний плюс і одномісний мінус, відповідно. Одномісний плюс не      змінює свого операнда. Одномісний мінус змінює знак свого операнда.        Двомісні арифметичні оператори +, -, * і/специфікує      додавання, віднімання, множення і ділення відповідно. Дільник НЕ      повинен бути дорівнює 0.  Якщо типом результату арифметичного оператора є тип цілих      чисел, то:
     a) Якщо оператор не оператор ділення, то математичний результат операції      повинен бути точно представимо з точністю і масштабом типу результату.
     b) Якщо оператор - це оператор ділення, то наближений математичний      результат операції, представлений з точністю і масштабом типу результату      не повинен втрачати ніяких лідируючих значущих цифр.  Першими обчислюються вирази в дужках. Коли порядок обчислення      не визначається дужками, одномісні оператори застосовуються перед      операторами множення і ділення, оператори множення і ділення застосовуються      перед операторами додавання і віднімання, і оператори одного рівня      передування застосовуються зліва направо. 5.10 <Предикат> ()

Функція

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

Формат :: = | | | | | |

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

Ні.

Загальні правила  Результат <предиката> () виходить його      застосуванням до цьому рядку таблиці. 5.11 <Предикат порівняння> ()

Функція

специфікує порівняння двох значень.

Формат :: = ( | ) :: = = | <> | <|> | < ; = |> =

Синтаксичні правила  Тип даних перша <виразу, який виробляє результат>      () і <підзапит> () або      другий <виразу, який виробляє значення> () повинні бути порівнянними.

Загальні правила  Нехай x позначає результат першого <виразу, який виробляє      значення> () і нехай y позначає результат      <підзапит> () або другий <вислови,      який виробляє значення> (). Потужність      результату <підзапит> () не повинна бути більше      одиниці.  Якщо x або y є невизначеними значеннями або якщо      результат <підзапит> () порожній, то результатом      "x y" є unknown.  Якщо 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.  Числа порівнюються відповідно до їх алгебраїчними значеннями.        Порівняння двох символьних рядків визначається через порівняння      <символів> () з однаковими порядковими позиціями.      Якщо рядки не мають однакову довжину, то порівняння проводиться з робочою      копією коротшою рядки, доповненої справа пробілами      таким чином, щоб вона мала довжину, що дорівнює довжині іншого рядка.  Два рядки рівні, якщо всі <символи> () з      однаковими порядковими позиціями збігаються. Якщо два рядки не рівні, то      їхнє ставлення визначається на основі порівняння першої пари нерівних      <символів> () з лівого кінця рядків. Це порівняння      проводиться відповідно до визначеної у реалізації      послідовністю зіставлення.  Хоча "x = y" є unknown, якщо x і y є      невизначеними значеннями, в контекстах GROUP BY, ORDER BY і DISTINCT      невизначений значення ідентичне або є дублікатом іншого      невизначеного значення. <Предикат between> ()

Функція

специфікує порівняння з інтервалом.

Формат :: = [NOT] BETWEEN AND

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

Загальні правила  Нехай x, y і z позначають результати першого, другого і третього      <виразів, що виробляють значення> (),      відповідно.  Результат "x BETWEEN y AND z" той же самий, що й      результат "x> = y AND x <= z".  Результат "x NOT BETWEEN y AND z" той же самий, що й      результат "NOT (x BETWEEN y AND z)". 5.13 <Предикат in> ()

Функція

специфікує порівняння з квантором.

Формат :: = [NOT] IN ( | ()) :: = (, < value specification>) ...

Синтаксичні правила  Типи даних перше <виразу, який виробляє значення>      () і <підзапит> () або      всіх <виразів, що виробляють значення> ()      в <списку значень in> () повинні бути      порівнянними.

Загальні правила  Нехай x позначає результат <виразу, який виробляє      значення "(). Нехай S позначає результат      <підзапит> () як в <предикат з квантором>      () або значення, визначені через <список      значень in> (), що розглядаються як значення      строк єдиного стовпця таблиці ступеня один.  Результат "x IN S" той же самий, що й результат "x      = ANY S ". Результат" x NOT IN S "той же самий, що й      результат "NOT (x IN S)". 5.14 <Предикат like> ()

Функція

специфікує порівняння по збігу із зразком.

Формат :: = [NOT] LIKE [ESCAPE ] :: = :: = < ; value specification>

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

Загальні правила  Нехай x позначає значення, що визначене <специфікацією      стовпця> (), і нехай y позначає результат      <специфікації значення> ()      <зразка> ().  Тоді:
     a) Якщо вказується <символ escape> (), то:     
      i) Нехай z позначає результат <специфікації значення> () <символу escape> ().
      ii) Має існувати розбиття рядка y на підрядка таке, що кожна       підрядок має довжину 1 або 2, ніяка підрядок довжини 1 не містить       символу escape z, і кожна підрядок довжини 2 починається з символу escape       z, за яким слід або символ escape z, або символ підкреслення,       небудь символ знака відсотка. У цьому розбитті y кожна підрядок довжини 2       представляє одне входження другого символу цієї підрядки. Кожна       підрядок довжини 1, що містить символ підкреслення, представляє       специфікатор довільного символу. Кожна підрядок довжини 1, що містить       знак відсотка, представляє специфікатор довільній рядка. Кожна       підрядок довжини 1, яка не містить жодного символу підкреслення, ні символу       знака відсотка, представляє символ, який вона містить.  

b) Якщо <символ escape> () не вказано, то кожен символ підкреслення в y представляє специфікатор довільного символа, кожен символ знака відсотка в y представляє специфікатор довільній рядки, і кожен символ в y, який не є ні символом підкреслення, ні з?? мволом знака відсотка, представляє сам цей символ.  Рядок y є послідовністю мінімального числа      специфікатор підрядка таких, що кожен <символ>      () y є частиною в точності одного специфікатор      підрядки. Специфікатор підрядка - це специфікатор довільного      символу, специфікатор довільній підрядка або будь-яка послідовність      <символів> (), що не є специфікатором      довільного символу або специфікатором довільній рядка.  Результатом "x LIKE y" є unknown, якщо x або y      представляють невизначений значення. Якщо x і y представляють не      невизначені значення, то значенням "x LIKE y" є або      true, або false.  Результатом "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.  Результат "x NOT LIKE y" такий же, як результат      "NOT (x LIKE y)". 5.15 <Предикат null> ()

Функція

специфікує перевірку значення на невизначеність.

Формат :: = IS [NOT] NULL

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

Ні.

Загальні правила  Нехай x позначає значення, що визначене <специфікацією      стовпця> ().  Результатом "x IS NULL" є true або false.  Результатом "x IS NULL" є true, якщо і тільки      якщо x представляє невизначений значення.  Результат "x IS NOT NULL" такий же, як результат      "NOT (x IS NULL)". 5.16 <Предикат з квантором> ()

Функція

специфікує порівняння з квантором.

Формат :: = :: = | :: = ALL :: = SOME | ANY

Синтаксичні правила  Типи даних <виразу, який виробляє значення> () і <підзапит> () повинні бути      порівнянні.

Загальні правила  Нехай x позначає результат <виразу, який виробляє      значення> () і нехай S позначає результат      <підзапит> ().  Результат "x S"      виробляється шляхом застосування мається на увазі <предиката      порівняння> () "x      s "до кожного значенням S:
     a) Якщо S пусто або якщо значення маючи на увазі