Узагальнене числення рядків
Loading...
Date
2010
Authors
Буй, Дмитро
Глушко, І.
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У статті подано узагальнення класичного результату про еквівалентність реляційної алгебри
Кодда та числення рядків (числення кортежів). Класичне числення рядків поповнено довільними
предикатними та функціональними сигнатурами на універсальному домені. Доведено, що при цьому
числення рядків залишається не менш виразним, ніж таблична алгебра.
In the article generalization of classic result about the equivalence of relational algebra of Codd and tuple calculus is considered. The classic tuple calculus is filled up arbitrary predicate and functional signatures on the universal domain. It is proved that the tuple calculus remains no less expressive than relation algebra.
In the article generalization of classic result about the equivalence of relational algebra of Codd and tuple calculus is considered. The classic tuple calculus is filled up arbitrary predicate and functional signatures on the universal domain. It is proved that the tuple calculus remains no less expressive than relation algebra.
Description
Keywords
реляційні бази даних, числення кортежів, реляційна алгебра, стаття, relation databases, tuple calculus, relation algebra
Citation
Буй Д. Узагальнене числення рядків / Буй Д. Б., Глушко І. М. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 10-13.