ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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.


ACM SIGMOD Anthology

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