Abstract
Reasoning on constraint sets is a difficult task. Classical database design is based on a step-wise extension of the constraint set and on a consideration of constraint sets through generation by tools. Since the database developer must master semantics acquisition, tools and approaches are still sought that support reasoning on sets of constraints. We propose novel approaches for presentation of sets of functional dependencies based on specific graphs. These approaches may be used for the elicitation of the full knowledge on validity of functional dependencies in relational schemata.
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
Atzeni, P., De Antonellis, V.: Relational database theory. Addison-Wesley, Redwood City (1993)
Camps, R.: From ternary relationship to relational tables: A case against common beliefs. ACM SIGMOD Record 31(2), 46–49 (2002)
Demetrovics, J., Katona, G.O.H.: Combinatorial problems of database models. In: Colloquia Mathematica Societatis Janos Bolyai 42, Algebra, Combinatorics and Logic in Computer Science, Györ, Hungary, pp. 331–352 (1983)
Demetrovics, J., Libkin, L.O., Muchnik, I.B.: Functional dependencies and the semilattice of closed classes. In: Demetrovics, J., Thalheim, B. (eds.) MFDBS 1989. LNCS, vol. 364, pp. 136–147. Springer, Heidelberg (1989)
Demetrovics, J., Molnar, A., Thalheim, B.: Graphical and spreadsheet reasoning for sets of functional dependencies. Technical Report 0402, Kiel University, Computer Science Institute (2004), http://www.informatik.uni-kiel.de/reports/2004/0402.html
Halpin, T.A.: Conceptual schema and relational database design. Prentice-Hall, Sydney (1995)
Klettke, M.: Akquisition von Integritätsbedingungen in Datenbanken. DISBIS 51. infix-Verlag, St. Augin (1998)
Lindland, O.I., Sindre, G., Solvberg, A.: Understanding quality in conceptual modeling. IEEE Software 11(2), 42–49 (1994)
Morris, C.W.: Foundations of the theory of signs. In: International Encyclopedia of Unified Science, University of Chicago Press, Chicago (1955)
Storey, V.C., Yang, H.L., Goldstein, R.C.: Semantic integrity constraints in knowledge-based database design systems. Data & Knowledge Engineering 20, 1–37 (1996)
Thalheim, B.: Open problems in relational database theory. Bull. EATCS 32, 336–337 (1987)
Thalheim, B.: Entity-relationship modeling – Foundations of database technology. Springer, Berlin (2000), See also http://www.informatik.tu-cottbus.de/~thalheim/HERM.htm
Thalheim, B.: Component construction of database schemes. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 20–34. Springer, Heidelberg (2002)
Yang, C.-C.: Relational Databases. Prentice-Hall, Englewood Cliffs (1986)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Demetrovics, J., Molnár, A., Thalheim, B. (2004). Graphical Reasoning for Sets of Functional Dependencies. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, TW. (eds) Conceptual Modeling – ER 2004. ER 2004. Lecture Notes in Computer Science, vol 3288. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30464-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-30464-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23723-5
Online ISBN: 978-3-540-30464-7
eBook Packages: Springer Book Archive