Аннотация: В данной статье проведено обобщение табличной алгебры, построенной на основе реляционных алгебр Кодда;обобщение состоит в том, что вместо таблиц рассматриваются пары, состоящие из таблиц и схем таблиц. Представлено обобщение классического результата об эквивалентности реляционной алгебры Кодда и исчисление строк (кортежей). Исчисление строк пополнено произвольными предикатными и функциональными сигнатурами на универсальном домене. Доказано, что при этом обобщении исчисление строк остается не менее выразительным, чем табличная алгебра.

Ключевые слова: реляционные (табличние) базы данных, исчисление строк, табличная алгебра.

ACM классификация ключевых слов:H.2 Database Management (E.5) H.2.4 Systems – Relational databases

Link:

ОБОБЩЕННАЯ ТАБЛИЧНАЯ АЛГЕБРА, ОБОБЩЕННОЕ ИСЧИСЛЕНИЕ СТРОК И ИХ ЭКВИВАЛЕНТНОСТЬ

Дмитрий Буй, Ирина Глушко

http://foibg.com/ibs_isc/ibs-17/ibs-17-p17.pdf