{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:10Z","timestamp":1749221350947,"version":"3.40.4"},"reference-count":31,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780934613408"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1016\/b978-0-934613-40-8.50014-2","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T16:06:15Z","timestamp":1404230775000},"page":"363-394","source":"Crossref","is-referenced-by-count":53,"title":["A Logic-based Language for Database Updates"],"prefix":"10.1016","author":[{"given":"Sanjay","family":"Manchanda","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David Scott","family":"Warren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib1","unstructured":"Abiteboul, S. and Grahne, G. [1985] Update Semantics for Incomplete Databases, Proceedings of VLDB 85, Stockholm, 1\u201312"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Vianu, V. [1987] A Transaction Language Complete for Database Update and Specification, Proceedings of the 5th ACM PODS, San Diego, 260\u2013268","DOI":"10.1145\/28659.28688"},{"issue":"1","key":"10.1016\/B978-0-934613-40-8.50014-2_bib3","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/BF01786254","article-title":"Distributed Optimistic Concurrency Control with Reduced Rollback","volume":"2","author":"Agrawal","year":"1987","journal-title":"Distributed Computing"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib4","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"issue":"4","key":"10.1016\/B978-0-934613-40-8.50014-2_bib5","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","article-title":"Update Semantics of Relational Views","volume":"6","author":"Bancilhon","year":"1981","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib6","series-title":"Entity-Relationship Approach to Software Engineering","article-title":"UPM: A Formal Tool for Expressing Database Update Semantics","author":"Carlson","year":"1983"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib7","first-page":"211","article-title":"A Family of Temporal Languages for the Description of Transition Constraints","volume":"Volume 2","author":"Casanova","year":"1984"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib8","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"issue":"3","key":"10.1016\/B978-0-934613-40-8.50014-2_bib9","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","article-title":"On the Correct Translation of Update Operations on Relational Views","volume":"8","author":"Dayal","year":"1982","journal-title":"ACM Transactions on Database Systems"},{"issue":"4","key":"10.1016\/B978-0-934613-40-8.50014-2_bib10","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The Semantics of Predicate Logic as a Programming Language","volume":"23","author":"Emden","year":"1976","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib11","first-page":"1","article-title":"Updating Logical Databases","volume":"Volume 3","author":"Fagin","year":"1986"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib12","unstructured":"Farinas, L. and Herzig, A. [1986] Reasoning about Database Updates, in Workshop on Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Washington, DC, 53\u201367"},{"issue":"4","key":"10.1016\/B978-0-934613-40-8.50014-2_bib13","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0306-4379(79)90021-8","article-title":"Permitting Updates through Views of Data Bases","volume":"4","author":"Furtado","year":"1979","journal-title":"Information Systems"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib14","unstructured":"Grant, J. and Minker, J. [1986] Answering Queries in Indefinite Databases and the Null Value problem, in Advances in Computing Research (P. Kanellakis, Ed.), 247\u2013267"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib15","series-title":"First-Order Dynamic Logic, Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","author":"Harel","year":"1979"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib16","unstructured":"Imielinski, T. [1986] Automated Deduction in Databases with Incomplete Information, in Workshop on Foundations of Deductive Databases and Logic Programming (J. Minker, Ed.), Washington, DC, 242\u2013283"},{"issue":"4","key":"10.1016\/B978-0-934613-40-8.50014-2_bib17","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","article-title":"Incomplete Information in Relational Databases","volume":"31","author":"Imielinski","year":"1984","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib18","doi-asserted-by":"crossref","unstructured":"Keller, A. [1985] Algorithms for Translating View Updates to Database Updates for Views Involving Selections, Projections, and Joins, in Proceedings of the 4th ACM PODS, 154\u2013163","DOI":"10.1145\/325405.325423"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib19","series-title":"Logic and Databases","first-page":"77","article-title":"Logic for Data Description","author":"Kowalski","year":"1978"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib20","first-page":"83","article-title":"Semantical Considerations on Modal Logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib21","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"177","article-title":"On the Declarative Semantics of Logic Programs with Negation","author":"Lifschitz","year":"1988"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib22","series-title":"A Dynamic Logic Programming Language","first-page":"11794","author":"Manchanda","year":"1987"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib23","unstructured":"Manchanda, S. [1987b] A Dynamic Logic Programming Language for Relational Updates, SUNY at Stony Brook, Stony Brook, NY 11794. Ph.D thesis"},{"year":"1986","series-title":"Concurrent Updates in a Prolog Database System","author":"Manchanda","key":"10.1016\/B978-0-934613-40-8.50014-2_bib24"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib25","doi-asserted-by":"crossref","unstructured":"Pratt, V. R. [1976] Semantical Considerations on Floyd-Hoare Logic, Proceedings of the 17th IEEE FOCS, 109\u2013121","DOI":"10.1109\/SFCS.1976.27"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib26","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Semantics of Stratified Databases","author":"Przymusinksi","year":"1988"},{"issue":"2","key":"10.1016\/B978-0-934613-40-8.50014-2_bib27","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/5383.5388","article-title":"A Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values","volume":"33","author":"Reiter","year":"1986","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib28","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"149","article-title":"Negation as Failure Using Tight Derivations for General Logic Programs","author":"Van Gelder","year":"1988"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib29","unstructured":"Warren, D. S. [1984] Database Updates in Pure Prolog, Proceedings of the International Conference on Fifth Generation Computer Systems, ICOT, Tokyo, 244\u2013253"},{"key":"10.1016\/B978-0-934613-40-8.50014-2_bib30","doi-asserted-by":"crossref","unstructured":"Wilkins, M. W. [1986] A Model-Theoretic Approach to Updating Logical Databases, Proceedings of the 5th ACM PODS, 224\u2013234","DOI":"10.1145\/6012.15416"},{"issue":"1","key":"10.1016\/B978-0-934613-40-8.50014-2_bib31","first-page":"141","article-title":"Deduction in Non-Horn Databases","volume":"1","author":"Yahya","year":"1985","journal-title":"Journal of Automated Reasoning"}],"container-title":["Foundations of Deductive Databases and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500142?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500142?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:21:37Z","timestamp":1746289297000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780934613408500142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9780934613408"],"references-count":31,"URL":"https:\/\/doi.org\/10.1016\/b978-0-934613-40-8.50014-2","relation":{},"subject":[],"published":{"date-parts":[[1988]]}}}