Введение в реляционные базы данных
         

Исчисление кортежей

Введение
Исчисление кортежей
Правильно построенные формулы
Простые условия
Кванторы, свободные и связанные переменные

Целевые списки и выражения реляционного исчисления
Исчисление доменов
Условия членства
Выражения исчисления доменов
Заключение

Содержание раздела