Evolution of Knowledge Bases.

@inproceedings{DBLP:conf/edbt/SaccaVV92,
  author    = {Domenico Sacc{\`a} and
               Brigitte Verdonk and
               Dirk Vermeir},
  editor    = {Alain Pirotte and
               Claude Delobel and
               Georg Gottlob},
  title     = {Evolution of Knowledge Bases},
  booktitle = {Advances in Database Technology - EDBT'92, 3rd International
               Conference on Extending Database Technology, Vienna, Austria,
               March 23-27, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {580},
  year      = {1992},
  isbn      = {3-540-55270-7},
  pages     = {230-244},
  ee        = {db/conf/edbt/SaccaVV92.html},
  crossref  = {DBLP:conf/edbt/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD 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/An2-2 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/aDVD1 or /dvd

References

[Abi90a]

Serge Abiteboul, Eric Simon, Victor Vianu: Non-Deterministic Languages to Express Deterministic Transformations. PODS 1990: 218-229 BibTeX

[Abi88a]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX

[Ben00a]

Melvin Fitting, Marion Ben-Jacob: Stratified and Three-valued Logic Programming Semantics. ICLP/SLP 1988: 1054-1069 BibTeX

[Gel88a]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) BibTeX

[Kri63a]

...

[Lae91a]

Els Laenens, Dirk Vermeir: On the Relationship between Well-Founded and Stable Partial Models. MFDBS 1991: 59-73 BibTeX

[Lae90c]

...

[Lae90a]

...

[Lae90b]

Els Laenens, Domenico Saccà, Dirk Vermeir: Extending Logic Programming. SIGMOD Conference 1990: 184-193 BibTeX

[Man89a]

Sanjay Manchanda: Declarative Expression of Deductive Database Updates. PODS 1989: 93-100 BibTeX

[Man87a]

Sanjay Manchanda, David Scott Warren: A Logic-based Language for Database Updates. Foundations of Deductive Databases and Logic Programming. 1988: 363-394 BibTeX

[Naq88a]

Shamim A. Naqvi, Ravi Krishnamurthy: Database Updates in Logic Programming. PODS 1988: 251-262 BibTeX

[Via87a]

Victor Vianu: Dynamic functional dependencies and database aging. J. ACM 34(1): 28-59(1987) BibTeX

[Via88a]

Victor Vianu: A Dynamic Framework for Object Projection Views. ACM Trans. Database Syst. 13(1): 1-22(1988) BibTeX

[You90a]

Jia-Huai You, Li-Yan Yuan: Three-Valued Formalization of Logic Programming: Is It Needed? PODS 1990: 172-182 BibTeX