ACM SIGMOD Anthology VLDB dblp.uni-trier.de

On Analogical Query Processing in Logic Database.

Takashi Yokomori: On Analogical Query Processing in Logic Database. VLDB 1986: 376-383
@inproceedings{DBLP:conf/vldb/Yokomori86,
  author    = {Takashi Yokomori},
  editor    = {Wesley W. Chu and
               Georges Gardarin and
               Setsuo Ohsuga and
               Yahiko Kambayashi},
  title     = {On Analogical Query Processing in Logic Database},
  booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
               August 25-28, 1986, Kyoto, Japan, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-18-4},
  pages     = {376-383},
  ee        = {db/conf/vldb/Yokomori86.html},
  crossref  = {DBLP:conf/vldb/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper discusses a problem of query processing in logic databases and proposes a method for optimizing queries which is based on the idea of analogical query processing. First, we introduce the notion of a higher-order relation which leads to a kind of design principle for constructing spatially efficient logic databases. Then, by making use of the notion of a higher-order relation, a method is presented in which a query given in a Horn logic formula is transformed into a string called primitive expression over the alphabet comprising primitive constructs of an internal representation language. A primitive expression of a query represents the essential meaning of the query and is used to detect analogy between queries. By using the analogical property between the transformed queries, a method for optimizing queries is demonstrated in three ways of query processing.

Copyright © 1986 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Wesley W. Chu, Georges Gardarin, Setsuo Ohsuga, Yahiko Kambayashi (Eds.): VLDB'86 Twelfth International Conference on Very Large Data Bases, August 25-28, 1986, Kyoto, Japan, Proceedings. Morgan Kaufmann 1986, ISBN 0-934613-18-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[BW 81]
Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. Artif. Intell. 16(2): 189-212(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[C 81]
Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[D 80]
Randall Davis: Meta-Rules: Reasoning about Control. Artif. Intell. 15(3): 179-222(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[G 81]
Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[H 85]
...
[HA 86]
Makoto Haraguchi, Setsuo Arikawa: A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. LP 1986: 58-69 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[I 81]
Tomasz Imielinski: On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KY 82]
...
[OT 84]
...
[R 78]
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[T 82]
...
[SB 82]
Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. CADE 1982: 144-150 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[YSI 86]
Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Y 84]
Takashi Yokomori: A Note on the Set Abstraction in Logic Programming Language. FGCS 1984: 333-340 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Y 85]
Takashi Yokomori: A Logic Program Schema and Its Applications. IJCAI 1985: 723-725 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:59 2010 by Michael Ley (ley@uni-trier.de)