Logical Rewritings for Improving the Evaluation of Quantified Queries.
François Bry:
Logical Rewritings for Improving the Evaluation of Quantified Queries.
MFDBS 1989: 100-116@inproceedings{DBLP:conf/mfdbs/Bry89,
author = {Fran\c{c}ois Bry},
editor = {J{\'a}nos Demetrovics and
Bernhard Thalheim},
title = {Logical Rewritings for Improving the Evaluation of Quantified
Queries},
booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database
Systems, Visegr{\'a}d, Hungary, June 26-30, 1989},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {364},
year = {1989},
isbn = {3-540-51251-9},
pages = {100-116},
ee = {db/conf/mfdbs/Bry89.html},
crossref = {DBLP:conf/mfdbs/89},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [BDM 88]
- François Bry, Hendrik Decker, Rainer Manthey:
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
EDBT 1988: 488-505 BibTeX
- [BOC 86]
- Jorge B. Bocca:
On the Evaluation Strategy of EDUCE.
SIGMOD Conference 1986: 368-378 BibTeX
- [BOC 87]
- ...
- [BRY 89a]
- François Bry:
Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.
SIGMOD Conference 1989: 193-204 BibTeX
- [BRY 89b]
- François Bry:
Logic Programming as Constructivism: A Formalization and its Application to Databases.
PODS 1989: 34-50 BibTeX
- [CG 85]
- Stefano Ceri, Georg Gottlob:
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries.
IEEE Trans. Software Eng. 11(4): 324-345(1985) BibTeX
- [CHO 87]
- ...
- [COD 72]
- E. F. Codd:
Relational Completeness of Data Base Sublanguages.
In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972) BibTeX
- [DAY 83]
- Umeshwar Dayal:
Processing Queries with Quantifiers: A Horticultural Approach.
PODS 1983: 125-136 BibTeX
- [DAY 87]
- Umeshwar Dayal:
Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers.
VLDB 1987: 197-208 BibTeX
- [DEC 89]
- ...
- [DEM 82]
- Robert Demolombe:
Syntactical Characterization of a Subset of Domain-Independent Formulas.
J. ACM 39(1): 71-94(1992) BibTeX
- [DIP 69]
- Robert A. Di Paola:
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
J. ACM 16(2): 324-327(1969) BibTeX
- [FAG 80]
- Ronald Fagin:
Horn Clauses and Database Dependencies (Extended Abstract).
STOC 1980: 123-134 BibTeX
- [HUE 80]
- Gérard P. Huet:
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.
J. ACM 27(4): 797-821(1980) BibTeX
- [JS 82]
- Matthias Jarke, Joachim W. Schmidt:
Query Processing Strategies in the PASCAL/R Relational Database Management System.
SIGMOD Conference 1982: 256-264 BibTeX
- [KIN 81]
- ...
- [KOW 79]
- Robert A. Kowalski:
Algorithm = Logic + Control.
Commun. ACM 22(7): 424-436(1979) BibTeX
- [KUH 67]
- ...
- [LT 86]
- John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems II.
J. Log. Program. 3(1): 55-67(1986) BibTeX
- [MB 88]
- Rainer Manthey, François Bry:
SATCHMO: A Theorem Prover Implemented in Prolog.
CADE 1988: 415-434 BibTeX
- [MEN 79]
- ...
- [ND 83]
- ...
- [NIC 81]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982) BibTeX
- [PAL 72]
- ...
- [SCH 87]
- Peter H. Schmitt:
A Survey of Rewrite Systems.
CSL 1987: 235-262 BibTeX
- [TRO 77]
- ...
- [VGT 87]
- Allen Van Gelder, Rodney W. Topor:
Safety and Correct Translation of Relational Calculus Formulas.
PODS 1987: 313-327 BibTeX
- [VIE 86]
- Laurent Vieille:
Recursive Axioms in Deductive Databases: The Query/Subquery Approach.
Expert Database Conf. 1986: 253-267 BibTeX
- [VIE 88]
- Laurent Vieille:
From QSQ towards QoSaQ: Global Optimization of Recursive Queries.
Expert Database Conf. 1988: 743-778 BibTeX
Referenced by
- Jens Claußen, Alfons Kemper, Guido Moerkotte, Klaus Peithner:
Optimizing Queries with Universal Quantification in Object-Oriented and Object-Relational Databases.
VLDB 1997: 286-295
- Guido Moerkotte, Peter C. Lockemann:
Reactive Consistency Control In Deductive Databases.
ACM Trans. Database Syst. 16(4): 670-702(1991)
- Beat Wüthrich:
Semantic Improvement of Deductive Databases.
MFDBS 1991: 216-229
- François Bry:
Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited.
SIGMOD Conference 1989: 193-204
- François Bry:
Logic Programming as Constructivism: A Formalization and its Application to Databases.
PODS 1989: 34-50
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:29:37 2009