{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:33Z","timestamp":1725663933791},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540090"},{"type":"electronic","value":"9783540473480"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54009-1_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:22:19Z","timestamp":1330190539000},"page":"325-341","source":"Crossref","is-referenced-by-count":1,"title":["Consistency and non-determinism in a database programming language"],"prefix":"10.1007","author":[{"given":"F.","family":"Cacace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ceri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Tanca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"M. Atkinson, F. Bancilhon, D. De Witt, K. Dittrich, D. Maier, S. Zdonik: The Object-Oriented Database System Manifesto. Proc. First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, 1989.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, S. Grumbach: COL: a Logic-based Language for Complex Objects. Proc. 1988 EDBT.","DOI":"10.1007\/3-540-19074-0_58"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"S. Abiteboul: Updates, a New Frontier. Proc. 1988 ICDT.","DOI":"10.1007\/3-540-50171-1_1"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, P.C. Kanellakis: Object Identity as a Query Language Primitive. Proc. 1989 SIGMOD.","DOI":"10.1145\/67544.66941"},{"key":"23_CR5","unstructured":"S. Abiteboul, E. Simon: Fundamental properties of deterministic and nondeterministic extension od Datalog. Journees Bases de Donn\u00e9es Avanc\u00e9s, September 1989."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, E. Simon, V. Vianu: Non-deterministic Languages to Express Deterministic Transformations. Proc. 1990 PODS.","DOI":"10.1145\/298514.298575"},{"key":"23_CR7","unstructured":"S. Abiteboul, V. Vianu: Datalog Extensions for Database Queries and Updates. INRIA Rep. n. 900, September 1988."},{"key":"23_CR8","unstructured":"S. Abiteboul, V. Vianu: Non-determinism in Logic-Based Languages. Tech. Rep. n. CS89-159, University of California, San Diego."},{"key":"23_CR9","unstructured":"C. Beeri: Data Models and Languages for Databases. Proc. 1988 ICDT."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli: A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"23_CR11","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari: The Logres project: Integrating Object-Oriented Data Modelling with a Rule-Based Programming Paradigm. PdM Report n. 89-039."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, R. Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. Proc. 1990 SIGMOD.","DOI":"10.1145\/93597.98732"},{"key":"23_CR13","unstructured":"F. Cacace, S. Ceri, L. Tanca: Updates and consistency in the Logres language PdM Report n. 90-017."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases. Springer Verlag (to appear in 1990).","DOI":"10.1007\/978-3-642-83952-8"},{"key":"23_CR15","unstructured":"R. Hull, M. Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. Proc. 1990 VLDB."},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"T. Imielinski, S. Naqvi: Explicit control of Logic Programs through Rule Algebra. Proc. 1988 PODS.","DOI":"10.1145\/308386.308422"},{"key":"23_CR17","unstructured":"KEE Reference Manual, release 3.0, Intellicorp 1986."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"M. Kifer, J. Wu: A Logic for Object Oriented Programming (Maier's O-Logic Revisited). Proc. 1989 PODS.","DOI":"10.1145\/73721.73758"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"C. Lecluse, P. Richard and F. Velez: O2, an Object-Oriented Data Model. Proc. 1988 SIGMOD.","DOI":"10.1145\/50202.50253"},{"key":"23_CR20","unstructured":"C. de Maindreville, E. Simon: Modelling queries and updates in a deductive database. Proc. 1988 VLDB."},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"S. Manchanda, D.S. Warren: A logic-based language for database updates. In Foundations of Logic Programming and Deductive Databases, ed. J. Minker (1987).","DOI":"10.1016\/B978-0-934613-40-8.50014-2"},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"K. Morris, J.D. Ullman, A. Van Gelder: Design overview of the NAIL! system. Proc. ICLP, 1986.","DOI":"10.1007\/3-540-16492-8_104"},{"key":"23_CR23","volume-title":"A Logical Language for Data and Knowledge Bases","author":"S. Naqvi","year":"1989","unstructured":"S. Naqvi, S. Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, 1989."},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"Y. Sheng: IDLOG: Extending the Expressive Power of Deductive Database Languages. Proc 1990 SIGMOD.","DOI":"10.1145\/93597.93621"},{"key":"23_CR25","unstructured":"Y. Sheng: The Expressive Power of Deductive Databases Languages with tupleidentifications. In preparation."},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"D. Sacc\u00e1, C. Zaniolo: Stable Models and Non.Determinism in Logic Programs with Negation. Proc. 1990 PODS.","DOI":"10.1145\/298514.298572"},{"key":"23_CR27","volume-title":"Principles of Databases and Knowledge-Base Systems. Volume I","author":"J.D. Ullman","year":"1988","unstructured":"J.D. Ullman: Principles of Databases and Knowledge-Base Systems. Volume I, Computer Science Press, Potomac, MD, 1988."}],"container-title":["Lecture Notes in Computer Science","MFDBS 91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54009-1_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:51:59Z","timestamp":1605628319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54009-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540090","9783540473480"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-54009-1_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}