{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:10Z","timestamp":1747548370067},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632559"},{"type":"electronic","value":"9783540692492"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63255-7_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:22:31Z","timestamp":1330298551000},"page":"244-257","source":"Crossref","is-referenced-by-count":5,"title":["On conservative enforced updates"],"prefix":"10.1007","author":[{"given":"Michael","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Dikovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Spyratos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Bidoit, N., Maabout, S.: Update Programs Versus Revision Programs. In: \u201cNon-Monotonic Extensions of Logic Programming\u201d. Proc. of the Workshop at the International Logic Programming Conference, JICSLP'96. (September 1996). (To appear in LNAI 1216)","key":"19_CR1","DOI":"10.1007\/BFb0023806"},{"unstructured":"Dayal, U., Hanson,E., and Widom, J.: Active database systems. In: W. Kim, editor, Modern Database Systems. Addison Wesley (1995) 436\u2013456","key":"19_CR2"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G.: On the complexity of prepositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57 (1992) 227\u2013270","journal-title":"Artificial Intelligence"},{"unstructured":"Fagin, R., Kuper, G., Ullman, J., and Vardi, M.Y.: Updating Logical Databases. In: P. Kanellakis, editor, Advances in Computing Research, JAI Press 3 (1986) 1\u201318","key":"19_CR4"},{"key":"19_CR5","first-page":"1070","volume-title":"The stable semantics for logic programs","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable semantics for logic programs. In: R. Kovalsky and K. Bowen, editors, Proc. of the 5th Intern. Symp. on Logic Programming. Cambridge, MA, MIT Press (1988) 1070\u20131080"},{"doi-asserted-by":"crossref","unstructured":"Halfeld Ferrari Alves, M., Laurent, D., Spyratos, N., Stamate, D.: Update rules and revision programs. Rapport de Recherche Universit\u00e9 de Paris-Sud, Centre d'Orsay, LRI 1010 (12\/1995)","key":"19_CR6","DOI":"10.1007\/3-540-59487-6_6"},{"doi-asserted-by":"crossref","unstructured":"Karp, R.M.: Reducibility among combinatorial problems. In: R.E.Miller and J.W.Thatcher, editors, Complexity of Computer Computations. N.-Y., Plenum Press (1972) 85\u2013103","key":"19_CR7","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"19_CR8","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H., Mendelzon, A. O.: Propositional knowledge base revision and minimal change. Artificial Intelligence 52 (1991) 253\u2013294","journal-title":"Artificial Intelligence"},{"key":"19_CR9","first-page":"368","volume":"893","author":"V.W. Marek","year":"1995","unstructured":"Marek, V.W., Truszci\u0144sky, M.: Revision programming, database updates and integrity constraints. In: International Conference on Data Base theory, ICDT. LNCS 893 (1995) 368\u2013382","journal-title":"International Conference on Data Base theory, ICDT. LNCS"},{"doi-asserted-by":"crossref","unstructured":"Picouet, Ph., Vianu, V.: Expressiveness and Complexity of Active Databases. In: Afrati, F., Kolaitis, Ph., editors, 6th Int. Conf. on Database Theory, ICDT'97. LNCS 1186 (1997) 155\u2013172","key":"19_CR10","DOI":"10.1007\/3-540-62222-5_43"},{"doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C., Turner, H.: Update by Means of Inference Rules. In: V.W. Marek, A.Nerode, M.Truszczy\u0144ski, editors, Logic Programming and Nonmonotonic Reasoning. Proc. of the Third Int. Conf. LPNMR'95, Lexington, KY, USA (1995) 166\u2013174","key":"19_CR11","DOI":"10.1007\/3-540-59487-6_12"},{"key":"19_CR12","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1145\/236711.236714","volume":"21","author":"L. Raschid","year":"1996","unstructured":"Raschid, L., Lobo, J.: Semantics for Update Rule Programs and Implementation in a Relational Database Management System. ACM Trans. on Database Systems 21 (December 1996) 526\u2013571","journal-title":"ACM Trans. on Database Systems"},{"key":"19_CR13","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., and Schlipf, J.S.: The Well-Founded Semantics for General Logic Programs. Journal of the ACM 38 (1991) 620\u2013650","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic Programming And Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63255-7_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:53Z","timestamp":1605647873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63255-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632559","9783540692492"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-63255-7_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}