{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:10:02Z","timestamp":1745943002938,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642360077"},{"type":"electronic","value":"9783642360084"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36008-4_1","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:37:42Z","timestamp":1357094262000},"page":"1-17","source":"Crossref","is-referenced-by-count":3,"title":["Semantics and Pragmatics of Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Ove","family":"S\u00f6rensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Thalheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11663881_6","volume-title":"Foundations of Information and Knowledge Systems","author":"J. Demetrovics","year":"2006","unstructured":"Demetrovics, J., Katona, G.O.H., Mikl\u00f3s, D., Thalheim, B.: On the Number of Independent Functional Dependencies. In: Dix, J., Hegner, S.J. (eds.) FoIKS 2006. LNCS, vol.\u00a03861, pp. 83\u201391. Springer, Heidelberg (2006)"},{"key":"1_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-relationship modeling \u2013 Foundations of database technology","author":"B. Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-relationship modeling \u2013 Foundations of database technology. Springer, Berlin (2000)"},{"key":"1_CR3","unstructured":"Hartmann, S.: Reasoning about participation constraints and Chen\u2019s constraints. In: ADC. CRPIT, vol.\u00a017, pp. 105\u2013113. Australian Computer Society (2003)"},{"key":"1_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-663-12018-6","volume-title":"Dependencies in relational databases","author":"B. Thalheim","year":"1991","unstructured":"Thalheim, B.: Dependencies in relational databases. Teubner, Leipzig (1991)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-17505-3_3","volume-title":"The Evolution of Conceptual Modeling","author":"B. Thalheim","year":"2011","unstructured":"Thalheim, B.: Integrity Constraints in (Conceptual) Database Models. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol.\u00a06520, pp. 42\u201367. Springer, Heidelberg (2011)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Brosda, V., Vossen, G.: Update and retrieval in a relational database through a universal schema interface. Technical Report TR-101, RWTH Aachen (1984)","DOI":"10.1145\/325405.325414"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-28472-4_7","volume-title":"Foundations of Information and Knowledge Systems","author":"A. Cohen","year":"2012","unstructured":"Cohen, A., Garc\u00eda, A.J., Simari, G.R.: Backing and Undercutting in Abstract Argumentation Frameworks. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS 2012. LNCS, vol.\u00a07153, pp. 107\u2013123. Springer, Heidelberg (2012)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"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\u20139. ACM (2001)","DOI":"10.1109\/ADC.2001.904458"},{"key":"1_CR9","first-page":"277","volume":"13","author":"K.D. Schewe","year":"1998","unstructured":"Schewe, K.D., Thalheim, B.: Limitations of rule triggering systems for integrity maintenance in the context of transition specification. Acta Cybernetica\u00a013, 277\u2013304 (1998)","journal-title":"Acta Cybernetica"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/3-540-44759-8_50","volume-title":"Database and Expert Systems Applications","author":"S. Jurk","year":"2001","unstructured":"Jurk, S., Balaban, M.: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. In: Mayr, H.C., Lazansk\u00fd, J., Quirchmayr, G., Vogel, P. (eds.) DEXA 2001. LNCS, vol.\u00a02113, pp. 501\u2013516. Springer, Heidelberg (2001)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/3-540-45758-5_11","volume-title":"Foundations of Information and Knowledge Systems","author":"S. Link","year":"2002","unstructured":"Link, S.: Towards a Tailored Theory of Consistency Enforcement in Databases. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, pp. 160\u2013177. Springer, Heidelberg (2002)"},{"issue":"3","key":"1_CR12","first-page":"379","volume":"15","author":"S. Link","year":"2002","unstructured":"Link, S., Schewe, K.D.: An arithmetic theory of consistency enforcement. Acta Cybernetica\u00a015(3), 379\u2013416 (2002)","journal-title":"Acta Cybernetica"},{"key":"1_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-349-7","volume-title":"A guided tour of relational databases and beyond","author":"M. Levene","year":"1999","unstructured":"Levene, M., Loizou, G.: A guided tour of relational databases and beyond. Springer, Berlin (1999)"},{"key":"1_CR14","unstructured":"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\u201349. IEEE-CS (1986)"},{"key":"1_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/3-540-36109-X_3","volume-title":"Flexible Query Answering Systems","author":"M. Balaban","year":"2002","unstructured":"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.\u00a02522, pp. 28\u201343. Springer, Heidelberg (2002)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Demetrovics, J., Molnar, A., Thalheim, B.: Graphical and Spreadsheet Reasoning for Sets of Functional Dependencies. Technical Report 0404, Christian-Albrechts-Universit\u00e4t, Kiel (2004)","DOI":"10.1007\/978-3-540-30464-7_14"},{"issue":"2","key":"1_CR17","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/565117.565125","volume":"31","author":"R.C. Par\u00e9","year":"2002","unstructured":"Par\u00e9, R.C.: From ternary relationship to relational tables: a case against common beliefs. SIGMOD Rec.\u00a031(2), 46\u201349 (2002)","journal-title":"SIGMOD Rec."}],"container-title":["Lecture Notes in Computer Science","Semantics in Data and Knowledge Bases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36008-4_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:14Z","timestamp":1745940794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36008-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642360077","9783642360084"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36008-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}