{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:32Z","timestamp":1725456212955},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012838","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"294-312","source":"Crossref","is-referenced-by-count":5,"title":["Recursive query answering with non-horn clauses"],"prefix":"10.1007","author":[{"given":"Shan","family":"Chi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence J.","family":"Henschen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F. and Ramakrishnan, R., \u201cAn amateure's introduction to recursive query processing strategies,\u201d ACM SIGMOD Conference on Management of Data, (1986).","DOI":"10.1145\/16894.16859"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"G. Bossu","year":"1985","unstructured":"Bossu, G. and Siegel, P., \u201cSaturation, nonmonotonic reasoning and the closed-world assumption,\u201d Artificial Intelligence 25, (1985), pp. 13\u201363.","journal-title":"Artificial Intelligence"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/978-1-4615-8297-7_9","volume-title":"Advances in Data Base Theory 1","author":"C.L. Chang","year":"1981","unstructured":"Chang, C.L., \u201cOn evaluation of queries containing derived relations,\u201d Advances in Data Base Theory 1, H. Gallaire and J. Minker, and J.M. Nicolas, Eds., Plenum Press, New York, (1981), pp. 235\u2013260."},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/320107.320109","volume":"4","author":"E.F. Codd","year":"1979","unstructured":"Codd, E.F., \u201cExtending the database relational model to capture more meaning,\u201d ACM Transactions on Database Systems 4, 4, (December 1979), pp. 339\u2013434.","journal-title":"ACM Transactions on Database Systems"},{"key":"19_CR5","volume-title":"Answering queries in indefinite databases and the null value problems","author":"J. Grant","year":"1981","unstructured":"Grant, J. and Minker, J., \u201cAnswering queries in indefinite databases and the null value problems,\u201d University of Maryland, College Park, Maryland, (July 1981)."},{"key":"19_CR6","unstructured":"Han, J.,Pattern-Based and Knowledge-Directed Query Compilation for Recursive Databases, Ph.D. thesis, University of Wisconsin-Madison, (1985)."},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/2422.2423","volume":"31","author":"L.J. Henschen","year":"1984","unstructured":"Henschen, L.J. and Naqvi, S., \u201cOn compiling queries in recursive first-order databases,\u201d JACM 31,1, (January 1984), pp. 47\u201385.","journal-title":"JACM"},{"key":"19_CR8","unstructured":"Henschen, L.J. and Park, H., \u201cIndefinite and GCWA inference in indefinite deductive databases,\u201d Proc. AAAI-86."},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/BFb0000066","volume":"138","author":"J. Minker","year":"1982","unstructured":"Minker, J., \u201cOn indefinite database and the closed world assumption,\u201d Lecture Notes in Computer Science 138, Springer-Verlag, (1982), pp. 292\u2013308.","journal-title":"Lecture Notes in Computer Science"},{"key":"19_CR10","series-title":"Tech. Rep.","volume-title":"On Recursive Axioms in Relational Databases","author":"J. Minker","year":"1981","unstructured":"Minker, J., and Nicolas J., \u201cOn Recursive Axioms in Relational Databases,\u201d Tech. Rep. No. 1119, University of Maryland, College Park, Maryland, (1981)."},{"key":"19_CR11","first-page":"149","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R., \u201cDeductive question answering on relational data bases,\u201d Logic and Databases, H. Gallaire and J. Minker, Eds., Plenum Press, New York, (1978), pp. 149\u2013177."},{"key":"19_CR12","first-page":"55","volume-title":"Logic and Databases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R., \u201cQuestion answering on relational databases,\u201d Logic and Databases, H. Gallaire and J. Minker, Eds., Plenum Press, New York, (1978), pp. 55\u201376."},{"key":"19_CR13","unstructured":"Wos, L., Overbeek, R., Lusk, E. and Boyle, J.: Automated Reasoning, Introduction and Applications, Prentice-Hall, (1984)."},{"issue":"2","key":"19_CR14","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF00244994","volume":"1","author":"A. Yahya","year":"1985","unstructured":"Yahya, A. and Henschen, L.J., \u201cDeduction in non-Horn databases,\u201d Journal of Automated Reasoning 1, No.2, (1985), pp., 141\u2013160.","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0012838","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:24:00Z","timestamp":1586579040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012838"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0012838","relation":{},"subject":[]}}