Третий манифест Кристофера Дейта и Хью Дарвена


Третий манифест Кристофера Дейта и Хью Дарвена: предпосылки и обзор - часть 5


Умышленно опущенные темы

Имеется много практически необходимых аспектов систем управления данными, которые не имеют отношения к логической основе таких систем. К этим аспектам, в частности, относится следующее:

  • Восстановление и многопользовательский доступ к данным
  • Безопасность и авторизация
  • Хранимые процедуры и триггеры
  • Поддержка разработки приложений общего вида (иногда это называют call-level интерфейс)
  • Вопросы масштабирования и эфективности.

Книга не ориентирована на обсуждение подобных аспектов.

Сводка утверждений и очень строгих суждений

Положительные RM-утверждения

  1. Скалярные типы
  2. Скалярные значения типизированы
  3. Скалярные операции
  4. Реальные и возможные представления
  5. Раскрытие возможных представлений
  6. Генератор типа TUPLE
  7. Генератор типа RELATION
  8. Равенство
  9. Кортежи
  10. Отношения
  11. Скалярные переменные
  12. Кортежные переменные
  13. Переменные отношений (relvars)
  14. Реальные и виртуальные relvars
  15. Возможные ключи
  16. Базы данных
  17. Транзакции
  18. Реляционная алгебра
  19. Имена relvars, селекторы отношений и рекурсия
  20. Операции над значениями отношений
  21. Присваивания
  22. Сравнения
  23. Ограничения целостности
  24. Предикаты над relvar и базами данных
  25. Каталог
  26. Разработка языка

Отрицательные RM-утверждения

  1. Отсутствие упорядоченности атрибутов
  2. Отсутствие упорядоченности кортежей
  3. Отсутствие кортежей-дубликатов
  4. Отсутствие неопределенных значений
  5. Отсутствие ошибок логики неопределенных значений
  6. Отсутствие конструкций внутреннего Уровня
  7. Отсутствие операций уровня кортежей
  8. Отсутствие составных атрибутов
  9. Отсутствие возможности преодоления проверок доменов
  10. Не SQL

Положительные OO-утверждения

  1. Проверка типов во время компиляции
  2. Простое наследование (условно)
  3. Множественное наследование (условно)
  4. Вычислительная полнота
  5. Явные границы транзакций
  6. Вложенные транзакции
  7. Агрегаты и пустые множества

Отрицательные OO-утверждения

  1. Relvars - это не домены
  2. Отсутствие идентификаторов атрибутов

Очень строгие RM-суждения

  1. Системные ключи
  2. Внешние ключи
  3. Вывод возможных ключей
  4. Ограничения переходов
  5. Запросы с квотами
  6. Обобщенное транзитивное замыкание
  7. Параметры кортежей и отношений
  8. Специальные значения (по умолчанию)
  9. Миграция от SQL




Начало  Назад  Вперед