{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:28:47Z","timestamp":1743107327112,"version":"3.40.3"},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760146"},{"type":"electronic","value":"9781447114864"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-1486-4_13","type":"book-chapter","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T22:24:09Z","timestamp":1324074249000},"page":"185-203","source":"Crossref","is-referenced-by-count":1,"title":["Magic Sets vs. SLD-Resolution"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","first-page":"16","volume-title":"Proc. of SIGMOD\u201986","author":"F Bancilhon","year":"1986","unstructured":"F. Bancilhon and Ft. Ramakrishnan. An amateur\u2019s introduction to recursive query processing. In C. Zaniolo, editor, Proc. of SIGMOD\u201986, pages 16\u201352, 1986."},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/BFb0030663","volume-title":"Nonmonotonic Extensions of Logic Programming","author":"S Brass","year":"1995","unstructured":"S. Brass and J. Dix. A general approach to bottom-up computation of disjunctive semantics. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, number 927 in LNAI, pages 127\u2013155. Springer, 1995."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F Bry","year":"1990","unstructured":"F. Bry. Query evaluation in recursive databases: bottom-up and top-down reconciled. Data & Knowledge Engineering, 5:289\u2013312, 1990.","journal-title":"Data & Knowledge Engineering"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/BFb0032424","volume-title":"Advances in Database Technology \u2014 EDBT\u201992, 3rd Int. Conf.","author":"S Greco","year":"1992","unstructured":"S. Greco and C. Zaniolo. Optimization of linear logic programs using counting methods. In A. Pirotte, C. Delobel, and G. Gottlob, editors, Advances in Database Technology \u2014 EDBT\u201992, 3rd Int. Conf., number 580 in LNCS, pages 72\u201387. Springer-Verlag, 1992."},{"key":"13_CR5","first-page":"547","volume-title":"Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD\u201991)","author":"L Kalinichenko","year":"1991","unstructured":"L. Kalinichenko and V. Zadorozhny. A generalized information resource query language and basic query evaluation technique. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Deductive and Object-Oriented Databases, 2nd Int. Conf. (DOOD\u201991), number 566 in LNCS, pages 547\u2013566. Springer, 1991."},{"key":"13_CR6","first-page":"380","volume-title":"Proc. Very Large Data Bases, 16th Int. Conf. (VLDB\u201990)","author":"DB Kemp","year":"1990","unstructured":"D. B. Kemp, K. Ramamohanarao, and Z. Somogyi. Right-, left- and multi-linear rule transformations that maintain context information. In D. McLeod, R. Sacks-Davis, and H. Schek, editors, Proc. Very Large Data Bases, 16th Int. Conf. (VLDB\u201990), pages 380\u2013391. Morgan Kaufmann Publishers, 1990."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BF01228880","volume":"3","author":"R Ramakrishnan","year":"1994","unstructured":"R. Ramakrishnan, D. Srivastava, S. Sudarshan, and P. Seshadri. The CORAL deductive system. The VLDB Journal, 3:161\u2013210, 1994.","journal-title":"The VLDB Journal"},{"key":"13_CR8","first-page":"321","volume-title":"Proc. of the 1991 Int. Symposium on Logic Programming","author":"R Ramakrishnan","year":"1991","unstructured":"R. Ramakrishnan and S. Sudarshan. Top-down vs. bottom-up revisited. In V. Saraswat and K. Ueda, editors, Proc. of the 1991 Int. Symposium on Logic Programming, pages 321\u2013336. MIT Press, 1991."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-57530-8_12","volume-title":"Deductive and Object-Oriented Databases, Third Int. Conf, (DOOD\u201993)","author":"K Ramamohanarao","year":"1993","unstructured":"K. Ramamohanarao. An implementation overview of the Aditi deductive database system. In S. Ceri, K. Tanaka, and S. Tsur, editors, Deductive and Object-Oriented Databases, Third Int. Conf, (DOOD\u201993), number 760 in LNCS, pages 184\u2013203. Springer, 1993."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/113413.113422","volume-title":"Proc. of the Tenth ACM SIGACT-SIGMOD-SIGART Symp. on Princ. of Database Systems (PODSy91)","author":"KA Ross","year":"1991","unstructured":"K. A. Ross. Modular acyclicity and tail recursion in logic programs. In Proc. of the Tenth ACM SIGACT-SIGMOD-SIGART Symp. on Princ. of Database Systems (PODS\n                           \n                    y\n                  \n                           91), pages 92\u2013101, 1991."},{"key":"13_CR11","first-page":"235","volume-title":"Proc. of the North American Conf. on Logic Programming","author":"Y Sagiv","year":"1990","unstructured":"Y. Sagiv. Is there anything better than magic? In S. Debray and M. Hermenegildo, editors, Proc. of the North American Conf. on Logic Programming, pages 235\u2013254. MIT Press, 1990."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1145\/191839.191927","volume-title":"Proc. of the 1994 ACM SIGMOD Int. Conf on Management of Data (SIGMOD\u201994)","author":"K Sagonas","year":"1994","unstructured":"K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In R. T. Snodgrass and M. Winslett, editors, Proc. of the 1994 ACM SIGMOD Int. Conf on Management of Data (SIGMOD\u201994), pages 442\u2013453, 1994."},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1145\/73721.73737","volume-title":"Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201989)","author":"H Seki","year":"1989","unstructured":"H. Seki. On the power of Alexander templates. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201989), pages 150\u2013159, 1989."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/73721.73736","volume-title":"Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201989)","author":"JD Ullman","year":"1989","unstructured":"J. D. Ullman. Bottom-up beats top-down for Datalog. In Proc. of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201989), pages 140\u2013149, 1989."},{"key":"13_CR15","volume-title":"Principles of Database and Knowledge-Base Systems","author":"JD Ullman","year":"1989","unstructured":"J. D. Ullman. Principles of Database and Knowledge-Base Systems, Vol. 2. Computer Science Press, 1989."}],"container-title":["Workshops in Computing","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1486-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T03:24:51Z","timestamp":1674098691000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-1486-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540760146","9781447114864"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1486-4_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1996]]}}}