{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:47Z","timestamp":1725455447841},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540522913"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022169","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:40:43Z","timestamp":1131860443000},"page":"153-168","source":"Crossref","is-referenced-by-count":0,"title":["Abstract machine for $$\\mathcal{L}\\mathcal{D}\\mathcal{L}$$"],"prefix":"10.1007","author":[{"given":"Danette","family":"Chimenti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruben","family":"Gamboa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Krishnamurthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Bancilhon, F.D. \u201cNaive Evaluation of Recursively Defined Relations,\u201d in On Knowledge Base Management Systems, edited by M. Brodie and J. Mylopoulos, Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4612-4980-1_17"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bancilhon, F.D., D. Maier, Y. Sagiv, and J. Ullman. \u201cMagic Sets and Other Strange Ways to Implement Logic Programs,\u201d in Proc. SIGACT-SIGMOD Principles of Database Systems Conference (PODS), 1986.","DOI":"10.1145\/6012.15399"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Bancilhon, F.D. and R. Ramakrishnan. \u201cAn Amateur's Introduction to Recursive Query Processing Strategies,\u201d in Proc. SIGACT-SIGMOD Int. Conf. on Management of Data (SIGMOD), Washington D.C., 1986.","DOI":"10.1145\/16894.16859"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Beeri, C. and R. Ramakrishnan. \u201cOn the Power of Magic,\u201d in Proc. SIGACT-SIGMOD Principles of Database Systems Conference (PODS), 1987.","DOI":"10.1145\/28659.28689"},{"key":"10_CR5","unstructured":"Byrd, L.. \u201cUnderstanding the Control Flow of Prolog Programs,\u201d in Proc. of the Logic Programming Workshop, 1980."},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1145\/2422.2423","volume":"31","author":"L. Henschen","year":"1984","unstructured":"Henschen, L. and S. Naqvi \u201cOn Compiling Queries in Recursive First-Order Databases,\u201d in J. ACM 31, 1(Jan. 1984), pp. 47\u201385.","journal-title":"J. ACM"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Krishnamurthy, R., and C. Zaniolo. \u201cOptimization in a Logic Based Language for Knowledge and Data Intensive Applications,\u201d Extending Data Base Technology, Venice, 1988.","DOI":"10.1007\/3-540-19074-0_45"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W. Foundations of Logic Programming, Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"10_CR9","unstructured":"Mellish, C. \u201cAn Alternative to Structure Sharing in the Implementation of a Prolog Interpreter,\u201d in Logic Programming, edited by K.L. Clark and S.A. T\u00e4rnlund, Academic Press, 1982."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Michie, D. \u201c'Memo\u2019 Functions and Machine Learning,\u201d in Nature, April 1968.","DOI":"10.1038\/218019a0"},{"key":"10_CR11","unstructured":"Nilson, N.J. Principles of Artificial Intelligence, Tioga Publishing Company, 1980."},{"key":"10_CR12","unstructured":"Naqvi, S. A. and S. Tsur. A Language for Data and Knowledge Bases, W.H. Freeman, 1989."},{"key":"10_CR13","unstructured":"Pereira, L.M. and A. Porto. \u201cSelective Backtracking,\u201d in Logic Programming, edited by K.L. Clark and S.A. T\u00e4rnlund, Academic Press, 1982."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, R., C. Beeri, and R. Krishnamurthy. \u201cOptimizing Existential Queries,\u201d in Proc. SIGACT-SIGMOD Principles of Database Systems Conference (PODS), Austin, April 1988.","DOI":"10.1145\/308386.308420"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Sacca, D. and C. Zaniolo. \u201cThe Generalized Counting Method for Recursive Logic Queries,\u201d in Proc. 1st Int. Conf. on Database Theory, Rome, 1986.","DOI":"10.1007\/3-540-17187-8_28"},{"issue":"3","key":"10_CR16","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1145\/3979.3980","volume":"10","author":"J. Ullman","year":"1985","unstructured":"Ullman, J. \u201cImplementation of Logical Query Languages for Databases,\u201d in TODS, Vol. 10, No. 3, pp. 289\u2013321, 1985.","journal-title":"TODS"},{"key":"10_CR17","unstructured":"Ullman, J. Database and Knowledge Systems, Vol. I, Computer Science Press, 1988."},{"key":"10_CR18","unstructured":"Ullman, J. Database and Knowledge Systems, Vol. II, Computer Science Press, 1989."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Vieille, L. \u201cRecursive Query Processing: The Power of Logic,\u201d to appear in Theoretical Computer Science, 1989.","DOI":"10.1016\/0304-3975(89)90088-1"},{"key":"10_CR20","unstructured":"Wadsworth, C.P., \u201cSemantics and Pragmatics of the Lambda-Calculus,\u201d D. Phil. Thesis, University of Oxford, 1971."},{"key":"10_CR21","unstructured":"Warren, D.H.D. \u201cAn Abstract Prolog Instruction Set,\u201d Technical Note 309, SRI International, 1983"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022169.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:47Z","timestamp":1607550467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0022169","relation":{},"subject":[]}}