{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215081,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540432203"},{"type":"electronic","value":"9783540457589"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45758-5_11","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T19:32:20Z","timestamp":1193340740000},"page":"160-177","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Tailored Theory of Consistency Enforcement in Databases"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Link","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,2,5]]},"reference":[{"key":"11_CR1","unstructured":"M. Balaban, S. Jurk: A DT\/RT\/CT framework for Integrity Enforcement based on Dependency Graphs. In Proceedings DEXA. 2001."},{"issue":"3","key":"11_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":"11_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":"11_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":"11_CR5","unstructured":"H. Decker. One Abductive Logic Programming Procedure for two Kinds of Update. Proc. DYNAMICS\u201997, 1997."},{"key":"11_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":"11_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":"11_CR8","unstructured":"S. Link. Eine Theorie der Konsistenzerzwingung auf der Basis arithmetischer Logik. M.Sc. Thesis (in German). TU Clausthal 2000."},{"key":"11_CR9","unstructured":"S. Link, K.-D. Schewe. An Arithmetic Theory of Consistency Enforcement. to appear in Acta Cybernetica."},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"S. Link, K.-D. Schewe. Computability and Decidability Issues in the Theory of Consistency Enforcement. Electronic Notes in Theoretical Computer Science. vol. 42. 2001","DOI":"10.1016\/S1571-0661(04)80885-5"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"S. Link, K.-D. Schewe. Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of \u03b2-constraints. to appear in Electronic Notes in Theoretical Computer Science. vol. 61. 2002.","DOI":"10.1016\/S1571-0661(04)00306-8"},{"key":"11_CR12","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":"11_CR13","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":"11_CR14","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":"11_CR15","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":"11_CR16","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\u2014Oriented Models. Data and Knowledge Engineering 28, 1998, 121\u2013140.","journal-title":"Data and Knowledge Engineering"},{"key":"11_CR17","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":"11_CR18","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":"11_CR19","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":"11_CR20","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":"11_CR21","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":"11_CR22","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","Foundations of Information and Knowledge Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45758-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T22:27:05Z","timestamp":1737498425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45758-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540432203","9783540457589"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-45758-5_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}