Implementing Logic Programs as a Database System.
Michael Kifer, Eliezer L. Lozinskii:
Implementing Logic Programs as a Database System.
ICDE 1987: 375-385@inproceedings{DBLP:conf/icde/KiferL87,
author = {Michael Kifer and
Eliezer L. Lozinskii},
title = {Implementing Logic Programs as a Database System},
booktitle = {Proceedings of the Third International Conference on Data Engineering,
February 3-5, 1987, Los Angeles, California, USA},
publisher = {IEEE Computer Society},
year = {1987},
isbn = {0-8186-0762-9},
pages = {375-385},
ee = {db/conf/icde/KiferL87.html},
crossref = {DBLP:conf/icde/87},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1987 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 Third International Conference on Data Engineering, February 3-5, 1987, Los Angeles, California, USA.
IEEE Computer Society 1987, ISBN 0-8186-0762-9
Contents BibTeX
References
- [1]
- Alfred V. Aho, Jeffrey D. Ullman:
The Universality of Data Retrieval Languages.
POPL 1979: 110-120 BibTeX
- [2]
- François Bancilhon, Raghu Ramakrishnan:
An Amateur's Introduction to Recursive Query Processing Strategies.
SIGMOD Conference 1986: 16-52 BibTeX
- [3]
- François Bancilhon, David Maier, Yehoshua Sagiv, Jeffrey D. Ullman:
Magic Sets and Other Strange Ways to Implement Logic Programs.
PODS 1986: 1-15 BibTeX
- [4]
- ...
- [5]
- ...
- [6]
- Chin-Liang Chang:
On Evaluation of Queries Containing Derived Relations in a Relational Data Base.
Advances in Data Base Theory 1979: 235-260 BibTeX
- [7]
- ...
- [8]
- Rakesh Agrawal, Premkumar T. Devanbu:
Moving Selections into Linear Least Fixpoint Queries.
ICDE 1988: 452-461 BibTeX
- [9]
- Lawrence J. Henschen, Shamim A. Naqvi:
On compiling queries in recursive first-order databases.
J. ACM 31(1): 47-85(1984) BibTeX
- [10]
- Laxmikant V. Kalé, David Scott Warren:
A Class of Architectures for a Prolog Machine.
ICLP 1984: 171-182 BibTeX
- [11]
- ...
- [12]
- ...
- [13]
- ...
- [14]
- ...
- [15]
- Michael Kifer, Eliezer L. Lozinskii:
Filtering Data Flow in Deductive Databases.
ICDT 1986: 186-202 BibTeX
- [16]
- ...
- [17]
- ...
- [18]
- ...
- [19]
- John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems.
J. Log. Program. 2(2): 93-109(1985) BibTeX
- [20]
- John W. Lloyd, Rodney W. Topor:
A Basis for Deductive Database Systems II.
J. Log. Program. 3(1): 55-67(1986) BibTeX
- [21]
- Eliezer L. Lozinskii:
Evaluating Queries in Deductive Databases by Generating.
IJCAI 1985: 173-177 BibTeX
- [22]
- Eliezer L. Lozinskii:
A Remark on Distributed Termination.
ICDCS 1985: 416-419 BibTeX
- [23]
- Eliezer L. Lozinskii:
A Problem-Oriented Inferential Database System.
ACM Trans. Database Syst. 11(3): 323-356(1986) BibTeX
- [24]
- David Maier:
The Theory of Relational Databases.
Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
- [25]
- ...
- [26]
- Jack Minker, Jean-Marie Nicolas:
On recursive axioms in deductive databases.
Inf. Syst. 8(1): 1-13(1983) BibTeX
- [27]
- Robert C. Moore:
The Role of Logic in Knowledge Representation and Commonsense Reasoning.
AAAI 1982: 428-433 BibTeX
- [28]
- ...
- [29]
- ...
- [30]
- Raymond Reiter:
Towards a Logical Reconstruction of Relational Database Theory.
On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX
- [31]
- J. Rohmer, R. Lescoeur, Jean-Marc Kerisit:
The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases.
New Generation Comput. 4(3): 273-285(1986) BibTeX
- [32]
- Daniel J. Rosenkrantz, Harry B. Hunt III:
Processing Conjunctive Predicates and Queries.
VLDB 1980: 64-72 BibTeX
- [33]
- ...
- [34]
- Domenico Saccà, Carlo Zaniolo:
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.
ICLP 1987: 104-135 BibTeX
- [35]
- Edward Sciore, David Scott Warren:
Towards an Integrated Database-Prolog System.
Expert Database Workshop 1984: 293-305 BibTeX
- [36]
- ...
- [37]
- Jeffrey D. Ullman:
Principles of Database Systems, 2nd Edition.
Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX
- [38]
- Jeffrey D. Ullman:
Implementation of Logical Query Languages for Databases.
ACM Trans. Database Syst. 10(3): 289-321(1985) BibTeX
- [39]
- Maarten H. van Emden, Robert A. Kowalski:
The Semantics of Predicate Logic as a Programming Language.
J. ACM 23(4): 733-742(1976) BibTeX
- [40]
- ...
- [41]
- David H. D. Warren:
Efficient Processing of Interactive Relational Data Base Queries expressed in Logic.
VLDB 1981: 272-281 BibTeX
- [42]
- 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
- [43]
- Carlo Zaniolo:
The Representation and Deductive Retrieval of Complex Objects.
VLDB 1985: 458-469 BibTeX
Referenced by
- Michael Kifer, Raghu Ramakrishnan, Abraham Silberschatz:
An Axiomatic Approach to Deciding Query Safety in Deductive Databases.
PODS 1988: 52-60
- Georges Gardarin:
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs.
VLDB 1987: 21-30
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:35 2009