3.6. Поняття селективної потужності мови запитів. Проблема вибору зразка для порівняння мов запитів. Теза Кодда.

Одним із найважливіших інструментів реляційної СКБД є мови запитів, з допомогою яких користувач може отримувати потрібну інформації з БД. Основною характеристикою мови запитів виступає її селективна потужність, тобто можливість вибирання інформації за різними критеріями. Оскільки для реалізації операцій над реляційними вілношеннями можуть бути використані два набори операцій – реляційна алгебра або реляційне числення, - то винакають дві проблеми:

1. яку із названих теорій(наборів операцій) обрати як зразок для порівняння мов запитів;

2. наскільки можливе адекватне представлення вимоги користувача, записаної згідно правил однієї теорії правилвми іншої?

Зазначені проблеми були вирішені Е.Коддом. Перша проблема(вибір зразка): Е.Кодд вводить поняття реляційно повної мови – це мова, яка описує максимальну множину формул, що дають змогу отримати наявну у БД інформацію.

Мова є реляційно повною, якщо для буддь-якого скінченного набору реляційних відношень R₁,…R_n вона дає змогу визначити будь-яке реляційне відношення, що може бути отримане з R₁,…R_n за допомогою реляційного числення Кодда.

Тобто як зразок для порівняння мов запитів ним вибрано реляційне числення. Оскільки конструктивно визначити таку множину формул неможливо, то Кодд обгрунтував її аксіоматично за допоиогою так званої Тези про реляційну повноту.

Теза Кодда(Тези про реляційну повноту):Реляційне числення є реляційно повним.

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

Друга проблема:Так як реляційні СКБД для пошуку і вибору потрібної користувачеві інформайії використовують операції реляційної алгебри, то має бути забезпечена можливість адекватного пертворення формул реляційного числення у послідовність операцій реляційної алгебри. Ця проблема також вирішена Е.Коддом шляхом обгрунтування алгоритму редукції. Схематично6

Ф – вираз реляційного числення на відношеннях .

- скінченна послідовність операцій реляційної алгебри ;

g – алгоритм редукції, який дозволяє за виразом Ф побудувати послідовність , еквівалентну за результатами виразу Ф.