{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:34:48Z","timestamp":1742402088011},"reference-count":41,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4521,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0304-3975(00)00289-9","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:01:16Z","timestamp":1027612876000},"page":"591-661","source":"Crossref","is-referenced-by-count":2,"title":["Regular database update logics"],"prefix":"10.1016","volume":"254","author":[{"given":"Paul","family":"Spruit","sequence":"first","affiliation":[]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[]},{"given":"John-Jules","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(00)00289-9_BIB1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu, A transaction language complete for database update and specification, in: Proc. 6th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems, San Diego, CA, March 23\u201325 1987, pp. 260\u2013268.","DOI":"10.1145\/28659.28688"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu, Procedural and declarative database update languages, in: Proc. 7th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems, Austin, TX, ACM, New York, March 21\u201323 1988, pp. 240\u2013250.","DOI":"10.1145\/308386.308448"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB3","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic theory of change: partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB4","unstructured":"A.J. Bonner, M. Kifer, Transaction logic programming, Tech. Report CSRI-270, University of Toronto, April 1992."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB5","doi-asserted-by":"crossref","unstructured":"A.J. Bonner, M. Kifer, Transaction logic: an (early) expos\u00e9, in: Proc. Workshop on Formal Methods in Databases and Software Engineering, Workshops in Computing Series, Springer, Berlin, 1993.","DOI":"10.1007\/978-1-4471-3213-4_1"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB6","unstructured":"A.J. Bonner, M. Kifer, Transaction logic programming, in: Proc. 10th Internat. Conf. on Logic Programming (ICLP) Budapest, Hungary, June 1993, pp. 257\u2013279."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB7","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","article-title":"An overview of transaction logic","volume":"133","author":"Bonner","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB8","doi-asserted-by":"crossref","unstructured":"A.J. Bonner, M. Kifer, M. Consens, Database programming in transaction logic, in: Proc. 4th Internat. Workshop on Database Programming Languages (DBPL), New York City, Aug\/Sep 1993, Workshops in Computing, Springer, Berlin, 1994, pp. 309\u2013337.","DOI":"10.1007\/978-1-4471-3564-7_18"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB9","series-title":"Logic Programming and Databases","author":"Ceri","year":"1990"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB10","series-title":"Internat. Conf. on Database Theory","first-page":"123","article-title":"Update semantics under the domain closure assumption","volume":"vol. 326","author":"Cholvy","year":"1988"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB11","unstructured":"M. Dalal, Investigations into a theory of knowledge base revision: preliminary report, Proc. AAAI, vol. 2, 1988, pp. 475\u2013479."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB12","series-title":"An Introduction to Database Systems","author":"Date","year":"1990"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB13","series-title":"Handbook of Theoretical Computer Science","first-page":"243","article-title":"Rewrite systems","volume":"vol. B","author":"Dershowitz","year":"1990"},{"issue":"4","key":"10.1016\/S0304-3975(00)00289-9_BIB14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/0169-023X(92)90043-B","article-title":"Addition and removal of information for a knowledge base with incomplete information","volume":"8","author":"Dignum","year":"1992","journal-title":"Data Knowledge Eng."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB15","unstructured":"D. Fensel, R. Groenboom, A formal semantics and axiomatization for specifying the dynamics of knowledge-based systems, Tech. Report, University of Amsterdam and University of Groningen, 1996."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB16","unstructured":"D. Fensel, R. Groenboom, MLPM: defining a semantics and axiomatization for specifying the reasoning process of knowledge-based systems, in: W. Wahlster (Ed.), 12th European Conf. on Artificial Intelligence, 1996."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB17","series-title":"Logic and Databases","author":"Gallaire","year":"1978"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB18","unstructured":"P. G\u00e4rdenfors, D. Makinson, Revisions of knowledge system using epistemic entrenchment, in: M. Vardi (Ed.), Proc. 2nd Conf. on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA, 1988, pp. 83\u201395."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB19","unstructured":"F. Golshani, T.S.E. Maibaum, M.R. Sadler, A modal system of algebras for database specification and query\/update support, Proc. Nineth Internat. Conf. on Very Large Databases, 1983, pp. 331\u2013359."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB20","doi-asserted-by":"crossref","unstructured":"R. Groenboom, G.R. Renardel de Lavalette, Reasoning about dynamic features in specification languages, in: D.J. Andrews, J.F. Groote, C.A. Middelburg (Eds.), Proc. Workshop in Semantics of Specification Languages, Springer, Berlin, 1994.","DOI":"10.1007\/978-1-4471-3229-5_19"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB21","series-title":"First Order Dynamic Logic","volume":"vol. 68","author":"Harel","year":"1979"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB22","unstructured":"G.E. Hughes, M.J. Cresswell, An Introduction to Modal Logic, Methuen, London, 1968, reprint 1985."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB23","doi-asserted-by":"crossref","unstructured":"H. Katsuno, A.O. Mendelzon, On the difference between updating a knowledge base and revising it, in: J. Allen, R. Fikes, E. Sandewall (Eds.), Principles of Knowledge Representation and Reasoning, Massachusetts, Proceedings of the Second Internat. Conf., Morgan Kaufmann, Los Altos, CA, April 22\u201325 1991, pp. 387\u2013394.","DOI":"10.1017\/CBO9780511526664.007"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB24","series-title":"Database Semantics (DS-1)","first-page":"141","article-title":"Database specification","author":"Khosla","year":"1986"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB25","series-title":"Handbook of Logic in Computer Science","first-page":"1","article-title":"Term rewriting systems","volume":"vol. 2","author":"Klop","year":"1992"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB26","first-page":"789","article-title":"Logics of programs","author":"Kozen","year":"1990"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB27","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"363","article-title":"A logic-based language for database updates","author":"Manchanda","year":"1988"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB28","doi-asserted-by":"crossref","unstructured":"S. Naqvi, R. Krishnamurthy, Database updates in logic programming, in: Proc 7th ACM SIGACT-SIGMOD Symp. on the Principles of Database Systems, Austin, TX, ACM, New York, March 21\u201323 1988, pp. 251\u2013262.","DOI":"10.1145\/308386.308451"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB29","series-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi","year":"1989"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB30","first-page":"51","article-title":"On induction for programming logic: syntax, semantics, and inductive closure","volume":"13","author":"Nourani","year":"1981","journal-title":"Bull. EATCS"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB31","unstructured":"G.D. Plotkin, A structural approach to operational semantics, Tech. Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981, reprinted 1991."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB32","series-title":"On Conceptual Modelling","first-page":"191","article-title":"Towards a logical reconstruction of relational database theory","author":"Reiter","year":"1984"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB33","series-title":"Logics of Database Updates, Ph.D. Thesis, Faculty of Mathematics and Computer Science","author":"Spruit","year":"1994"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB34","series-title":"Modelling Database Dynamics","first-page":"103","article-title":"Dynamic database logic: the first-order case","author":"Spruit","year":"1993"},{"issue":"1","key":"10.1016\/S0304-3975(00)00289-9_BIB35","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/logcom\/5.1.27","article-title":"Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases","volume":"5","author":"Spruit","year":"1995","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB36","series-title":"Principles of Database and Knowledge-base Systems, vol. 1","author":"Ullman","year":"1989"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB37","unstructured":"A. Weber, Updating propositional formulas, First Internat. Conf. on Expert Database Systems, 1986, pp. 373\u2013386."},{"issue":"1","key":"10.1016\/S0304-3975(00)00289-9_BIB38","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1002\/j.1096-9942.1995.tb00006.x","article-title":"Using dynamic classes and role classes to model object migration","volume":"1","author":"Wieringa","year":"1995","journal-title":"Theory Practice Object Systems"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB39","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/BF01556356","article-title":"Actors, actions, and initiative in normative system specification","volume":"7","author":"Wieringa","year":"1993","journal-title":"Ann. Math. Artif. Intell."},{"key":"10.1016\/S0304-3975(00)00289-9_BIB40","series-title":"Internat. Conf. on Database Theory","first-page":"409","article-title":"The revised G\u00e4rdenfors postulates and update semantics","volume":"vol. 470","author":"Willard","year":"1990"},{"key":"10.1016\/S0304-3975(00)00289-9_BIB41","series-title":"Updating Logical Databases","author":"Winslett","year":"1990"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500002899?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500002899?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T17:23:09Z","timestamp":1579108989000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500002899"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":41,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0304397500002899"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00289-9","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}