Аксіоматика багатозначних залежностей табличних баз даних

ЗаголовокАксіоматика багатозначних залежностей табличних баз даних
Тип публікаціїJournal Article
Рік публікації2015
АвториРедько, ВН, Буй, ДБ, Пузікова, АВ
Abbreviated Key TitleDopov. Nac. akad. nauk Ukr.
DOI10.15407/dopovidi2015.06.024
Номер видання6
РозділІнформатика та кібернетика
Нумерація сторінок24-29
Дата публікації6/2015
МоваУкраїнська
Анотація

Розглядаються аксіоматика багатозначних залежностей в табличних базах даних і аксіоматика функціональних та багатозначних залежностей; встановлюється повнота цих аксіоматик через збіжність відношень синтаксичного та семантичного прямування; наводяться критерії повноти вказаних аксіоматик в термінах потужностей універсального домену та множини атрибутів.

Ключові словабагатозначні залежності, критерій повноти, повнота аксіоматики, табличні бази даних, функціональні залежності