A New Recursive Subclass of Domain Independent Formulas Based on Subimplication.
Joonyeoub Sung, Lawrence J. Henschen:
A New Recursive Subclass of Domain Independent Formulas Based on Subimplication.
ICDE 1995: 475-484@inproceedings{DBLP:conf/icde/SungH95,
author = {Joonyeoub Sung and
Lawrence J. Henschen},
editor = {Philip S. Yu and
Arbee L. P. Chen},
title = {A New Recursive Subclass of Domain Independent Formulas Based
on Subimplication},
booktitle = {Proceedings of the Eleventh International Conference on Data
Engineering, March 6-10, 1995, Taipei, Taiwan},
publisher = {IEEE Computer Society},
year = {1995},
isbn = {0-8186-6910-1},
pages = {475-484},
ee = {db/conf/icde/SungH95.html},
crossref = {DBLP:conf/icde/95},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1995 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
Philip S. Yu, Arbee L. P. Chen (Eds.):
Proceedings of the Eleventh International Conference on Data Engineering, March 6-10, 1995, Taipei, Taiwan.
IEEE Computer Society 1995, ISBN 0-8186-6910-1
Contents BibTeX
References
- [1]
- Krzysztof R. Apt, Howard A. Blair, Adrian Walker:
Towards a Theory of Declarative Knowledge.
Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX
- [2]
- Keith L. Clark:
Negation as Failure.
Logic and Data Bases 1977: 293-322 BibTeX
- [3]
- Hendrik Decker:
Integrity Enforcement on Deductive Databases.
Expert Database Conf. 1986: 381-395 BibTeX
- [4]
- Nachum Dershowitz, Zohar Manna:
Proving Termination with Multiset Orderings.
Commun. ACM 22(8): 465-476(1979) BibTeX
- [5]
- Robert A. Di Paola:
The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas.
J. ACM 16(2): 324-327(1969) BibTeX
- [6]
- Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
Logic and Databases: A Deductive Approach.
ACM Comput. Surv. 16(2): 153-185(1984) BibTeX
- [7]
- Michael Kifer:
On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report).
JCDKB 1988: 405-415 BibTeX
- [8]
- ...
- [9]
- John W. Lloyd:
Foundations of Logic Programming, 2nd Edition.
Springer 1987, ISBN 3-540-18199-7
BibTeX
- [10]
- Jean-Marie Nicolas:
Logic for Improving Integrity Checking in Relational Data Bases.
Acta Inf. 18: 227-253(1982) BibTeX
- [11]
- Raymond Reiter:
On Closed World Data Bases.
Logic and Data Bases 1977: 55-76 BibTeX
- [12]
- ...
- [13]
- Rodney W. Topor:
Domain-Independent Formulas and Databases.
Theor. Comput. Sci. 52: 281-306(1987) BibTeX
- [14]
- Rodney W. Topor, Liz Sonenberg:
On Domain Independent Databases.
Foundations of Deductive Databases and Logic Programming. 1988: 217-240 BibTeX
- [15]
- Jeffrey D. Ullman:
Principles of Database and Knowledge-Base Systems, Volume I.
Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX
- [16]
- Allen Van Gelder, Rodney W. Topor:
Safety and Translation of Relational Calculus Queries.
ACM Trans. Database Syst. 16(2): 235-278(1991) BibTeX
- [17]
- ...
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:18:20 2009