3.7. Поняття селективної потужності мови запитів. Проблема адекватності представлення вимог користувача у різних множинах операцій (теоріях). Алгоритм редукції.

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

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

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

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

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

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

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