Анализ вклада Кодда в Великий Спор


Обзор - часть 2


В практических языках требуется наличие и других возможностей.

Статья состоит из пяти основных разделов:

  • Введение
  • Реляционная алгебра
  • Реляционное исчисление
  • Редукция
  • Сравнение исчисления и алгебры

Как обещается во введении, в статье приводится формальное определение реляционной алгебры -- часто теперь называемой реляционной алгеброй Кодда, чтобы отличать ее от других алгебр, определенных в разное время - и реляционного исчисления.

Затем в статье определяется реляционная полнота в терминах реляционного исчисления. Далее представляется алгоритм ("алгоритм редукции Кодда") для преобразования произвольного выражения исчисления в эквивалентное алгебраическое выражение, что доказывает, что алгебра по меньшей мере обладает мощностью исчисления и реляционно полна. Наконец, Кодд приводит некоторые соображения о сравнительных достоинствах алгебры и исчисления как базиса для разработки практического языка баз данных.




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



Книжный магазин