Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria
Ескіз недоступний
Дата
2015
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
(en) Axiomatics for multivalued dependencies in table databases and axiomatics for functional and multivalued dependencies are reviewed; the completeness of these axiomatics is established in terms of coincidence of syntactic and semantic consequence relations; the completeness criteria for these axiomatic systems are formulated in terms of cardinalities (1) of the universal domain D , which is considering in interpretations, and (2) the scheme R, which is a parameter of all constructions, because only the tables which attributes belong to this scheme R are considering. The results obtained in this paper and developed mathematical technique can be used for algorithmic support of normalization in table databases.
Опис
Ключові слова
table databases, functional dependencies, multivalued dependencies, completeness of axiomatic system
Бібліографічний опис
Bui D., Puzikova A. Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria / D. Bui, A. Puzikova // Advances in Intelligent Systems and Computing. Vol. 365 : Theory and Engineering of Complex Systems and Dependability : Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX (June 29 – July 3, 2015, Brunów, Poland). - Poland, 2015. - P. 45-55.