Буй, ДмитроГлушко, І.2018-05-222018-05-222010Буй Д. Узагальнене числення рядків / Буй Д. Б., Глушко І. М. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 10-13.https://ekmair.ukma.edu.ua/handle/123456789/13032У статті подано узагальнення класичного результату про еквівалентність реляційної алгебри Кодда та числення рядків (числення кортежів). Класичне числення рядків поповнено довільними предикатними та функціональними сигнатурами на універсальному домені. Доведено, що при цьому числення рядків залишається не менш виразним, ніж таблична алгебра.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.ukреляційні бази данихчислення кортежівреляційна алгебрастаттяrelation databasestuple calculusrelation algebraArticle