Deductive Database System based on Unit Resolution.
Haruo Yokota, Sko Sakai, Hidenori Itoh:
Deductive Database System based on Unit Resolution.
ICDE 1986: 228-235@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}
}
BibTeX
Abstract
Copyright © 1986 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
Printed Edition
Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA.
IEEE Computer Society 1986, ISBN 0-8186-0655-X
Contents BibTeX
References
- [Aho and Ullman 79]
- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
POPL 1979: 110-120 BibTeX
- [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 BibTeX
- [Chakravarthy et al. 82]
- Upen S. Chakravarthy, Jack Minker, Duc Tran:
Interfacing Predicate Logic Languages and Relational Databases.
ICLP 1982: 91-98 BibTeX
- [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) BibTeX
- [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) BibTeX
- [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 BibTeX
- [Naqvi and Henschen 83]
- Shamim A. Naqvi, Lawrence J. Henschen:
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
IJCAI 1983: 25-28 BibTeX
- [Okuno 83]
- ...
- [Reiter 78]
- Raymond Reiter:
Deductive Question-Answering on Relational Data Bases.
Logic and Data Bases 1977: 149-177 BibTeX
- [Robinson 65]
- John Alan Robinson:
A Machine-Oriented Logic Based on the Resolution Principle.
J. ACM 12(1): 23-41(1965) BibTeX
- [Ullman 82]
- Jeffrey D. Ullman:
Principles of Database Systems, 2nd Edition.
Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
- [Ullman 85]
- Jeffrey D. Ullman:
Implementation of Logical Query Languages for Databases.
ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
- [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 BibTeX
Referenced by
- Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki:
Knowledge Base System in a Logic Programming Paradigm.
DASFAA 1989: 109-116
- G. Barbara Demo:
Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases.
ICDE 1987: 130-137
- Takashi Yokomori:
On Analogical Query Processing in Logic Database.
VLDB 1986: 376-383
- Hidenori Itoh:
Research and Development on Knowledge Bases Systems at ICOT.
VLDB 1986: 437-445
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:17:27 2009