{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:51:45Z","timestamp":1725663105438},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:16:22Z","timestamp":1330182982000},"page":"205-222","source":"Crossref","is-referenced-by-count":4,"title":["Deciding whether a production rule is relational computable"],"prefix":"10.1007","author":[{"given":"Eric","family":"Simon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Maindreville","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, V. Vianu: \"Transaction languages for database update and specification\", INRIA Research Report, No 715, 64 pages, Sept. 1987.","DOI":"10.1145\/28659.28688"},{"key":"13_CR2","unstructured":"K.R. Apt, H. Blair, A. Walker: \"Towards a Declarative Knowledge\" IBM Research Report RC 11681, April 1986."},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"E.F. Codd: \"A Data Base Sublanguage founded on the relational calculus.\" Proc. of ACM-SIGFIDET, 1971.","DOI":"10.1145\/1734714.1734718"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"K.A Chandra, D. Harel: \"Computable Queries for Relational Databases\", Journal of Computer and Systems Science, 1980.","DOI":"10.1016\/0022-0000(80)90032-X"},{"key":"13_CR5","series-title":"INRIA Research Report","volume-title":"Also Extended abstract in Adavances in Data Bases","author":"C. Maindreville de","year":"1987","unstructured":"C. de Maindreville, E. Simon: \"A Predicate Transition Net for Evaluating Queries against Rules in a DBMS.\" INRIA Research Report No 604, Feb 1987. Also Extended abstract in Adavances in Data Bases, Port Camargue, France May 1987."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"C. de Maindreville, E. Simon: \"A Production Rule based approach to Deductive Databases.\" Proc of 4th Int. Conf. on Data Engineering, Los Angeles 1988.","DOI":"10.1109\/ICDE.1988.105465"},{"key":"13_CR7","unstructured":"C. de Maindreville, E. Simon: \"Modelling Non Deterministic Queries and Updates in Deductive Databases\", Proc. Int. Conf. on VLDB, Los Angeles, 1988."},{"key":"13_CR8","volume-title":"Proc of Int Workshop: Logical bases for Databases","author":"J.M. Nicolas","year":"1982","unstructured":"J.M. Nicolas, R. Demolombe: \"On the stability of relational queries\", Proc of Int Workshop: Logical bases for Databases, CERT, Toulouse, 1982."},{"key":"13_CR9","unstructured":"E. Simon, P. Valduriez: \"Design and Analysis of a Relational Integrity Subsystem.\" MCC Technical Report DB-O15, 51 pages, Austin, Texas, Jan. 87."},{"key":"13_CR10","unstructured":"E. Simon: \"Simplifying integrity constraints by generating differential pre-tests\", INRIA Research Report No 742, 54 pages, Nov. 1987."},{"key":"13_CR11","unstructured":"E. Simon, C. de Maindreville: \"Deciding whether a production rule is relational computable\", Research Report INRIA."}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:54:16Z","timestamp":1619556856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}