{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:52:31Z","timestamp":1725493951195},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540009573"},{"type":"electronic","value":"9783540365969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36596-6_8","type":"book-chapter","created":{"date-parts":[[2007,10,24]],"date-time":"2007-10-24T21:23:52Z","timestamp":1193261032000},"page":"139-159","source":"Crossref","is-referenced-by-count":7,"title":["Consistency Enforcement in Databases"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Link","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,1]]},"reference":[{"key":"8_CR1","unstructured":"J. Bell, M. Machover. A Course in Mathematical Logic. North-Holland 1977."},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/185827.185828","volume":"19","author":"S. Ceri","year":"1994","unstructured":"S. Ceri, P. Fraternali, S. Paraboschi, L. Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM TODS 19(3), 1994, 367\u2013422.","journal-title":"ACM TODS"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/219035.219039","volume":"20","author":"I. A. Chen","year":"1995","unstructured":"I. A. Chen, R. Hull, D. McLeod. An Execution Model for Limited Ambiguity Rules and its Applications to Derived Data Update. ACM ToDS 20, 1995, 365\u2013413.","journal-title":"ACM ToDS"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"L. Console, M. L. Sapino, D. Theseider. The Role of Abduction in Database View Updating. Journal of Intelligent Information Systems 4, 1995, 261\u2013280.","journal-title":"Journal of Intelligent Information Systems"},{"key":"8_CR5","unstructured":"H. Decker. One Abductive Logic Programming Procedure for two Kinds of Update. Proc. DYNAMICS\u201997, 1997."},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-46564-2_5","volume-title":"Foundations of Information and Knowledge Systems","author":"M. Dekhtyar","year":"2000","unstructured":"M. Dekhtyar, A. Dikovsky, S. Dudakov, N. Spyratos. Maximal Expansions of Database Updates. In K.-D. Schewe, B. Thalheim (Eds.). Foundations of Information and Knowledge Systems, 72\u201387. Springer LNCS 1762, 2000."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"M. Gertz. Specifying Reactive Integrity Control for Active Databases. Proc. RIDE\u2019 94, 1994, 62\u201370.","DOI":"10.1109\/RIDE.1994.282852"},{"key":"8_CR8","unstructured":"S. Link. Eine Theorie der Konsistenzerzwingung auf der Basis arithmetischer Logik. M.Sc. Thesis (in German). TU Clausthal 2000."},{"key":"8_CR9","first-page":"379","volume":"15","author":"S. Link","year":"2002","unstructured":"S. Link, K.-D. Schewe. An Arithmetic Theory of Consistency Enforcement. Acta Cybernetica. vol. 15. 2002. 379\u2013416.","journal-title":"Acta Cybernetica"},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1080\/11663081.1997.10510902","volume":"7","author":"J. Lobo","year":"1997","unstructured":"J. Lobo, G. Trajcevski. Minimal and Consistent Evolution in Knowledge Bases. Journal of Applied Non-Classical Logics 7, 1997, 117\u2013146.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"M. Makkai. Admissible Sets and Infinitary Logic. In J. Barwise (Ed). Handbook of Mathematical Logic. North Holland, Studies in Logic and Foundations of Mathematics. vol. 90: 233\u2013281. 1977.","DOI":"10.1016\/S0049-237X(08)71103-0"},{"key":"8_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-46564-2_12","volume-title":"Foundations of Information and Knowledge Systems","author":"E. Mayol","year":"2000","unstructured":"E. Mayol, E. Teniente. Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. In K.-D. Schewe, B. Thalheim (Eds.). Foundations of Information and Knowledge Systems, 192\u2013212. Springer LNCS 1762, 2000."},{"issue":"4","key":"8_CR13","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"G. Nelson. A Generalization of Dijkstra\u2019s Calculus. ACM TOPLAS. vol. 11 (4): 517\u2013561. 1989.","journal-title":"ACM TOPLAS"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0169-023X(98)00016-0","volume":"28","author":"K.-D. Schewe","year":"1998","unstructured":"K.-D. Schewe. Consistency Enforcement in Entity-Relationship and Object-Oriented Models. Data and Knowledge Engineering 28, 1998, 121\u2013140.","journal-title":"Data and Knowledge Engineering"},{"key":"8_CR15","unstructured":"K.-D. Schewe. Fundamentals of Consistency Enforcement. In H. Jaakkola, H. Kangassalo, E. Kawaguchi (eds.). Information Modelling and Knowledge Bases X: 275\u2013291. IOS Press 1999."},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.-D. Schewe","year":"1999","unstructured":"K.-D. Schewe, B. Thalheim. Towards a Theory of Consistency Enforcement. Acta Informatica. vol. 36: 97\u2013141. 1999.","journal-title":"Acta Informatica"},{"key":"8_CR17","first-page":"277","volume":"13","author":"K.-D. Schewe","year":"1998","unstructured":"K.-D. Schewe, B. Thalheim. Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybernetica. vol. 13: 277\u2013304. 1998.","journal-title":"Acta Cybernetica"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"K.-D. Schewe, B. Thalheim, J. Schmidt, I. Wetzel. Integrity Enforcement in Object Oriented Databases. In U. Lipeck, B. Thalheim (eds.). Modelling Database Dynamics: 174\u2013195. Workshops in Computing. Springer 1993.","DOI":"10.1007\/978-1-4471-3554-8_11"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF01237920","volume":"4","author":"E. Teniente","year":"1995","unstructured":"E. Teniente, A. Oliv\u00e9. Updating Knowledge Bases while Maintaining their Consistency. The VLDB Journal 4, 1995, 193\u2013241.","journal-title":"The VLDB Journal"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"B. W\u00fcthrich. On Updates and Inconsistency Repairing in Knowledge Bases. Proc. ICDE\u201993, 1993, 608\u2013615.","DOI":"10.1109\/ICDE.1993.344019"}],"container-title":["Lecture Notes in Computer Science","Semantics in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36596-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T13:45:50Z","timestamp":1551015950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36596-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540009573","9783540365969"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-36596-6_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}