Мова модулів SQL

Мова модулів SQL 7.1 <Модуль> ()

Функція

Визначає модуль.

Формат :: = [ ...] ... :: = LANGUAGE (COBOL | FORTRAN | PASCAL | PLI) :: = AUTHORIZATION :: =

Синтаксичні правила Для кожного <визначення курсору> () в <модулі> () повинна існувати рівно один <процедура> () в цьому <модулі> (), яка містить <оператор відкриття> () зі специфікацією <імені курсору> (), оголошеного в <оголошенні курсору> (). <Модуль> () повинен бути асоційований з прикладної програмою за її виконання. Прикладна програма повинна бути асоційована не більше ніж з одним <модулем> ().

Загальні правила Якщо <розділ мови> () <модуля> () специфікує COBOL (відповідно FORTRAN, PASCAL, PLI) і якщо агент, що виконує виклик <процедури> () цього <модуля> (), не є стандартною програмою мовою COBOL (відповідно FORTRAN, Pascal, PL/1), то результат невизначений. Після виконання агентом на мові програмування останнього дзвінка <процедури> () в <модулі> () неявно виконується <оператор фіксації> () або <оператор відкату> (). Вибір одного з цих <операторів SQL> () визначається реалізацією. Якщо має місце невосстанавлваемая помилка, то СУБД має виконати <оператор відкату> (). 7.2. <Розділ імені модуля> ()

Функція

Визначає ім'я <модуля> ().

Формат :: = MODULE []

Синтаксичні правила <ім'я модуля> () повинно відрізнятися від <ім'я модуля> () будь-якого іншого <модуля> () у тому ж оточенні. Поняття оточення визначається в реалізації.

Загальні правила <Розділ імені модуля> () визначає необов'язковий <ідентифікатор> () як <ім'я модуля> (), що визначає містить <модуль> () в даному оточенні. 7.3. <Процедура> ()

Функція

Визначає процедуру і оператор мови SQL.

Формат :: = PROCEDURE ...; ; :: = | :: = SQLCODE :: = | | | | | | | | ),       результатом якого стала порожню таблицю, то в параметр SQLCODE встановлюється       значення 100.
      iv) Якщо S - <оператор модифікації: пошуковий> () або <оператор видалення: пошуковий>)       () з пошуком, для яких не знайшлися       об'єктні рядка для модифікації або видалення, то в параметр SQLCODE       встановлюється значення 100.
      v) У всіх інших випадках у параметр SQLCODE встановлюється 0.

b) Якщо S виконаний неуспішне, то
      i) Всі зміни, виконані над базою даних при виконанні S,       анулюються.
      ii) У параметр SQLCODE встановлюється негативне число зі значенням,       визначаються реалізацією Мова маніпулювання даними (data manipulation language) 8.1 <Оператор закриття> ()

Функція

Закрити курсор.

Формат :: = CLOSE

Синтаксичні правила Осяжний модуль повинен містити оголошення курсору, в якому використовується це ж ім'я курсору.

Загальні правила Курсор повинен бути у відкритому стані. Курсор переводиться в закритий стан і руйнується копія <специфікації курсору> (). 8.2. <Оператор фіксації> ()

Функція

Закінчує поточну транзакцію з фіксацією.

Формат :: = COMMIT WORK

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

Ні.

Загальні правила Поточна транзакція завершується. Закриваються будь-які курсори, відкриті даної транзакцією. Будь-які зміни бази даних, зроблені в поточній транзакції, фіксуються. 8.3. <Оголошення курсору> ()

Функція

Визначає курсор.

Формат :: = DECLARE CURSOR FOR :: = [ ...] :: = | UNION [ALL] :: = | () :: = ORDER BY [(, }...] :: = ( | ) [ASC | DESC]

Синтаксичні правила <Ім'я курсору> () не повинно бути      ідентичним будь-якого іншого <імені курсору> (),      спеціфіціруемого в будь-якому іншому <оголошенні курсору>      () того самого модуля. Будь-яка <ім'я параметра> (), що міститься      в <специфікації курсору> (), повинно бути      визначено в <оголошенні параметра> ()      <процедури> () осяжний <модуля>      (), який містить <оператор відкриття> (), специфікує це <ім'я курсору> ().
     Зауваження: Cм. Синтаксичних правил 7.1, "<модуль>      () ". Нехай Т позначає таблицю, специфіковані в <специфікації      курсору> ().
     a) Якщо вказано ORDER BY, то Т є тільки читається таблицею зі      специфіковані порядком сортування.
     b) Якщо не вказано ні ORDER BY ні UNION і <специфікація запиту>      () є з мене (updatable), то Т --      змінна таблиця.
     c) Інакше Т - тільки що читається таблиця.
     a) Якщо не вказано UNION, то описом Т є опис      <специфікації запиту> ().
     b) Якщо вказано UNION, то нехай для кожного специфікованого UNION Т1 і      Т2 позначають таблиці, які специфікована в <виразі запиту>      () і <Терме запит> ().      <Список вибірки> (

) з <розділу from> (). Нехай У позначає      іменовану цю таблицю. Для кожного рядка в Т існує відповідна      рядок у В, з якої отримано рядок таблиці Т. Коли курсор встановлений      на рядок таблиці Т, курсор також встановлений на відповідний рядок      таблиці В.
     b) В іншому випадку курсор не асоціюється з іменованої таблицею.
     a) Якщо не вказано UNION, то Т - це результат зазначеної <специфікації      запиту> (.
     b) Якщо UNION вказано, то нехай для кожного зазначеного UNION Т1 і Т2      позначають результати <вираження запиту> ()      і <терма запиту> (). Результат UNION фактично      породжується наступним чином: i) ініціалізувати результат як порожню      таблицю.
      ii) Занести в результат кожен рядок Т1 і кожен рядок Т2
      iii) Якщо не вказано ALL, то видалити всі зайві дублікати строк з       результату.
     a) Якщо не вказано ORDER BY, то:
      i) Порядок рядків в Т визначається реалізацією.
      ii) Порядок рядків може може бути різним у різних транзакції.
      iii) Порядок рядків Т, встановлений при відкритті курсору, буде таким       ж при наступному відкритті курсору в цій же транзакції за умови, що:       Відсутні сторонні зміни будь-яких        таблиць, зазначеним у специфікації курсору.    Впорядкований набір значень параметрів, що передаються        в <процедуру> (), що містить <оператор        відкриття> (), є однаковим в обох        випадках.
       Якщо ці умови не задовольняються, то упорядкування рядків у Т може        розрізнятися при послідовних відкриття курсору в одній транзакції.

b) Якщо ORDER BY вказано, то Т володіє порядком сортування:
      i) Порядок сортування є послідовністю груп сортування.       Група сортування - це послідовність рядків, в яких всі значення       стовпців сортування ідентичні. Більше того, група сортування може бути       послідовністю груп сортування.
      ii) Мощность послідовності і порядкова позиція кожної групи       сортування визначається значеннями найбільш значущих стовпців сортування.       Потужність послідовності є мінімальним числом груп сортування       таких, що для кожної групи сортування з числом рядків більше одиниці все       значення стовпця сортування ідентичні.
      iii) Якщо порядок сортування грунтується на додаткових стовпцях       сортування, то кожна група сортування з числом рядків більше одиниці       є послідовністю груп сортування. Потужність кожної       послідовності і порядкова позиція кожної групи сортування всередині       кожної послідовності визначається значеннями наступного найбільш       значущого стовпця сортування. Потужність кожної послідовності є       мінімальним числом груп сортування таких, що для кожної групи з числом       строк більше одиниці всі значення цього стовпця сортування ідентичні.
      iv) Попередній параграф застосовується по черзі до кожного додаткового       колонку сортування. Якщо група сортування складається з кількох рядків і       не єпослідовністю груп сортування, то порядок рядків у       групі сортування не визначений.
      v) Нехай З означає стовпець сортування і S - послідовність, яка       визначається значеннями С.
      vi) Напрямок сортування зв'язується з кожним стовпцем сортування. Якщо       напрямок для З задано за зростанням, то перша група сортування S       містить найменше значення С і кожна наступна група сортування       містить значення С більше, ніж значення С в попередній групі       сортування. Якщо напрямок для З задано за спаданням, то перша група       сортування S містить найбільше значення С і кожна наступна група       сортування містить значення С менше, ніж значення С в попередній       групі сортування.
      vii) Упорядкованість визначається правилами порівняння, зазначеними в 5.11,       "<Предикат порівняння"> ().       Порядок невизначених значень по відношенню до не невизначеним       значенням визначається реалізацією, але повинен бути або строго більше       або строго менше всіх не невизначених значень.
      viii) <Специфікація сортування> ()       специфікує стовпець сортування і напрям. Стовпець сортування - це       стовпець, що указується <цілим без знаку> ()       або <специфікацією стовпця> ().       <Ціле без знаку> () i посилається на i-ий       стовпець Т. <Специфікація стовпця> ()       вказує іменований стовпець.
      ix) Якщо в <специфікації сортування> ()       зазначено DESC, то напрям сортування, спеціфіціруемое цієї       <специфікацією сортування> (), є       напрямком за спаданням. Якщо вказано АSC або не вказано ні ASC, ні       DESC, то напрям сортування для цього стовпця сортування є       напрямком за зростанням.
      x) Послідовність <специфікацій сортування> ()       визначає відносну значимість сортируемих стовпців. Стовпець       сортування, зазначений у першому <специфікації сортування> (), найбільш значущий і кожний наступний стовпець       сортування є менш значущим, ніж попередній стовпець сортування. 8.4. <Оператор видалення: позиційний> ()
Функція
Видаляє рядок таблиці.
Формат :: = DELETE FROM

WHERE CURRENT OF
Синтаксичні правила Застосовуються <привілеї> () для <імені таблиці> (

) повинні включати DELETE.
Зауваження: "Застосовуються <привілеї> () "для <ім'я таблиці> (

) визначаються в 6.10, "<Визначення привілеїв> (). Що містить <модуль> () повинен містити <оголошення курсору> () CR з тим же <ім'ям курсору> (), що і <ім'я курсору> () в <операторі видалення: позиційному> (). Таблиця, на яку вказує CR, не повинна бути тільки читається. Нехай Т позначає таблицю, що ідентифікується <ім'ям таблиці> (

). Т повинна бути таблицею, ідентифікованої в першу <розділі from> () в <специфікації курсору> () CR.
Загальні правила Курсор CR повинен бути встановлений на рядок. Рядок, з якої отримано поточний рядок CR, віддаляється. 8.5. <Оператор видалення: пошуковий> ()
Функція
Видаляє рядки таблиці.
Формат :: = DELETE FROM

WHERE []
Синтаксичні правила Застосовуються <привілеї> () для <імені таблиці> (

) повинні включати DELETE.
Зауваження: Застосовуються <привілеї> () для <ім'я таблиці> (

) визначаються в 6.10, "<визначення привілеїв> () ". Нехай Т позначає таблицю, що ідентифікується <ім'ям таблиці> (

). Т не повинна бути тільки читається таблицею або таблицею, яка ідентифікується в <розділі from> () будь-якого <підзапит> (), що міститься в <умови пошуку> (). Область дії <ім'я таблиці> (

) --      цілком <оператор видалення: пошуковий> (.
Загальні правила
     а) Якщо не вказано <умова пошуку> (
), то      видаляються всі рядки таблиці Т.
     б) Якщо вказано <умова пошуку> (), то      умова застосовується до кожного рядка Т с <ім'ям таблиці> (

), пов'язаним з цим рядком, і всі рядки, для яких результат      <умови пошуку> () є true, видаляються.      Кожен <підзапит> () в <умови пошуку>      () реально виконується для кожного рядка T і      результати використовуються в застосуванні <умови пошуку> () до даної рядку Т. Якщо будь-який виконуваний <підзапит>      () містить зовнішнє посилання на стовпець Т, то це посилання      вказує на значення цього стовпця в цьому рядку Т.
     Зауваження: "Зовнішнє посилання" визначається в 5.7,      "<специфікація стовпця> ()". 8.6. <Оператор читання> ()
Функція
Встановлює курсор на наступний рядок таблиці і вибирає значення з цього рядка.
Формат :: = FETCH INTO :: = [(, }...]
Синтаксичні правила Що містить <модуль> () повинен містити      <оголошення курсору> () CR з тим же <ім'ям      курсору> (), що і <ім'я курсору> () в <операторі читання> (). Нехай Т      позначає таблицю, специфіковані через <специфікації курсору>      () CR. Число <специфікацій цілі> () в      <списку цілей читання> () має бути таким      само як ступінь таблиці Т.
     а) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () <списку цілей читання> (), є типом символьних рядків, то тип даних      i-ого стовпця таблиці Т повинен бути типом символьних рядків.
     b) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () <списку цілей читання> (), є типом точних чисел, то тип даних      i-ого стовпця таблиці Т повинен бути типом точних чисел.
     c) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () <списку цілей читання> (), є типом приблизних чисел, то тип      даних i-ого стовпця таблиці Т повинен бути типом приблизних чисел або      типом точних чисел.
Загальні правила Курсор CR повинен бути у відкритому стані. Якщо таблиця, що вказується курсором CR, є порожньою, або CR      позиціонується на останній рядок або за нею, то CR встановлюється в      позицію після останнього рядка, параметру SQLCODE присвоюється значення      100 і значення не присвоюються цілям, ідентифікованим в <списку      цілей читання> (). Якщо CR встановлений в позицію перед рядком, то CR встановлюється      на цей рядок і значення цього рядка присвоюються відповідним цілям. Якщо CR встановлений на r, де r - це рядок, відмінна від останньої      рядка, то курсор встановлюється на рядок, безпосередньо наступну за      рядком r, і значення з рядка за r присвоюються відповідним цілям. Присвоєння значень цілях в <списку цілей читання>      (), крім параметра SQLCODE, здійснюються в      порядку, який визначається реалізацією. Параметр SQLCODE отримує значення      останнім. Якщо в процесі привласнення значення мети виникає помилка, то в      параметр SQLCODE встановлюється негативне значення, яке визначається      реалізацією, і значення цілей, відмінних від параметра SQLCODE, залежать від      реалізації. Нехай V позначає мета, а v - відповідне значення в поточній      рядку CR. Якщо v - це невизначене значення, то для V повинен бути      специфікована індикатор, і цей індикатор встановлюється в -1. Якщо v --      не невизначений значення, і V має індикатором, то:
     a) Якщо тип даних V є тип символьних рядків довжини L і довжина M v більше      L, то індикатор отримує значення M.
     b) Інакше значення індикатора встановлюється в 0. Мета, ідентифікована i-тої <специфікацією цілі>      () з <списку цілей читання> (      a) Якщо тип даних V є тип символьних рядків, і довжина v дорівнює довжині V,      то значенням V стає v.
     b) Якщо тип даних V є тип символьних рядків довжини L, і довжина v більше      L, то значенням V стають першими L символів v.
     c) Якщо тип даних V є тип символьних рядків довжини L, і довжина M v менше      L, то значенням перший M символів V стає v, і в останні LM      символів V встановлюються символи пробілу.
     d) Якщо тип даних V є тип точних чисел, то має існувати      подання значення v в типі даних V таке, щоб не загубилися будь-які      перші значущі цифри, і значенням V стає це подання.
     e) Якщо тип даних V є тип приблизних чисел, то значенням V      стає приблизне значення v. <Оператор вставки> ()
Функція
Створює нові рядки в таблиці
Формат :: = INSERT INTO

[()] (VALUES () | ) :: = [(, }...] :: = [(, ...] :: = | NULL
Синтаксичні правила Застосовуються <привілеї> () к <імені таблиці> (

) повинні включати INSERT.
Зауваження: Застосовуються <привілеї> () для <ім'я таблиці> (

) визначаються в 6.10, "<визначення привілеїв> ()". Нехай Т позначає таблицю, що ідентифікується <ім'ям таблиці> (

). Т не повинна бути тільки читається      таблицею або таблицею, яка ідентифікується в <розділі from>      () <специфікації запиту> () або якого-небудь <підзапит> (),      що міститься в <специфікації запиту> (). Кожне <ім'я стовпця> () в <списку      стовпців вставки> () має ідентифікувати      стовпець Т, і один і той самий стовпець не повинен бути ідентифікований більше      одного разу. Відсутність <списку стовпців вставки> () є неявної специфікацією <списку стовпців вставки>      (), який ідентифікує всі стовпці Т в порядку      зростання їх порядкових позицій усередині Т. Стовпець, ідентифікований у <списку стовпців вставки>      (), є об'єктним стовпцем.
     а) Якщо вказується <список вставляються значень> (), то число <вставляються значень> () в      це <списку вставляються значень> ()      має дорівнювати числу <імен стовпців> () в      <списку вставляються стовпців> (). Нехай      i-ий елемент <оператора вставки> ()      вказує на i-у <специфікацію значення> () у цьому <списку вставляються значень> ().
     b) Якщо вказується <специфікація запиту> (), то ступінь таблиці, специфіковані цієї      <специфікацією запиту> (), повинна бути      дорівнює числу <імен стовпців> () в <списку      вставляються стовпців> (). Нехай i-ий елемент      <оператора вставки> () вказує на i-ий      стовпець таблиці, специфіковані <специфікацією запиту>      (). Якщо i-ий елемент <оператора вставки> () не є невизначеним <значенням вставки>      (), то:
     а) Якщо тип даних стовпця таблиці Т, зазначений i-м <ім'ям      стовпця> (), є типом символьних рядків довжини      L, то тип даних i-ого елемента <оператора вставки> () повинен бути типом символьних рядків з довжиною меншою або      рівною L.
     b) Якщо тип даних стовпця таблиці Т, зазначений i-м <ім'ям      стовпця> (), є типом точних чисел, то тип      даних i-ого елемента <оператора вставки> ()      повинен бути типом точних чисел.
     c) Якщо тип даних стовпця таблиці Т, зазначений i-м <ім'ям      стовпця> (), є типом приблизних чисел,      то тип даних i-ого елемента <оператора вставки> () повинен бути типом приблизних чисел або типом точних      чисел.
Загальні правила Рядок вставляється з наступних кроків:
     а) Фактично створюється можлива рядок, як це зазначено в Загальних правилах      6.4, "<Розділ умовчання> ()". Якщо Т      - Це базова таблиця В, то можлива рядок включає кожен стовпець В.      Якщо Т - це представляється таблиця, то можлива рядок включає кожен      стовпець базової таблиці В, з якої породжується Т.
     b) Для кожного об'єктного стовпця в можливій рядку його значення      замінюється на вставляються значення.
     c) Можлива рядок вставляється в таблицю В. Якщо Т - надається таблиця, визначена через      <визначення подання> () з "WITH      CHECK OPTION ", то якщо <специфікація запиту> (), що міститься в <визначенні подання>      (), включає <розділ where> (), не міститься в <підзапит> (), то      <умова пошуку> (
) цього <розділу      where> () повинно бути правдою для можливої      рядка. Якщо вказується <список вставляються значень> (), то:
     а) Якщо i-е <вставляються значення> () з      <списку вставляються значень> () є      <специфікацією значення> (), то значення      стовпця можливої рядки, соответствущего i-ому об'єктному колонку,      є значенням цієї <специфікації значення> ().
     b) Якщо i-е <вставляються значення> () з      <списку вставляються значень> () є      невизначеним значенням, то значення стовпця можливої рядки,      відповідного i-ому об'єктному колонку, є невизначеним значенням.       Якщо вказується <специфікація запиту> (), то нехай R позначає результат цієї <специфікації      запиту> (). Якщо R порожній, то параметру      SQLCODE присвоюється значення 100, і ніяка рядок не вставляється. Число      створених можливих рядків одно потужності R. Вставляються значення однієї      можливої рядки є значеннями одного рядка R, і значення в одній      рядку R є вставляються значеннями однієї можливої рядка. Нехай V позначає рядок R чи послідовність значень      специфіковані <списком вставляються значень> (insert value      list>). Тоді i-е значення V є вставляються значенням об'єктного      стовпця, що ідентифікується i-м <ім'ям стовпця> () в <списку вставляються стовпців> (). Нехай З позначає Об'єктовий стовпець. Нехай v означає не      невизначений вставляються значення С.
     а) Якщо тип даних С є тип символьних рядків і довжина v дорівнює довжині С, то      значення З встановлюється в v.
     b) Якщо тип даних С є тип символьних рядків і довжина M v менше L, то      перший M символів C встановлюються в v, і в останні LM символи C      заноситься символ пробілу.
     c) Якщо тип даних С є тип точних чисел, то має існувати      подання значення v в типі даних З таке, щоб не загубилися      ніякі перші значущі цифри, і це подання стає значенням С.
     d) Якщо тип даних С є тип приблизних чисел, то значенням З      стає приблизне значення v. 8.8. <Оператор відкриття> ()
Функція
Відкриває курсор
Формат :: = OPEN
Синтаксичні правила Що містить <модуль> () повинен містити      <оголошення курсору> () CR з тим же <ім'ям      курсору> (), що і <ім'я курсору> () в <операторі відкриття> ().
Загальні правила Курсор CR повинен бути в закритому стані. Нехай S позначає <специфікацію курсору> ( курсору CR. Курсор CR переводиться у відкритий стан наступними кроками:
     а) Фактично створюється копія S, в якій кожна <специфікація      мети> () замінюється на значення      ідентифікованої мети.
     b) Якщо S специфікує тільки читається таблицю, то ця таблиця фактично      створюється відповідно до специфікації - копією S.
     c) Курсор CR переводиться у відкритий стан і його позиція      встановлюється перед першим рядком таблиці. 8.9. <Оператор відкату> ()
Функція
Завершує поточну транзакцію з відкотом.
Формат :: = ROLLBACK WORK
Синтаксичні правила
Ні.
Загальні правила Будь-які зміни бази даних, скоєні в поточної транзакції,      анулюються. Будь-курсор, відкривався в поточної транзакції, закривається. Поточна транзакція завершується. 8.10. <Оператор вибірки> (:: = SELECT [ALL | DISTINCT]

) повинні включати SELECT.
Зауваження: Застосовуються <привілеї> () для <ім'я таблиці> (

) визначаються в 6.10, "<визначення привілеїв> ()". <Вираз, <виробляють таблицю> (

) не повинне включати <розділ group by> () або <розділ having> і не повинно      ідентифікувати згруповано подання. Число елементів в <списку вибірки> ().
     а) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () в <списку цілей вибірки> () повинен бути типом символьних      рядків.
     b) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () в <списку цілей вибірки> () повинен бути типом точних      чисел.
     c) Якщо тип даних мети, зазначеної i-ої <специфікацією цілі>      () в <списку цілей вибірки> () повинен бути типом      приблизних чисел. Нехай S позначає <специфікацію запиту> () з тими ж "списком вибірки> (

), які вказані в <операторі вибірки> (). S повинна бути допустимої <специфікацією запиту> ().
Загальні правила Нехай R позначає результат <специфікації запиту> () S. Потужність R не повинна бути більше одиниці. Якщо R порожній, то параметру SQLCODE присвоюється значення 100 і і значення не присвоюються цілям, ідентифікованим в <списку цілей вибору> (