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

Автор(и)

  • В.Н. Редько
  • Д.Б. Буй
  • А.В. Пузiкова

DOI:

https://doi.org/10.15407/dopovidi2015.06.024

Ключові слова:

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

Анотація

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

Завантаження

Дані завантаження ще не доступні.

Посилання

Redko V.N., Brona Yu. J., Buy D.B., Polyakov S.A. Reliatsiini bazy danykh: tablychni alhebry ta SQL-podibni movy, Kyiv: Akademperiodyka, 2001 (in Ukrainian).

Beeri C., Fagin, R., Howard J. In Proceedings of the ACM-SIGMOD Conf., August 3–5, 1977, Toronto, Canada: 47–61.

Lyndon R. Notes on Logic. D. Van Nostrand, Princeton, 1966.

Skornyakov L.A. Elementy teorii struktur, Moskva: Nauka, 1982 (in Russian).

Maier D. The theory of relational databases, Computer Science Press, 1983.

##submission.downloads##

Опубліковано

04.02.2025

Як цитувати

Редько, В., Буй, Д., & Пузiкова А. (2025). Аксіоматика багатозначних залежностей табличних баз даних . Reports of the National Academy of Sciences of Ukraine, (6), 24–29. https://doi.org/10.15407/dopovidi2015.06.024

Номер

№ 6 (2015): Доповіді Національної академії наук України

Розділ

Інформатика та кібернетика

Ліцензія

Авторське право (c) 2025 Доповіді Національної академії наук України

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.