{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:12:25Z","timestamp":1725664345344},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540607946"},{"type":"electronic","value":"9783540494560"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60794-3_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:59:28Z","timestamp":1330289968000},"page":"148-166","source":"Crossref","is-referenced-by-count":2,"title":["Magic checking: Constraint checking for database query optimisation"],"prefix":"10.1007","author":[{"given":"Mark","family":"Wallace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Bressan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Provost","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"1","key":"9_CR1","first-page":"25","volume":"28","author":"P. Bernstein","year":"1983","unstructured":"P. Bernstein and D. Chiu. Using semi-joins to solve relational queries. ACM, 28(1):25\u201340, January 1983.","journal-title":"ACM"},{"key":"9_CR2","volume-title":"CHIC Deliverable D.6.2.4","author":"P. Brisset","year":"1995","unstructured":"P. Brisset, T. Fr\u00fchwirth, P. Lim, M. Meier, T. Le Provost, J. Schimpf, and M.G. Wallace. ECLiPSe 3.5 extension user manual. CHIC Deliverable D.6.2.4, ECRC, Arabellastr 17, Munich, Germany, 1995."},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1145\/2402.322389","volume":"30","author":"C. Beeri","year":"1983","unstructured":"C. Beeri, R. Fagin, D. Maier, and M. Yannakakis. On the desirability of acyclic database schemes. ACM, 30(3):479\u2013513, July 1983.","journal-title":"ACM"},{"key":"9_CR4","volume-title":"CHIC Deliverable D.5.2.3.5","author":"S. Bressan","year":"1994","unstructured":"S. Bressan, T. Le Provost, and M.G. Wallace. Towards the application of generalised propagation to database query processing. CHIC Deliverable D.5.2.3.5, ECRC, Arabellastr 17, Munich, Germany, 1994."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, D. Maier, Y. Sagiv, and J. Ullman. Magic sets and other strange ways to implement logic programs. In Proc. 5th ACM Symposium on Principles of Database Systems, 1986.","DOI":"10.1145\/6012.15399"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"F. Bancilhon and R. Ramakrishnan. An amateur's introduction to recursive query processing. In Proc. SIGMOD, 1986. invited paper.","DOI":"10.1145\/16894.16859"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"C. Beeri and R. Ramakrishnan. On the power of magic. In Proc. 6th PODS, 1987.","DOI":"10.1145\/28659.28689"},{"key":"9_CR8","volume-title":"Technical Report UNL-CSE-94-025","author":"S. Bressan","year":"1994","unstructured":"S. Bressan. Database query optimisation and evaluation as constraint satisfaction problem solving. In P. Revesz, D. Srivastava, P. Stuckey, and D. Sudarshan, editors, Proc. Post-ILPS Workshop on Constraints and Databases, Ithaca, NY., November 1994. Published as Technical Report UNL-CSE-94-025, Univ. of Nebraska."},{"key":"9_CR9","unstructured":"C. Beeri, R. Ramakrishnan, D. Srivastava, and S Sudarshan. Magic implementation of stratified logic programs. Technical Report, August 1990."},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"U. S. Chakravarthy, J. Grant, and J. Minker. Foundations of semantic query optimization for deductive databases. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 243\u2013273. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50011-7"},{"key":"9_CR11","unstructured":"Rina Dechter. Constraint networks. In Stuart C. Shapiro, editor, Encyclopedia of Artificial Intelligence, pages 276\u2013285. Wiley, 1992. Volume 1, second edition."},{"key":"9_CR12","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The Constraint Logic Programming Language CHIP. In Proceedings of the International Conference on Fifth Generation Computer Systems FGCS-88, pages 693\u2013702, Tokyo, Japan, December 1988."},{"key":"9_CR13","volume-title":"Technical report","author":"ECRC","year":"1993","unstructured":"ECRC. ECLiPSe knowledge base user manual. Technical report, ECRC, Arabellastr 17, 81925 Munich, 1993."},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1145\/321296.321300","volume":"12","author":"S.W. Golomb","year":"1965","unstructured":"S.W. Golomb and L.D. Baumert. Backtrack programming. Journal of the ACM, 12:516\u2013524, 1965.","journal-title":"Journal of the ACM"},{"key":"9_CR15","unstructured":"M. Hammer and S. Zdonik. Knowledge-based query processing. In Proc. 6th VLDB Conference, Montreal, 1980."},{"key":"9_CR16","unstructured":"ICL, Lloyd's Register, Imperial College, and UMIST. CHRONOS DTI\/EPSRC project no. 8028. UK government funded Scientific Research Project, 1994."},{"key":"9_CR17","unstructured":"ILOG. ILOG solver users manual. Technical report, ILOG, 1995."},{"key":"9_CR18","unstructured":"J.J. King. Quist: A system for semantic query optimisation in relational databases. In Proc. 7th VLDB Conference, 1981."},{"issue":"1","key":"9_CR19","first-page":"32","volume":"13","author":"V. Kumar","year":"1992","unstructured":"Vipin Kumar. Algorithms for constraint-satisfaction problems: A survey. A.I. Magazine, 13(1):32\u201344, Spring 1992.","journal-title":"A.I. Magazine"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in networks of relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"9_CR21","volume-title":"Technical Report ECRC\/ECLIPSE","author":"M. Meier","year":"1995","unstructured":"Meier M. and et. al. ECLiPSe 3.5. Technical Report ECRC\/ECLIPSE, ECRC, Arabellastr 17, 81725 Munich, 1995."},{"key":"9_CR22","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0004-3702(86)90083-4","volume":"28","author":"R. Mohr","year":"1986","unstructured":"R. Mohr and T.C. Henderson. Arc and path consistency revisited. Artificial Intelligence, 28:225\u2013233, 1986.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"9_CR23","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of constraints: fundamental properties and applications to picture processing. Information Science, 7(2):95\u2013132, 1974.","journal-title":"Information Science"},{"issue":"3","key":"9_CR24","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. Provost Le","year":"1993","unstructured":"T. Le Provost and M.G. Wallace. Generalised constraint propagation over, the CLP scheme. Journal of Logic Programming, 16(3):319\u2013360, July 1993.","journal-title":"Journal of Logic Programming"},{"key":"9_CR25","unstructured":"R. Ramakrishnan. Magic templates: A spellbinding approach to logic programs. In Proc. International Conference on Logic Programming, Seattle, Washington, 1988."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"J. Rohmer, R. Lescoeur, and J.-M. Kerisit. The alexander method: A technique for the processing of recursive axioms in deductive databases. New Generation Computing, 4(3), 1986.","DOI":"10.1007\/BF03037407"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"D. Sacca and C. Zaniolo. The generalised counting method for recursive logical queries. In Proc. 1st International Conference on Database Theory, 1986.","DOI":"10.1016\/0304-3975(86)90015-0"},{"key":"9_CR28","unstructured":"J. D. Ullman. Principles of Database Systems. Pitman, second edition, 1982."},{"key":"9_CR29","volume-title":"Logic Programming Series","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. Logic Programming Series. MIT Press, Cambridge, MA, 1989."},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"L. Vieille. Recursive query processing: The power of logic. Theoretical Computer Science, 69(1), December 1989.","DOI":"10.1016\/0304-3975(89)90088-1"},{"key":"9_CR31","unstructured":"M.G. Wallace, editor. Proc. Conf. on Practical Applications of Constraints Technology, Paris, 1995."},{"key":"9_CR32","unstructured":"D.H.D. Warren. Efficient processing of interactive relational database queries expressed in logic. In Proc. 7th VLDB, Cannes, 1981."},{"key":"9_CR33","volume-title":"CHIC Deliverable D.5.2.3.6","author":"M.G. Wallace","year":"1995","unstructured":"M.G. Wallace and T. Le Provost. Propia \u2014 final implementation. CHIC Deliverable D.5.2.3.6, ECRC, Arabellastr 17, Munich, Germany, 1995."},{"issue":"3","key":"9_CR34","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/320473.320479","volume":"1","author":"E. Wong","year":"1976","unstructured":"E. Wong and K. Youseffi. Decomposition \u2014 a strategy for query processing. ACM Transactions on Database Systems, 1(3):223\u2013241, 1976.","journal-title":"ACM Transactions on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Constraint Databases and Application"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60794-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:00Z","timestamp":1605646920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60794-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540607946","9783540494560"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-60794-3_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}