An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases.

@article{DBLP:journals/tkde/KuKH94,
  author    = {Cyril S. Ku and
               Heung D. Kim and
               Lawrence J. Henschen},
  title     = {An Efficient Indefiniteness Inference Scheme in Indefinite Deductive
               Databases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {5},
  year      = {1994},
  pages     = {713-722},
  ee        = {db/journals/tkde/KuKH94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

Genevieve Bossu, Pierre Siegel: Saturation, Nonmonotonic Reasoning and the Closed-World Assumption. Artif. Intell. 25(1): 13-63(1985) BibTeX

[2]

...

[3]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[4]

Hervé Gallaire, Jack Minker (Eds.): Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, 1977. Advances in Data Base Theory Plemum Press 1978, ISBN 0-306-40060-X
Contents BibTeX

[5]

Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) BibTeX

[6]

...

[7]

...

[8]

Lawrence J. Henschen, Hyung-Sik Park: Compiling the GCWA in Indefinite Deductive Databases. Foundations of Deductive Databases and Logic Programming. 1988: 395-438 BibTeX

[9]

...

[10]

...

[11]

...

[12]

Jack Minker: On Indefinite Databases and the Closed World Assumption. CADE 1982: 292-308 BibTeX

[13]

Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 BibTeX

[14]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[15]

Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 BibTeX

[16]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[17]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[18]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[19]

...

[20]

Adnan H. Yahya, Lawrence J. Henschen: Deduction in Non-Horn Databases. J. Autom. Reasoning 1(2): 141-160(1985) BibTeX

[21]

...

Referenced by

1. Vangalur S. Alagar, Fereidoon Sadri, Joseph N. Said: Semantics of an Extended Relational Model for Managing Uncertain Information. CIKM 1995: 234-240