dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Semantic Improvement of Deductive Databases.

Beat Wüthrich: Semantic Improvement of Deductive Databases. MFDBS 1991: 216-229
@inproceedings{DBLP:conf/mfdbs/Wuthrich91,
  author    = {Beat W{\"u}thrich},
  editor    = {Bernhard Thalheim and
               J{\'a}nos Demetrovics and
               Hans-Detlef Gerhardt},
  title     = {Semantic Improvement of Deductive Databases},
  booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
               and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  year      = {1991},
  isbn      = {3-540-54009-1},
  pages     = {216-229},
  ee        = {db/conf/mfdbs/Wuthrich91.html},
  crossref  = {DBLP:conf/mfdbs/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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 ...

References

[1]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman: Magic Sets and Other Strange Ways to Implement Logic Programs. PODS 1986: 1-15 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
...
[4]
Joachim Biskup, Bernhard Convent: Towards a Schema Design Methodology for Deductive Databases. MFDBS 1989: 37-52 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
François Bry: Logical Rewritings for Improving the Evaluation of Quantified Queries. MFDBS 1989: 100-116 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Upen S. Chakravarthy, John Grant, Jack Minker: Foundations of Semantic Query Optimization for Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 243-273 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Bernhard Convent: Detecting Redundant Clauses or Premises within Logic-Oriented Database Schemas. FMLDO 1989: 135-155 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Martin Davis, Hilary Putnam: A Computing Procedure for Quantification Theory. J. ACM 7(3): 201-215(1960) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Laura M. Haas, Johann Christoph Freytag, Guy M. Lohman, Hamid Pirahesh: Extensible Query Processing in Starburst. SIGMOD Conference 1989: 377-388 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
A. Richard Helm: Detecting and Eliminating Redundant derivations in Logic Knowledge Bases. DOOD 1989: 145-161 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Matthias Jarke, James Clifford, Yannis Vassiliou: An Optimizing Prolog Front-End to a Relational Query System. SIGMOD Conference 1984: 296-306 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Jorge Lobo, Jack Minker: A Metaprogramming Approach to Semantically Optimize Queries in Deduktive Databases. Expert Database Conf. 1988: 699-741 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Michael J. Maher: Eqivalences of Logic Programs. ICLP 1986: 410-424 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Rainer Manthey: Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. FMLDO 1990: 169-179 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
Alain Pirotte, Dominique Roelants: Constraints for Improving the Generation of Intensional Answers in a Deductive Database. ICDE 1989: 652-659 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Yehoshua Sagiv: Optimizing Datalog Programs. Foundations of Deductive Databases and Logic Programming. 1988: 659-698 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Sreekumar T. Shenoy, Z. Meral Özsoyoglu: A System for Semantic Query Optimization. SIGMOD Conference 1987: 181-195 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Michael Siegel: Automatic Rule Derivation For Semantic Query Optimization. Expert Database Conf. 1988: 669-698 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
Rodney W. Topor, Liz Sonenberg: On Domain Independent Databases. Foundations of Deductive Databases and Logic Programming. 1988: 217-240 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[23]
...
[24]
...

Last update Thu Sep 13 06:41:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page