What Should A Database Know?

@inproceedings{DBLP:conf/pods/Reiter88,
  author    = {Raymond Reiter},
  title     = {What Should A Database Know?},
  booktitle = {Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, March 21-23, 1988, Austin,
               Texas},
  publisher = {ACM},
  year      = {1988},
  isbn      = {0-89791-263-2},
  pages     = {302-304},
  ee        = {http://doi.acm.org/10.1145/308386.308462, db/conf/pods/Reiter88.html},
  crossref  = {DBLP:conf/pods/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• 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
• UNIX/LINUX/Mac: use mount point /pods8298/... 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
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[Kowalski 1978]

...

[Levesque 1981]

...

[Levesque 1984]

Hector J. Levesque: Foundations of a Functional Approach to Knowledge Representation. Artif. Intell. 23(2): 155-212(1984) BibTeX

[Lloyd and Topor 1985]

John W. Lloyd, Rodney W. Topor: A Basis for Deductive Database Systems. J. Log. Program. 2(2): 93-109(1985) BibTeX

[Nicolas and Yazdanian 1978]

...

[Reiter 1984]

...

[Reiter 1988]

...

[Sadri and Kowalski 1987]

...

Referenced by

1. Erik Lambrichts, Peter Nees, Jan Paredaens, Peter Peelman, Letizia Tanca: Integration of Functions in the Fixpoint Semantics of Rule-Based Systems. MFDBS 1989: 301-316