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

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

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

Link:

ОБОБЩЕННОЕ ИСЧИСЛЕНИЕ НА ДОМЕНЕ

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

http://foibg.com/ibs_isc/ibs-19/ibs-19-p49.pdf