{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:56:48Z","timestamp":1742399808444},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512516"},{"type":"electronic","value":"9783540461821"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51251-9_8","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:50:07Z","timestamp":1330185007000},"page":"100-116","source":"Crossref","is-referenced-by-count":4,"title":["Logical rewritings for improving the evaluation of quantified queries"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Bry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Bry, F., Decker, H. and Manthey, R. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Proc. EDBT '88. March, 1988.","DOI":"10.1007\/3-540-19074-0_69"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bocca, J. On the Evaluation Strategy of EDUCE. In Proc. ACM Int. Conf. on the Management of Data (SIGMOD '86). Washington, D.C., May, 1986.","DOI":"10.1145\/16894.16890"},{"key":"8_CR3","unstructured":"Bocca, J. and Bailey, P. On Prolog-DBMS connections: A Step forward from EDUCE. In Proc. Alvey Symp. on PROLOG and Databases. Coventry, UK, 1987."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Bry, F. Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisisited. In Proc. ACM Int. Conf. on Management of Data (SIGMOD '89). Portland, Oregon, May 31-June 2, 1989. ECRC Report TR-KB-27, Apr. 1988.","DOI":"10.1145\/67544.66944"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bry, F. Logic Programming as Constructivism: A Formalization and its Application to Databases. In Proc. 8th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Databases Systems (PODS '89). Philadelphia, Pennsylvania, March 29\u201331, 1989. ECRC Report IR-KB-54, Sept. 1988.","DOI":"10.1145\/73721.73725"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Ceri, S. and Gottlob, G. Translating SQL in Relational Algebra: Optimization, Semantics and Equivalence of SQL Queries. IEEE Trans. SE-11(4), April, 1985.","DOI":"10.1109\/TSE.1985.232223"},{"key":"8_CR7","series-title":"Technical Report","volume-title":"Interrogation d'une Base de R\u00e8gle","author":"L. Cholvy","year":"1987","unstructured":"Cholvy, L. Interrogation d'une Base de R\u00e8gle. Technical Report 2\/3274\/DERI, ONERACERT, Toulouse, France, Feb., 1987. in French."},{"key":"8_CR8","volume-title":"Database Systems \u2014 Courant Computer Science Symp","author":"E. Codd","year":"1972","unstructured":"Codd, E. Database Systems \u2014 Courant Computer Science Symp. Prentice Hall, Englewood Cliffs, New Jersey, 1972, Chapter Relational Completeness of Database Sublanguages."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Dayal, U. Processing Queries with Quantifiers: A Horticultural Approach. In Proc. ACM SIGMOD-SIGMACT Symp. Principles of Database SYstems (PODS '83), pages 125\u2013136. Atlanta, March, 1983.","DOI":"10.1145\/588058.588075"},{"key":"8_CR10","unstructured":"Dayal, U. Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers. In Proc. VLDB '87, pages 197\u2013208. August, 1987."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Decker, H. The Range Form of Database Queries, or: How to Avoid Floundering. In Proc. \u00d6sterreichische Artificial Intelligence Tagung. Igls bei Innbruck, March 28\u201329, 1989.","DOI":"10.1007\/978-3-642-74688-8_13"},{"key":"8_CR12","series-title":"Technical Report","volume-title":"Syntactical Characterization of a Subset of Domain Independent Formulas","author":"R. Demolombe","year":"1982","unstructured":"Demolombe, R. Syntactical Characterization of a Subset of Domain Independent Formulas. Technical Report, ONERA-CERT, Toulouse, France, 1982."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Di Paola, R.A. The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas. Jour. of the ACM 16(2), 1969.","DOI":"10.1145\/321510.321524"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Fagin, R. Horn Clauses and Database Dependencies. In 12th Ann. ACM Symp. on Theory of Computing, pages 123\u2013134. 1980.","DOI":"10.1145\/800141.804660"},{"issue":"4","key":"8_CR15","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"Huet, G. Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems. Jour. of the ACM 27(4):797\u2013821, October, 1980.","journal-title":"Jour. of the ACM"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Jarke, M. and Schmidt, J. Query Processing Strategies in the PASCAL\/R Relational Database Management System. In Proc. ACM Int. Conf. on Management of Data (SIGMOD '82). June, 1982.","DOI":"10.1145\/582353.582402"},{"key":"8_CR17","unstructured":"King, J.J. Query Optimization by Semantic Reasoning. Technical Report STAN-CS-81-857, Stanford Univ., Dpt. of Computer Sc., May, 1981."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Kowalski, R.A. Algorithm = Logic + Control. Commun. ACM, Aug., 1979.","DOI":"10.1145\/359131.359136"},{"key":"8_CR19","unstructured":"Kuhns, J.L. Answering Question by Computer: A Logical Study. Technical Report RM-5428-PR, Rand Corp., 1967."},{"issue":"1","key":"8_CR20","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J.W. Lloyd","year":"1986","unstructured":"Lloyd, J.W. and Topor, R.W. A Basis for Deductive Database Systems II. Jour. of Logic Programming 3(1):55\u201367, 1986.","journal-title":"Jour. of Logic Programming"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Manthey, R. and Bry, F. SATCHMO: A Theorem Prover Implemented in Prolog. In Proc. Conf. on Automated Deduction (CADE '88). May, 1988.","DOI":"10.1007\/BFb0012847"},{"key":"8_CR22","volume-title":"Introduction to Mathematical Logic","author":"E. Mendelson","year":"1979","unstructured":"Mendelson, E. Introduction to Mathematical Logic. Van Nostrand, New York, 1979."},{"key":"8_CR23","unstructured":"Nicolas, J.-M. and Demolombe, R. On the Stability of Relational Queries. Technical Report, ONERA-CERT, Jan., 1983."},{"issue":"3","key":"8_CR24","first-page":"227","volume":"18","author":"J.-M. Nicolas","year":"1981","unstructured":"Nicolas, J.-M. Logic for Improving Integrity Checking in Relational Databases. Acta Informatica 18(3):227\u2013253, Dec., 1981.","journal-title":"Acta Informatica"},{"key":"8_CR25","unstructured":"Palermo, F. A Data Base Search Problem. In Proc. 4th Symp. on Computer and Information Sc.. 1972."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Schmitt, P. H. A Survey of Rewrite Systems. In Proc. Workshop on Computer Science Logic (CSL '87), pages 235\u2013262. Springer-Verlag (LNCS 329), Oct., 1987.","DOI":"10.1007\/3-540-50241-6_41"},{"key":"8_CR27","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1016\/S0049-237X(08)71127-3","volume-title":"Handbook of Mathematical Logic","author":"A.S. Troelstra","year":"1977","unstructured":"Troelstra, A.S. Handbook of Mathematical Logic. North-Holland, Amsterdam and New York, 1977, pages 973\u20131052, Chapter Aspects of Constructive Mathematics."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Van Gelder, A. and Topor, R.W. Safety and Correct Translation of Relational Calculus Formulas. In Proc. 6th ACM SIGACT-SIGMOD-SIGART Symp. on Principles of Database Systems (PODS '87), pages 313\u2013327. 1987.","DOI":"10.1145\/28659.28693"},{"key":"8_CR29","volume-title":"Proc. 1st Int. Conf. on Expert Database Systems","author":"L. Vieille","year":"1986","unstructured":"Vieille, L. Recursive Axioms in Deductive Databases: The Query-Subquery Approach. In Proc. 1st Int. Conf. on Expert Database Systems. Charleston, South Carolina, 1986."},{"key":"8_CR30","volume-title":"Proc. 2nd Int. Conf. on Expert Database Systems","author":"L. Vieille","year":"1988","unstructured":"Vieille, L. From QSQ towards QoSaQ: Global optimization in Recursive Queries. In Proc. 2nd Int. Conf. on Expert Database Systems. Tyson Corner, Virginia, 1988."}],"container-title":["Lecture Notes in Computer Science","MFDBS 89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51251-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:20:29Z","timestamp":1605630029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51251-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512516","9783540461821"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-51251-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}