Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bui, D.B., Puzikova, A.V.: Theory of Normalization in Relational Databases (A Survey), http://www.khai.edu/csp/nauchportal/Arhiv/REKS/2014/REKS514/BuyPuz.pdf
Darwen, H., Date, C., Fagin, R.: A Normal Form for Preventing Redundant Tuples in Relational Databases. In: Proceedings of the 15th International Conference on Database Theory – ICDT 2012, Berlin, Germany, March 26-30, pp. 114–126 (2012)
Bahmani, A., Naghibzadeh, M., Bahmani, B.: Automatic database normalization and primary key generation. In: CCECE/CCGEI, Niagara Falls, Canada, May 5-7, pp. 11–16 (2008)
Redko, V.N., et al.: Reliatsiini bazy danykh: tablychni alhebry ta SQL-podibni movy. Akademperiodyka, Kyiv (2001)
Beeri, C., Fagin, R., Howard, J.: A complete axiomatization for functional and multivalued dependencies. In: Proceedings of the ACM-SIGMOD Conference, Toronto, Canada, August 3-5, pp. 47–61 (1977)
Lyndon, R.: Notes on Logic. D. Van Nostrand Company, Inc., Princeton (1966)
Skornyakov, L.A.: Elementyi teorii struktur. Nauka, Moskva (1982)
Shoenfield, J.: Mathematical logic. Addison-Wesley (1967)
Bui, D.B., Puzikova, A.V.: Completeness of Armstrong’s axiomatic. Bulletin of Taras Shevchenko National University of Kyiv. Series Physics & Mathematics 3, 103–108 (2011)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Bui, D., Puzikova, A. (2015). Axiomatics for Multivalued Dependencies in Table Databases: Correctness, Completeness, Completeness Criteria. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Complex Systems and Dependability. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol 365. Springer, Cham. https://doi.org/10.1007/978-3-319-19216-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-19216-1_5
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19215-4
Online ISBN: 978-3-319-19216-1
eBook Packages: EngineeringEngineering (R0)