{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T02:34:43Z","timestamp":1714876483864},"reference-count":19,"publisher":"Elsevier","isbn-type":[{"value":"9780934613408","type":"print"}],"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.50015-4","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T16:06:15Z","timestamp":1404230775000},"page":"395-438","source":"Crossref","is-referenced-by-count":13,"title":["Compiling the GCWA in Indefinite Deductive Databases"],"prefix":"10.1016","author":[{"given":"Lawrence J.","family":"Henschen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hyung-Sik","family":"Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib1","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a Theory of Declarative Knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib2","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","article-title":"Saturation, Nonmonotonic Reasoning and the Closed-World Assumption","volume":"25","author":"Bossu","year":"1985","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, P. [1987] An Amateur's Introduction to Recursive Query Processing Strategies, in Proc. ACM-SIGMOD Conference on Management of Data, Washington, DC, 16\u201352","DOI":"10.1145\/16856.16859"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib4","series-title":"Advances in Data Base Theory, Vol. l","first-page":"235","article-title":"On Evaluation of Queries Containing Derived Relations","author":"Chang","year":"1981"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib5","series-title":"Logic and Databases","first-page":"293","article-title":"Negation as Failure","author":"Clark","year":"1978"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib6","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/356924.356929","article-title":"Logic and Databases: A Deductive Approach","volume":"10","author":"Gallaire","year":"1984","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib7","series-title":"Advances in Computing Theory, Vol. 3, The Theory of Databases","first-page":"247","article-title":"Answering Queries in Indefinite Databases and the Null Value Problem","author":"Grant","year":"1986"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib8","unstructured":"Han, J. [1985] Pattern-based and Knowledge-directed Query Compilation for Recursive Data Bases, Ph.D. thesis, University of Wisconsin\u2014Madison"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib9","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/2422.2423","article-title":"On Compiling Queries in Recursive First-Order Databases","volume":"31","author":"Henschen","year":"1984","journal-title":"JACM"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib10","unstructured":"Henschen, L. J. and Park, H-S, [1986] Indefinite and GCWA Inference in Indefinite Deductive Databases, in Proceedings of AAAI-86, Philadelphia, PA, 193\u2013241"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib11","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.50015-4_bib12","doi-asserted-by":"crossref","unstructured":"Minker, J. [1982] On Indefinite Databases and the Closed World Assumption, in Lecture Notes in Computer Science 138, Springer-Verlag, 292\u2013308","DOI":"10.1007\/BFb0000066"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib13","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"193","article-title":"On the Semantics of Stratified Deductive Databases","author":"Przymusinski","year":"1988"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib14","series-title":"Logic and Data Bases","first-page":"149","article-title":"Deductive Question Answering on Relational Databases","author":"Reiter","year":"1978"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib15","series-title":"Logic and Databases","first-page":"55","article-title":"On Closed World Databases","author":"Reiter","year":"1978"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib16","series-title":"On Conceptual Modelling","first-page":"163","article-title":"Towards a Logical Reconstruction of Relational Database Theory","author":"Reiter","year":"1984"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib17","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","article-title":"Implementation of Logical Query Languages for Databases","volume":"10","author":"Ullman","year":"1985","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib18","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"149","article-title":"Negation as Failure Using Tight Derivations for Logic Programs","author":"Van Gelder","year":"1988"},{"key":"10.1016\/B978-0-934613-40-8.50015-4_bib19","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF00244994","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:B9780934613408500154?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780934613408500154?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T08:28:04Z","timestamp":1565598484000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780934613408500154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9780934613408"],"references-count":19,"URL":"https:\/\/doi.org\/10.1016\/b978-0-934613-40-8.50015-4","relation":{},"subject":[],"published":{"date-parts":[[1988]]}}}