ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

ACM SIGMOD Anthology

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

  1. 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
  2. Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991)
  3. Beat Wüthrich: Semantic Improvement of Deductive Databases. MFDBS 1991: 216-229
  4. François Bry: Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. SIGMOD Conference 1989: 193-204
  5. 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