Deductive Database System based on Unit Resolution.

@inproceedings{DBLP:conf/icde/YokotaSI86,
  author    = {Haruo Yokota and
               Sko Sakai and
               Hidenori Itoh},
  title     = {Deductive Database System based on Unit Resolution},
  booktitle = {Proceedings of the Second International Conference on Data Engineering,
               February 5-7, 1986, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1986},
  isbn      = {0-8186-0655-X},
  pages     = {228-235},
  ee        = {db/conf/icde/YokotaSI86.html},
  crossref  = {DBLP:conf/icde/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1986 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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/An2-6 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

[Aho and Ullman 79]

Alfred V. Aho, Jeffrey D. Ullman: The Universality of Data Retrieval Languages. POPL 1979: 110-120

[Chang and Lee 73]

...

[Chang 81]

Chin-Liang Chang: On Evaluation of Queries Containing Derived Relations in a Relational Data Base. Advances in Data Base Theory 1979: 235-260

[Chakravarthy et al. 82]

Upen S. Chakravarthy, Jack Minker, Duc Tran: Interfacing Predicate Logic Languages and Relational Databases. ICLP 1982: 91-98

[Gallaire 83]

...

[Gallaire et al. 84]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984)

[Henschen and Naqvi 84]

Lawrence J. Henschen, Shamim A. Naqvi: On compiling queries in recursive first-order databases. J. ACM 31(1): 47-85(1984)

[Kunifuji and Yokota 82]

...

[Loveland 78]

...

[Murakami et al. 83]

Kunio Murakami, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Haruo Yokota: A Relational Data Base Machine: First Step to Knowledge Base Machine. ISCA 1983: 423-425

[Naqvi and Henschen 83]

Shamim A. Naqvi, Lawrence J. Henschen: Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs. IJCAI 1983: 25-28

[Okuno 83]

...

[Reiter 78]

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

[Robinson 65]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965)

[Ullman 82]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6

[Ullman 85]

Jeffrey D. Ullman: Implementation of Logical Query Languages for Databases. ACM Trans. Database Syst. 10(3): 289-321(1985)

[Yokota et al. 84]

Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238