{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:09Z","timestamp":1737063609099,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_58","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"867-881","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On Complexity of Updates through Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Michael","family":"Dekhtyar","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Dikovsky","sequence":"additional","affiliation":[]},{"given":"Sergey","family":"Dudakov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"58_CR1","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of the Second International Conference on the Theory of Databases, ICDT\u201988","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S.: Updates a new Frontier. In: Proc. of the Second International Conference on the Theory of Databases, ICDT\u201988. LNCS 326 (1988) 1\u201318."},{"issue":"1","key":"58_CR2","first-page":"62","volume":"43","author":"S. Abiteboul","year":"1991","unstructured":"Abiteboul, S., Vianu, V.: Datalog Extensions for Database Queries and Updates. JCSS, 43, n. 1 (1991) 62\u2013124.","journal-title":"JCSS"},{"key":"58_CR3","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchour\u00f3n","year":"1985","unstructured":"Alchour\u00f3n, C.E., G\u00e4rdenfors, P., and Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Logic. 50 (1985) 510\u2013530.","journal-title":"J. Symbolic Logic."},{"key":"58_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/BFb0023804","volume-title":"Second International Workshop, NMELP\u201996. Selected Papers","author":"J.J. Alferes","year":"1997","unstructured":"Alferes, J.J., Pereira, L.M.: Update-Programs Can Update Programs. In J. Dix, L.M. Pereira, T.C. Przymusinski, editors: Second International Workshop, NMELP\u201996. Selected Papers. LNCS 1216 (1997) 110\u2013131."},{"key":"58_CR5","doi-asserted-by":"crossref","unstructured":"Baral, C., Lobo, J.: Formal Characterization of Active Databases. In Pedreschi, D., Zaniolo, C., editors: Logic in Databases. Intern. Workshop LID\u201996. Proceedings. San Milano, Italy. (1996), 175\u2013195.","DOI":"10.1007\/BFb0031741"},{"key":"58_CR6","series-title":"Lect Notes Comput Sci","first-page":"165","volume-title":"Rules in Database Systems","author":"E. Baralis","year":"1995","unstructured":"Baralis E., Ceri S., Paraboschi S.: Improved rule analysis by means of triggering and activation graphs. In T. Sellis, editor: Rules in Database Systems, LNCS 985 (1995) 165\u2013181."},{"key":"58_CR7","unstructured":"Chandra A., Merlin P.: Optimal implementation of conjunctive queries in relational databases. In: Ninth ACM Symp. on Theory of Computing. (1977) 77\u201390."},{"key":"58_CR8","doi-asserted-by":"crossref","unstructured":"Dantsin, E., Eiter, T. Gottlob, G., Voronkov, A.: Complexity and Expressiveness of Logic Programming. In: Proc. 12th Annual IEEE Conf. On Comput. Compl. (1997), 82\u2013101.","DOI":"10.1109\/CCC.1997.612304"},{"key":"58_CR9","unstructured":"Dayal, U., Hanson, E., and Widom, J.: Active database systems. In: W. Kim, editor, Modern Database Systems. Addison Wesley (1995) 436\u2013456"},{"key":"58_CR10","unstructured":"Decker H.: An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. In: Proc. of the 1996 International Conference on Logic Programming. MIT Press, (1996), 157\u2013169."},{"key":"58_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1007\/3-540-63255-7_19","volume-title":"Proceedings of 4th International Conference, LPNMR\u201997","author":"M. Dekhtyar","year":"1997","unstructured":"Dekhtyar, M., Dikovsky, A., Spyratos, N.: On Conservative Enforced Updates. In: Dix, J., Furbach, U., Nerode, A., editors: Proceedings of 4th International Conference, LPNMR\u201997. Dagstuhl Castle, Germany, LNCS 1265 (1997) 244\u2013257."},{"key":"58_CR12","unstructured":"Dekhtyar, M., Dikovsky, A., Spyratos, N.: On Logically Justified Updates. In: J. Jaffar, editor: Proc. of the 1998 Joint International Conference and Symposium on Logic Programming. MIT Press, (1998), 250\u2013264."},{"key":"58_CR13","unstructured":"Dekhtyar, M., Dikovsky, A., Dudakov, S., Spyratos, N.: Monotone Expansion of Updates in Logical Databases. In: Proc. of 5th International Conference LPNMR\u2019 99. LNAI 1730 (1999) 132\u2013147."},{"key":"58_CR14","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, FoIKS 2000","author":"M. Dekhtyar","year":"2000","unstructured":"Dekhtyar, M., Dikovsky, A., Dudakov, S., Spyratos, N.: Maximal Expansions of Database Updates. In Foundations of Information and Knowledge Systems, FoIKS 2000. LNCS 1762 (2000) 72\u201387."},{"key":"58_CR15","doi-asserted-by":"publisher","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 propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence 57 (1992) 227\u2013270.","journal-title":"Artificial Intelligence"},{"key":"58_CR16","doi-asserted-by":"crossref","unstructured":"Eiter, T., Gottlob, G., Mannila, H.: Disjunctive datalog. ACM Transactions on Database Systems 22(3) 364\u2013418.","DOI":"10.1145\/261124.261126"},{"key":"58_CR17","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1016\/S0019-9958(86)80029-8","volume":"68","author":"N. Immerman","year":"1986","unstructured":"Immerman, N.: Relational queries computable in polynomial time. Information and Conyrol 68 (1986) 86\u2013104.","journal-title":"Information and Conyrol"},{"key":"58_CR18","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Moerkotte, G., Subrahmanian, V.S.: The PARK semantics for active databases. In: Proceedings of EDBT\u201996. Avignon, France (1996).","DOI":"10.1007\/BFb0014142"},{"key":"58_CR19","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum A., Lloyd J.W.: Updating knowledge bases. New Generation Computing, 8 (1990), 71\u201389.","journal-title":"New Generation Computing"},{"key":"58_CR20","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\u2019Orsay, LRI 1010 (12 \/ 1995).","DOI":"10.1007\/3-540-59487-6_6"},{"key":"58_CR21","unstructured":"Kakas A.C., Mancarella P.: Database updates through abduction. IN: Proc. 16th VLBD Conference. (1990) 650\u2013661."},{"key":"58_CR22","doi-asserted-by":"publisher","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":"58_CR23","unstructured":"Lloyd, J.W., Foundations of Logic Programming. Second, Extended Edition. Springer-Verlag. (1993)"},{"key":"58_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/3-540-58907-4_28","volume-title":"International Conference on Data Base theory, ICDT","author":"V.W. Marek","year":"1995","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Revision programming, database updates and integrity constraints. In: International Conference on Data Base theory, ICDT. LNCS 893 (1995) 368\u2013382."},{"key":"58_CR25","series-title":"Lect Notes Comput Sci","first-page":"155","volume-title":"6th Int. Conf. on Database Theory, ICDT\u201997","author":"Ph. Picouet","year":"1997","unstructured":"Picouet, Ph., Vianu, V.: Expressiveness and Complexity of Active Databases. In: Afrati, F., Kolaitis, Ph., editors, 6th Int. Conf. on Database Theory, ICDT\u201997. LNCS 1186 (1997) 155\u2013172."},{"key":"58_CR26","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\u201995, Lexington, KY, USA (1995) 166\u2013174."},{"key":"58_CR27","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":"58_CR28","unstructured":"Schewe, K.-D., Thalheim, B.: Consistency Enforcement in Active Databases. In: Chakravarty, S., Widom, L., editors: Research Issues in Data Engineering-Active Databases. Proceedings. Houston, (1994)."},{"key":"58_CR29","unstructured":"Vardi, M.: The complexity of relational query languages. In: ACM Symposium on Theory of Computing (STOC), San Francisco, (1982) 137\u2013146."},{"key":"58_CR30","first-page":"89","volume":"1","author":"M. Winslet","year":"1988","unstructured":"Winslet M.: Reasoning about action using a possible models approach. In: Proc. AAAI\u201988, v. 1 (1988) 89\u201393.","journal-title":"Proc. AAAI\u201988"},{"key":"58_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/3-540-60608-4_34","volume-title":"Proceedings of Fourth International Conference, DOOD\u201995","author":"C. Zaniolo","year":"1995","unstructured":"Zaniolo, C.: Active database rules with transaction-conscious stable-model semantics. In: Proceedings of Fourth International Conference, DOOD\u201995. LNCS 1013 (1995) 55\u201372"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:04:30Z","timestamp":1737061470000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_58","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"15 December 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}