{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:25Z","timestamp":1725484885953},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_71","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"1063-1077","source":"Crossref","is-referenced-by-count":8,"title":["SLDMagic \u2014 The Real Magic (With Applications to Web Queries)"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Brass","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"71_CR1","unstructured":"S. Abiteboul, P. Bunemann, D. Suciu (eds.): Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, 2000."},{"key":"71_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10030-4","volume":"40","author":"S. Brass","year":"1999","unstructured":"S. Brass, J. Dix: Semantics of (disjunctive) logic programs based on partial evaluation. The Journal of Logic Programming 40 (1999), 1\u201346.","journal-title":"The Journal of Logic Programming"},{"key":"71_CR3","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0743-1066(91)90038-Q","volume":"10","author":"C. Beeri","year":"1991","unstructured":"C. Beeri, R. Ramakrishnan: On the power of magic. The Journal of Logic Programming 10 (1991), 255\u2013299.","journal-title":"The Journal of Logic Programming"},{"key":"71_CR4","doi-asserted-by":"crossref","unstructured":"S. Brass: Magic sets vs. SLD-resolution. In J. Eder, L. A. Kalinichenko (eds.), Advances in Databases and Information Systems (ADBIS\u201995), 185\u2013203, Springer, 1995.","DOI":"10.1007\/978-1-4471-1486-4_13"},{"key":"71_CR5","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 (1990), 289\u2013312.","journal-title":"Data & Knowledge Engineering"},{"key":"71_CR6","doi-asserted-by":"crossref","unstructured":"A. Gupta, I. S. Mumick: Magic-sets transformation in nonrecursive systems. In Proc. of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201992), 354\u2013367, 1992.","DOI":"10.1145\/137097.137908"},{"key":"71_CR7","doi-asserted-by":"crossref","unstructured":"R. Himmer\u00f6der, G. Lausen, B. Lud\u00e4scher, C. Schlepphorst: On a declarative semantics for web queries. In Fifth International Conference on Deductive and Object-Oriented Databases (DOOD\u201997), 1997.","DOI":"10.1007\/3-540-63792-3_27"},{"key":"71_CR8","unstructured":"D. B. Kemp, K. Ramamohanarao, Z. Somogyi: Right-, left-and multi-linear rule transformations that maintain context information. In D. McLeod, R. Sacks-Davis, H. Schek (eds.), Proc. Very Large Data Bases, 16th Int. Conf. (VLDB\u201990), 380\u2013391, Morgan Kaufmann Publishers, 1990."},{"key":"71_CR9","unstructured":"D. Konopnicki, O. Shmueli: W3QS: A query system for the world-wide web. In U. Dayal, P. M. D. Gray, S. Nishio (eds.), Proc. of the 21st Int. Conf. on Very Large Data Bases, (VLDB\u201995), 54\u201365, Morgan Kaufmann, 1995."},{"key":"71_CR10","doi-asserted-by":"crossref","unstructured":"I. S. Mumick, S. J. Finkelstein, H. Pirahesh, R. Ramakrishnan: Magic conditions. In Proc. of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201990), 314\u2013330, 1990.","DOI":"10.1145\/298514.298584"},{"key":"71_CR11","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/s007990050005","volume":"1","author":"A. O. Mendelzon","year":"1997","unstructured":"A. O. Mendelzon, G. Mihaila, T. Milo: Querying the world wide web. Journal of Digital Libraries 1 (1997), 68\u201388.","journal-title":"Journal of Digital Libraries"},{"key":"71_CR12","doi-asserted-by":"crossref","unstructured":"J. F. Naughton, R. Ramakrishnan, Y. Sagiv, J. D. Ullman: Efficient evaluation of right-, left-, and multi-linear rules. In Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, 235\u2013242, 1989.","DOI":"10.1145\/67544.66948"},{"key":"71_CR13","doi-asserted-by":"crossref","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\u201991), 92\u2013101, 1991.","DOI":"10.1145\/113413.113422"},{"key":"71_CR14","unstructured":"R. Ramakrishnan, S. Sudarshan: Top-down vs. bottom-up revisited. In V. Saraswat, K. Ueda (eds.), Proc. of the 1991 Int. Symposium on Logic Programming, 321\u2013336, MIT Press, 1991."},{"key":"71_CR15","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, P. Seshadri: The CORAL deductive system. The VLDB Journal 3 (1994), 161\u2013210.","journal-title":"The VLDB Journal"},{"key":"71_CR16","doi-asserted-by":"crossref","unstructured":"D. Srivastava, R. Ramakrishnan: Pushing constraint selections. In Proc. of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS\u201992), 301\u2013315, 1992.","DOI":"10.1145\/137097.137897"},{"key":"71_CR17","unstructured":"S. Sudarshan, R. Ramakrishnan: Optimizations of bottom-up evaluation with non-ground terms. In D. Miller (ed.), Proceedings of the International Logic Programming Symposium (ILPS\u201993), 557\u2013574, MIT Press, 1993."},{"key":"71_CR18","doi-asserted-by":"crossref","unstructured":"K. Sagonas, T. Swift, D. S. Warren: XSB as an efficient deductive database engine. In R. T. Snodgrass, M. Winslett (eds.), Proc. of the 1994 ACM SIGMOD Int. Conf. on Management of Data (SIGMOD\u201994), 442\u2013453, 1994.","DOI":"10.1145\/191839.191927"},{"key":"71_CR19","doi-asserted-by":"crossref","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), 140\u2013149, 1989.","DOI":"10.1145\/73721.73736"},{"key":"71_CR20","unstructured":"J. D. Ullman: Principles of Database and Knowledge-Base Systems, Vol. 2. Computer Science Press, 1989."},{"key":"71_CR21","doi-asserted-by":"crossref","unstructured":"U. Zukowski, S. Brass, B. Freitag: Improving the alternating fixpoint: The transformation approach. In A. Nerode (ed.), Proc. of the 4th Int. Conf. on Logic Programming and Non-Monotonic Reasoning (LPNMR\u2019 97), 40\u201359, LNAI 1265, Springer, 1997.","DOI":"10.1007\/3-540-63255-7_4"}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:24:12Z","timestamp":1556465052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_71","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}