An Enhanced Inference Mechanism for Generating Relational Algebra Queries.
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@inproceedings{DBLP:conf/pods/YokotaKKMSM84,
author = {Haruo Yokota and
Susumu Kunifuji and
Takeo Kakuta and
Nobuyoshi Miyazaki and
Shigeki Shibayama and
Kunio Murakami},
editor = {Daniel J. Rosenkrantz and
Ronald Fagin},
title = {An Enhanced Inference Mechanism for Generating Relational Algebra
Queries},
booktitle = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles
of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
publisher = {ACM},
year = {1984},
isbn = {0-89791-128-8},
pages = {229-238},
ee = {http://doi.acm.org/10.1145/588011.588045, db/conf/pods/YokotaKKMSM84.html},
crossref = {DBLP:conf/pods/84},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Abstract
A system for interfacing Prolog programs with relational algebra is presented. The system produces relational algebra queries using a deferred evaluation approach. Least fixed point (LFP) queries are automatically managed. An optimization method for removing redundant relations is also presented.
Copyright © 1984 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
Printed Edition
Daniel J. Rosenkrantz, Ronald Fagin (Eds.):
Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada.
ACM 1984, ISBN 0-89791-128-8
Contents 
References
- [1]
- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
POPL 1979: 110-120
- [2]
- ...
- [3]
- Upen S. Chakravarthy, Jack Minker, Duc Tran:
Interfacing Predicate Logic Languages and Relational Databases.
ICLP 1982: 91-98
- [4]
- ...
- [5]
- ...
- [6]
- ...
- [7]
- ...
- [8]
- ...
- [9]
- ...
- [10]
- Shamim A. Naqvi, Lawrence J. Henschen:
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs.
IJCAI 1983: 25-28
- [11]
- ...
- [12]
- Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami:
A Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor.
New Generation Comput. 2(2): 131-155(1984)
- [13]
- ...
Referenced by
- Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki:
Knowledge Base System in a Logic Programming Paradigm.
DASFAA 1989: 109-116
- Michael Kifer, Eliezer L. Lozinskii:
Implementing Logic Programs as a Database System.
ICDE 1987: 375-385
- G. Barbara Demo:
Recursive Versus Iterative Schemes for Least Fix Point Computation in Logic Databases.
ICDE 1987: 130-137
- Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola:
Traversal Recursion: A Practical Approach to Supporting Recursive Applications.
SIGMOD Conference 1986: 166-176
- Haruo Yokota, Sko Sakai, Hidenori Itoh:
Deductive Database System based on Unit Resolution.
ICDE 1986: 228-235
- Naftaly H. Minsky, David Rozenshtein, Jan Chomicki:
A Controllable Prolog Database System.
ICDE 1986: 618-628
- Tim Sheard, David W. Stemple:
Coping with Complexity in Automated Reasoning about Database Systems.
VLDB 1985: 426-435
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984)
Last update Fri May 25 08:32:39 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
