Реляционное исчисление

В структурной части модели фиксируется, что единственной структурой данных, используемой в реляционных БД, является нормализованное n-арное отношение. В манипуляционной части модели утверждаются два фундаментальных механизма манипулирования реляционными БД - реляционная алгебра и реляционное исчисление. Первый механизм базируется в основном на классической теории множеств (с некоторыми уточнениями), а второй - на классическом логическом аппарате исчисления предикатов первого порядка. В данной работе мы подробно рассмотрим механизм реляционного исчисления.

Введение 3
1.Реляционное исчисление 4
2.Исчисление кортежей 7
2.1.Синтаксис. 7
2.2. Переменные кортежей. 9
2.3. Свободные и связанные переменные кортежей. 10
2.4. Кванторы 12
2.5. Ещё раз о свободных и связанных переменных 14
2.6. Реляционные операции 15
2.7. Примеры 17
3. Сравнительный анализ реляционного исчисления и реляционной алгебры 17
4. Вычислительные возможности 23
4.1. Примеры 23
5. Исчисление доменов 24
5.1. Примеры 25
6. Средства языка SQL 26
6.1. Примеры 26
Заключение 28
Список литературы 29