Bui, DmitriyPuzikova, AnnaБуй, Дмитро БорисовичПузікова, Анна Валентинівна2017-06-262017-06-262015Bui 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.https://dspace.cusu.edu.ua/handle/123456789/2587(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.entable databasesfunctional dependenciesmultivalued dependenciescompleteness of axiomatic systemArticle