Третий манифест Кристофера Дейта и Хью Дарвена
Третий манифест Кристофера Дейта и Хью Дарвена: предпосылки и обзорПоложительные RM-утверждения
Отрицательные RM-утверждения
Положительные OO-утверждения
Отрицательные OO-утверждения
Очень строгие OO-суждения
Новая реляционная алгебра
Мотивация и обоснование
REMOVE, RENAME и COMPOSE
Заключительные замечания
Обращение с операциями как с отношениями
Формальные определения
Транзитивное замыкание
Содержание раздела