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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

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

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/vldb7588 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Windows: Click the letter of your CD drive
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD1 or /dvd

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

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)
[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
[D 80]: Randall Davis: Meta-Rules: Reasoning about Control. Artif. Intell. 15(3): 179-222(1980)
[G 81]: Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259
[H 85]: ...
[HA 86]: Makoto Haraguchi, Setsuo Arikawa: A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. LP 1986: 58-69
[I 81]: Tomasz Imielinski: On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318
[KY 82]: ...
[OT 84]: ...
[R 78]: Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177
[T 82]: ...
[SB 82]: Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. CADE 1982: 144-150
[YSI 86]: Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235
[Y 84]: Takashi Yokomori: A Note on the Set Abstraction in Logic Programming Language. FGCS 1984: 333-340
[Y 85]: Takashi Yokomori: A Logic Program Schema and Its Applications. IJCAI 1985: 723-725