On Analogical Query Processing in Logic Database.

@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

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

• 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

• 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

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) BibTeX

[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 BibTeX

[D 80]

Randall Davis: Meta-Rules: Reasoning about Control. Artif. Intell. 15(3): 179-222(1980) BibTeX

[G 81]

Hervé Gallaire: Impacts of Logic and Databases (Invited Paper). VLDB 1981: 248-259 BibTeX

[H 85]

...

[HA 86]

Makoto Haraguchi, Setsuo Arikawa: A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. LP 1986: 58-69 BibTeX

[I 81]

Tomasz Imielinski: On Algebraic Query Processing in Logical Databases. Advances in Data Base Theory 1982: 285-318 BibTeX

[KY 82]

...

[OT 84]

...

[R 78]

Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 BibTeX

[T 82]

...

[SB 82]

Leon Sterling, Alan Bundy: Meta-Level Inference and Program Verification. CADE 1982: 144-150 BibTeX

[YSI 86]

Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235 BibTeX

[Y 84]

Takashi Yokomori: A Note on the Set Abstraction in Logic Programming Language. FGCS 1984: 333-340 BibTeX

[Y 85]

Takashi Yokomori: A Logic Program Schema and Its Applications. IJCAI 1985: 723-725 BibTeX