30. Формулювання вимог до запитів до бд: Правила вербального опису моделей запитів, приклади опису. Трансформація вербального опису запиту в sql –запит.
Запит – операція над відношенням, результатом якої є також відношення. Існують дві альтернативні формальні системи запитів: реляційна алгебра – процедурна мова; реляційне обчислення – непроцедурна мова. Ці системи еквівалентні між собою і визначають мінімальний набір засобів необхідних для виконання будь – яких операцій. Вони є формальними, тобто реально не реалізовані в жодній СКБД і є основою для оцінки реальних мов.
Реляційна алгебра (РА) визначається за допомогою п’яти операцій
Декартовий добуток
Об’єднання
Різниця
Проекція
,
s – схема
відношення
Селекція (вибірка)
,
р – умова;
-
квантар існування;
- загальність ;
- кон’юнкція (“і”);
- диз’юнкція (“або”)
наприклад : дисципліна D (CodD, DName, SPName, Teacher) , Розклад R (Day, GR, Lesson, Room, CodD)
запит: визначити всі дисципліни, які читає викладач Іванов
РА:
