{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:35Z","timestamp":1725663995772},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540560395"},{"type":"electronic","value":"9783540473602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56039-4_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:54:35Z","timestamp":1330253675000},"page":"188-200","source":"Crossref","is-referenced-by-count":1,"title":["Updating atomic information in labelled database systems (extended abstract)"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dov M.","family":"Gabbay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"unstructured":"Catriel Beeri and Tova Milo. A Model for Active Object Oriented Database. In 17th International Conference on Very Large Data Bases, pages 337\u2013350, Barcelona, September 1991.","key":"12_CR1"},{"doi-asserted-by":"crossref","unstructured":"Roben Bull and Krister Segerberg. Basic Modal Logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, pages 1\u201388. D. Reidel Publishing Company, 1984.","key":"12_CR2","DOI":"10.1007\/978-94-009-6259-0_1"},{"doi-asserted-by":"crossref","unstructured":"Keith L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","key":"12_CR3","DOI":"10.1007\/978-1-4684-3384-5_11"},{"unstructured":"David H. Evans. A Semantic Approach to the Event Calculus. Imperial College, unpublished manuscript.","key":"12_CR4"},{"unstructured":"Ronald Fagin, Gabriel M. Kupper, Jeffrey D. Ullman, and Moshe Y. Vardi. Updating Logical Databases. In Advances in Computing Research, Volume 3, pages 1\u201318. JAI Press Inc., 1986.","key":"12_CR5"},{"doi-asserted-by":"crossref","unstructured":"Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. On the Semantics of Updates in Databases. In 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 352\u2013365, 21\u201323 March 1983.","key":"12_CR6","DOI":"10.1145\/588058.588100"},{"doi-asserted-by":"crossref","unstructured":"Marcelo Finger. Handling Database Updates in Two-dimensional Temporal Logic. To appear in J. of Applied Non-Classical Logic, 1992.","key":"12_CR7","DOI":"10.1080\/11663081.1992.10510782"},{"key":"12_CR8","first-page":"288","volume-title":"Annual Esprit Conference","author":"M. Finger","year":"1991","unstructured":"Marcelo Finger, Peter McBrien, and Richard Owens. Databases and Executable Temporal Logic. In Annual Esprit Conference, pages 288\u2013302. Comission of the European Communities, Brussels, 25\u201329 November 1991."},{"key":"12_CR9","volume-title":"Lecture Notes in Computer Science 389","author":"D. M. Gabbay","year":"1987","unstructured":"Dov M. Gabbay. The Declarative Past and the Imperative Future. In B. Banieqbal et al., editors, Coloquium on Temporal Logic and Specifications-Lecture Notes in Computer Science 389, Manchester, April 1987. Springer-Verlag."},{"unstructured":"Dov M. Gabbay. Labelled Deductive Systems \u2014 Part I. Technical Report CIS-Bericht-90-22, Universit\u00e4t M\u00fcnchen, Centrum f\u00fcr Informations \u2014 und Sprachverarbeitung, February 1991.","key":"12_CR10"},{"unstructured":"Dov M. Gabbay and Ian Hodkinson. Nonmonotonic Coding of the Past. Internal report, Imperial College, Department of Computing, October 1989.","key":"12_CR11"},{"unstructured":"Dov M, Gabbay and Peter McBrien. Temporal Logic and Historical Databases. In 17th Conference on Very Large Databases, pages 423\u2013430, Barcelona, September 1991.","key":"12_CR12"},{"unstructured":"Peter Gardenf\u00f6rs. Knowledge in Flux \u2014 Modeling the dynamics of epistemic states. MIT Press, 1988.","key":"12_CR13"},{"issue":"1","key":"12_CR14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Robert A. Kowalski and Marek J. Sergot. A Logic Based Calculus of Events. New Generation Computing, 4(1):67\u201395, 1986.","journal-title":"New Generation Computing"},{"unstructured":"Peter McBrien. The Query and Updating of a Historical Database held in an RDMS. Technical report, Imperial College, 1992.","key":"12_CR15"},{"doi-asserted-by":"crossref","unstructured":"Mark A. Reynolds. An Axiomatisation for Until and Since over the reals without the IRR Rule. To appear in Studia Logica, 1992.","key":"12_CR16","DOI":"10.1007\/BF00370112"},{"doi-asserted-by":"crossref","unstructured":"R. Snodgrass and I. Ahn. A Taxonomy of Time in Databases. In ACM SIGMOD International Conference on Management of Data, pages 236\u2013246, Austin, Texas, May 1985.","key":"12_CR17","DOI":"10.1145\/318898.318921"},{"issue":"7","key":"12_CR18","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.42733","volume":"14","author":"M. Stonebraker","year":"1988","unstructured":"Michael Stonebraker, Eric Hanson, and Spyros Potamianos. The POSTGRESS Rule Manager. IEEE Transaction on Software Engineering, 14(7):897\u2013907, July 1988.","journal-title":"IEEE Transaction on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56039-4_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:45Z","timestamp":1605646965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56039-4_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560395","9783540473602"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-56039-4_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}