Повнота аксіоматики Армстронга
| dc.contributor.author | Буй, Дмитро Борисович | |
| dc.contributor.author | Пузікова, Анна Валентинівна | |
| dc.date.accessioned | 2017-06-26T06:59:39Z | |
| dc.date.available | 2017-06-26T06:59:39Z | |
| dc.date.issued | 2011 | |
| dc.description.abstract | (uk) У статті наведено строге та повне доведення повноти аксіоматики Армстронга щодо функціональних залежностей в реляційних базах даних, яке наслідує традиції встановлення повноти в математичній логіці: введені відношення синтаксичного та семантичного слідування та показана їх збіжність. В якості математичного апарата використані властивості теоретико-множинної конструкції обмеження функції за множиною. | uk_UA |
| dc.identifier.citation | Буй Д. Б. Повнота аксіоматики Армстронга / Дмитро Борисович Буй, Анна Валентинівна Пузікова // Вісник Київського національного університету імені Тараса Шевченка. Сер.: фіз.-мат. науки. – К. : Київський національний університет імені Тараса Шевченка, 2011. – № 3. – С. 103-108. | uk_UA |
| dc.identifier.uri | https://dspace.cusu.edu.ua/handle/123456789/2568 | |
| dc.language.iso | uk | uk_UA |
| dc.publisher | Київський національний університет імені Тараса Шевченка | uk_UA |
| dc.subject | аксіоматика Армстронга | uk_UA |
| dc.subject | повнота | uk_UA |
| dc.subject | функціональна залежність | uk_UA |
| dc.subject | реляційні бази даних | uk_UA |
| dc.title | Повнота аксіоматики Армстронга | uk_UA |
| dc.type | Article | uk_UA |
Файли
Контейнер файлів
1 - 1 з 1
- Назва:
- Повнота аксіоматики Армстронга.pdf
- Розмір:
- 1.34 MB
- Формат:
- Adobe Portable Document Format
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 11.12 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: