Редько, В.Н.; Буй, Д.Б.; Пузiкова, А.В.
(Доповіді НАН України, 2015)
Розглядаються аксiоматика багатозначних залежностей в табличних базах даних i аксiоматика функцiональних та багатозначних залежностей; встановлюється повнота цих аксiоматик через збiжнiсть вiдношень синтаксичного та ...