Constraint-Based Reasoning in Deductive Databases.
Jiawei Han:
Constraint-Based Reasoning in Deductive Databases.
ICDE 1991: 257-265@inproceedings{DBLP:conf/icde/Han91,
author = {Jiawei Han},
title = {Constraint-Based Reasoning in Deductive Databases},
booktitle = {Proceedings of the Seventh International Conference on Data Engineering,
April 8-12, 1991, Kobe, Japan},
publisher = {IEEE Computer Society},
year = {1991},
isbn = {0-8186-2138-9},
pages = {257-265},
ee = {db/conf/icde/Han91.html},
crossref = {DBLP:conf/icde/91},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1991 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 Seventh International Conference on Data Engineering, April 8-12, 1991, Kobe, Japan.
IEEE Computer Society 1991, ISBN 0-8186-2138-9
Contents BibTeX
References
- [1]
- François Bancilhon, Raghu Ramakrishnan:
An Amateur's Introduction to Recursive Query Processing Strategies.
SIGMOD Conference 1986: 16-52 BibTeX
- [2]
- Catriel Beeri, Paris C. Kanellakis, François Bancilhon, Raghu Ramakrishnan:
Bounds on the Propagation of Selection into Logic Programs.
PODS 1987: 214-226 BibTeX
- [3]
- Marco Bellia, Giorgio Levi:
The Relation between Logic and Functional Languages: A Survey.
J. Log. Program. 3(3): 217-236(1986) BibTeX
- [4]
- ...
- [5]
- ...
- [6]
- ...
- [7]
- ...
- [8]
- Tomasz Imielinski:
Intelligent Query Answering in Rule Based Systems.
J. Log. Program. 4(3): 229-257(1987) BibTeX
- [9]
- Joxan Jaffar, Jean-Louis Lassez:
Constraint Logic Programming.
POPL 1987: 111-119 BibTeX
- [10]
- Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Revesz:
Constraint Query Languages.
PODS 1990: 299-313 BibTeX
- [11]
- David B. Kemp, Kotagiri Ramamohanarao, Isaac Balbin, Krishnamurthy Meenakshi:
Propagating Constraints in Recusive Deduction Databases.
NACLP 1989: 981-998 BibTeX
- [12]
- Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli:
A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract).
SIGMOD Conference 1988: 154-163 BibTeX
- [13]
- Michael J. Maher, Peter J. Stuckey:
Expanding Query Power in Constraint Logic Programming Languages.
NACLP 1989: 20-36 BibTeX
- [14]
- Raghu Ramakrishnan, François Bancilhon, Abraham Silberschatz:
Safety of Recursive Horn Clauses With Infinite Relations.
PODS 1987: 328-339 BibTeX
- [15]
- Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola:
Traversal Recursion: A Practical Approach to Supporting Recursive Applications.
SIGMOD Conference 1986: 166-176 BibTeX
- [16]
- Yehoshua Sagiv, Moshe Y. Vardi:
Safety of Datalog Queries over Infinite Databases.
PODS 1989: 160-171 BibTeX
- [17]
- Leon Sterling, Ehud Y. Shapiro:
The Art of Prolog - Advanced Programming Techniques.
MIT Press 1986, ISBN 0-262-19250-0
BibTeX
- [18-1]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
- [18-2]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume II.
Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX
Referenced by
- Xubo Zhang, Z. Meral Özsoyoglu:
Implication and Referential Constraints: A New Formal Reasoning.
IEEE Trans. Knowl. Data Eng. 9(6): 894-910(1997)
- Suk-Chung Yoon, Il-Yeol Song, E. K. Park:
Semantic Query Processing in Object-Oriented Databases Using Deductive Approach.
CIKM 1995: 150-157
- Jiawei Han:
Chain-Split Evaluation in Deductive Databases.
ICDE 1992: 376-384
- Jiawei Han:
Compilation-Based List Processing in Deductive Databases.
EDBT 1992: 104-119
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:56 2009