{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:45:40Z","timestamp":1725713140484},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198031"},{"type":"electronic","value":"9781447135548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_7","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T09:34:10Z","timestamp":1358415250000},"page":"103-120","source":"Crossref","is-referenced-by-count":8,"title":["Dynamic Database Logic: the First-order Case"],"prefix":"10.1007","author":[{"given":"Paul","family":"Spruit","sequence":"first","affiliation":[]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[]},{"given":"John-Jules","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","first-page":"326","volume-title":"editors, International Conference on Database Theory, pages","author":"S Abiteboul","year":"1988","unstructured":"S. Abiteboul. Updates, a new frontier. In J. Paredaens and D. Van Gught, editors, International Conference on Database Theory, pages 118. Springer, 1988. Lecture Notes in Computer Science 326."},{"key":"7_CR2","first-page":"23","volume-title":"6th ACM SIGACT-SIGMOD symposium on the principles of database systems, San Diego, Cal., March","author":"S Abiteboul","year":"1987","unstructured":"S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In 6th ACM SIGACT-SIGMOD symposium on the principles of database systems, pages 260\u2013268, San Diego, Cal., March 23\u201325 1987."},{"key":"7_CR3","first-page":"21","volume-title":"7th ACM SIGACT-SIGMOD symposium on the principles of database systems, Austin, Texas, March","author":"S Abiteboul","year":"1988","unstructured":"S. Abiteboul and V. Vianu. Procedural and declarative database update languages. In 7th ACM SIGACT-SIGMOD symposium on the principles of database systems, pages 240\u2013250, Austin, Texas, March 21\u201323 1988."},{"key":"7_CR4","first-page":"326","volume-title":"International Conference on Database Theory","author":"L Cholvy","year":"1988","unstructured":"L. Cholvy. Update semantics under the domain closure assumption. In M. Gyssens, J. Paredaens, and D. van Gucht, editors, International Conference on Database Theory, pages 123\u2013140. Springer, 1988. Lecture Notes in Computer Science 326."},{"key":"7_CR5","volume-title":"Technical Report","author":"J\u00fcrgen Cronau","year":"1990","unstructured":"J\u00fcrgen Cronau. Update semantics for deductive databases. Technical Report 322, FB Informatik, University of Dortmund, Dortmund, 1990."},{"key":"7_CR6","first-page":"475","volume-title":"Proceedings AAAI","author":"M Dalal","year":"1988","unstructured":"M. Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In Proceedings AAAI, volume 2, pages 475\u2013479, 1988."},{"issue":"4","key":"7_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0169-023X(92)90043-B","volume":"8","author":"F Dignum","year":"1992","unstructured":"F. Dignum and R.P. van de Riet. Addition and removal of information for a knowledge base with incomplete information. Data and Knowledge Engineering, 8 (4): 293\u2013307, August 1992.","journal-title":"Data and Knowledge Engineering"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"L. T. F. Gamut. Logic, Language, and Meaning. The University of Chicago Press, 1991. Volume 2: Intensional Logic and Logical Grammar.","DOI":"10.7208\/chicago\/9780226791708.001.0001"},{"key":"7_CR9","first-page":"331","volume-title":"Proceedings of the Nineth International Conference on Very Large Databases","author":"F Golshani","year":"1983","unstructured":"F. Golshani, T.S.E. Maibaum, and M.R. Sadler. A modal system of algebras for database specification and query\/update support. In Proceedings of the Nineth International Conference on Very Large Databases, pages 331\u2013359, 1983."},{"key":"7_CR10","volume-title":"T.B. Jr. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 141-158. North-Holland","author":"S Khosla","year":"1986","unstructured":"S. Khosla, T.S.E. Maibaum, and M. Sadler. Database specification. In T.B. Jr. Steel and R. Meersman, editors, Database Semantics (DS-1), pages 141\u2013158. North-Holland, 1986."},{"key":"7_CR11","volume-title":"J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Elsevier Science Publishers","author":"D Kozen","year":"1990","unstructured":"D. Kozen and J. Tiuryn. Logics of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, pages 789\u2013840. Elsevier Science Publishers, 1990."},{"key":"7_CR12","volume-title":"J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363-394. Morgan Kaufmann","author":"S Manchanda","year":"1988","unstructured":"S. Manchanda and D.S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363\u2013394. Morgan Kaufmann, 1988."},{"key":"7_CR13","volume-title":"Computer Science Press","author":"S Naqvi","year":"1989","unstructured":"S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989."},{"key":"7_CR14","volume-title":"Reprinted","author":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department","year":"1991","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, 1981. reprinted 1991."},{"key":"7_CR15","volume-title":"M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, On Conceptual Modelling, pages 191-233. Springer","author":"R Reiter","year":"1984","unstructured":"R. Reiter. Towards a logical reconstruction of relational database theory. In M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, editors, On Conceptual Modelling, pages 191\u2013233. Springer, 1984."},{"key":"7_CR16","first-page":"37","volume-title":"Proceedings, 3rd International Workshop on Foundations of Models and Languages for Data and Objects","author":"PA Spruit","year":"1991","unstructured":"P.A. Spruit, J.-J.Ch. Meyer, and R.J. Wieringa. Declarative semantics of passive and active updates in logic databases. In Proceedings, 3rd International Workshop on Foundations of Models and Languages for Data and Objects, pages 37\u201346, Aigen, Austria, September 1991."},{"key":"7_CR17","unstructured":"P.A. Spruit, R. J. Wieringa, and J.-J. Ch. Meyer. Dynamic database logic. Technical report, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam. in preparation."},{"key":"7_CR18","volume-title":"Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Technical Report IR-294, Department of Mathematics and Computer Science","author":"PA Spruit","year":"1992","unstructured":"P.A. Spruit, R.J. Wieringa, and J.-J.Ch. Meyer. Axiomatization, declarative semantics and operational semantics of passive and active updates in logic databases. Technical Report IR-294, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam, June 1992."},{"key":"7_CR19","first-page":"566","volume-title":"Proceedings of the Second International Conference on Deductive and Object-Oriented Databases","author":"R Torlone","year":"1991","unstructured":"R. Torlone and P. Atzeni. Updating deductive databases with functional dependencies. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proceedings of the Second International Conference on Deductive and Object-Oriented Databases, pages 278\u2013292. Springer Verlag, 1991. Lecture Notes in Computer Science 566."},{"key":"7_CR20","first-page":"373","volume-title":"First International Conference on Expert Database systems","author":"A Weber","year":"1986","unstructured":"A. Weber. Updating propositional formulas. In First International Conference on Expert Database systems, pages 373\u2013386, 1986."},{"key":"7_CR21","volume-title":"Cambridge University Press","author":"M","year":"1990","unstructured":"M. Winslett. Updating Logical Databases. Cambridge University Press, 1990."}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,6]],"date-time":"2022-02-06T03:37:17Z","timestamp":1644118637000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3554-8_7","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}