Abstract
Modeling of semantics is one of the most difficult tasks in database design. Constraints are used to express database semantics. They are used differently in database modeling languages. They express domain restrictions, specify relationships between components and state database behavior. The utilization depends on the richness of the type system used in the modeling language. The relational modeling language is using a simple type system and has a very large set of integrity constraints. Semantical modeling languages are using richer type systems which express also different types of integrity constraints. They use however a number of implicit constraints, restricting the construction of a type. The same observation can be made for object-relational models. We provide an alternative approach to the theory of constraints in database systems and explore the suitability of graphical reasoning as a support mechanism.
Keywords
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
Demetrovics, J., Katona, G.O.H., Miklós, D., Thalheim, B.: On the Number of Independent Functional Dependencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol. 3861, pp. 83–91. Springer, Heidelberg (2006)
Thalheim, B.: Entity-relationship modeling – Foundations of database technology. Springer, Berlin (2000)
Hartmann, S.: Reasoning about participation constraints and Chen’s constraints. In: ADC. CRPIT, vol. 17, pp. 105–113. Australian Computer Society (2003)
Thalheim, B.: Dependencies in relational databases. Teubner, Leipzig (1991)
Thalheim, B.: Integrity Constraints in (Conceptual) Database Models. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol. 6520, pp. 42–67. Springer, Heidelberg (2011)
Brosda, V., Vossen, G.: Update and retrieval in a relational database through a universal schema interface. Technical Report TR-101, RWTH Aachen (1984)
Cohen, A., García, A.J., Simari, G.R.: Backing and Undercutting in Abstract Argumentation Frameworks. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS 2012. LNCS, vol. 7153, pp. 107–123. Springer, Heidelberg (2012)
Schewe, K.D.: Design theory for advanced datamodels. In: Proc. Twelfth Australasian Database Conference - ADC 2001, Bond University, Queensland, Australia, January 29-February 1, pp. 3–9. ACM (2001)
Schewe, K.D., Thalheim, B.: Limitations of rule triggering systems for integrity maintenance in the context of transition specification. Acta Cybernetica 13, 277–304 (1998)
Jurk, S., Balaban, M.: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. In: Mayr, H.C., Lazanský, J., Quirchmayr, G., Vogel, P. (eds.) DEXA 2001. LNCS, vol. 2113, pp. 501–516. Springer, Heidelberg (2001)
Link, S.: Towards a Tailored Theory of Consistency Enforcement in Databases. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol. 2284, pp. 160–177. Springer, Heidelberg (2002)
Link, S., Schewe, K.D.: An arithmetic theory of consistency enforcement. Acta Cybernetica 15(3), 379–416 (2002)
Levene, M., Loizou, G.: A guided tour of relational databases and beyond. Springer, Berlin (1999)
Buchmann, A.P., Carrera, R.S., Vazquez-Galindo, M.A.: A generalized constraint and exception handler for an object-oriented CAD-DBMS. In: Dittrich, K.R., Dayal, U. (eds.) Proc. 1st Int. Workshop on Object-Oriented Database Systems - OODBS 1986, Pacific Grove, California, pp. 38–49. IEEE-CS (1986)
Balaban, M., Jurk, S.: Effect Preservation as a Means for Achieving Update Consistency. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 28–43. Springer, Heidelberg (2002)
Demetrovics, J., Molnar, A., Thalheim, B.: Graphical and Spreadsheet Reasoning for Sets of Functional Dependencies. Technical Report 0404, Christian-Albrechts-Universität, Kiel (2004)
Paré, R.C.: From ternary relationship to relational tables: a case against common beliefs. SIGMOD Rec. 31(2), 46–49 (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sörensen, O., Thalheim, B. (2013). Semantics and Pragmatics of Integrity Constraints. In: Schewe, KD., Thalheim, B. (eds) Semantics in Data and Knowledge Bases. SDKB 2011. Lecture Notes in Computer Science, vol 7693. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36008-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-36008-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36007-7
Online ISBN: 978-3-642-36008-4
eBook Packages: Computer ScienceComputer Science (R0)