Non-Monotonic Knowledge Evolution in VLKDBs.

@inproceedings{DBLP:conf/vldb/Esculier90,
  author    = {Christian Esculier},
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {Non-Monotonic Knowledge Evolution in VLKDBs},
  booktitle = {16th International Conference on Very Large Data Bases, August
               13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  pages     = {638-649},
  ee        = {db/conf/vldb/Esculier90.html},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Non-monotonic knowledge evolutions and exceptions constitute a complex theoritical and practical problem. The state of the art shows a rich and surprising diversity of approaches. Their study along a common framework reveals a few basic issues which require further theoritical investigation.

In the context of very large knowledge/data bases (VLKDBs), specific constraints must be taken into account. They require a specific approach of the problem, which can be sketched by a setof basic guidelines. In order to illustrate the importance of the problem, a proposal called semantic tolerance is briefly described. Its various relationships with user interfaces, rule administration, advanced design techniques and long-term transactions show that non-monotonic knowledge evolution constitute a central problem in advanced databases, and consequently would deserve a major research effort by the database community.

Copyright © 1990 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Online Paper

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

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/vldb8997 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

Printed Edition

References

[ALHE 83]

...

[ANHA 87]

Tim Andrews, Craig Harris: Combining Language and Database Advances in an Object-Oriented Development Environment. OOPSLA 1987: 430-440 BibTeX

[BAKK 85]

François Bancilhon, Won Kim, Henry F. Korth: A Model of CAD Transactions. VLDB 1985: 25-33 BibTeX

[BHKA 86]

...

[BOMW 86]

...

[BORG 85]

Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985) BibTeX

[BORG 87]

...

[BOWI 85]

Alexander Borgida, Keith E. Williamson: Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB 1985: 72-81 BibTeX

[CERI 88]

...

[CHEE 86]

...

[COHE 85]

...

[COMA 84]

George P. Copeland, David Maier: Making Smalltalk a Database System. SIGMOD Conference 1984: 316-325 BibTeX

[COX 79]

...

[CRIS 79]

...

[CRIS 82]

...

[deKL 86]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX

[DOYL 79]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX

[DUPR 88]

...

[ESCU 87]

...

[ESCU 88a]

Christian Esculier: Inheritances with Exceptions: An Approach Based on Semantic Tolerance. DS-3 1988: 99-111 BibTeX

[ESCU 88b]

...

[ESCU 89]

...

[ESCU 90]

...

[GENI 87]

...

[GINS 86]

Matthew L. Ginsberg: Multi-Valued Logics. AAAI 1986: 243-249 BibTeX

[GINS 87]

...

[GOOD 75]

John B. Goodenough: Exception Handling: Issues and a Proposed Notation. Commun. ACM 18(12): 683-696(1975) BibTeX

[ISRA 80]

David J. Israel: What's Wrong with Non-Monotonic Logic? AAAI 1980: 99-101 BibTeX

[KALE 86]

...

[KERS 86]

Martin L. Kersten, Frans H. Schippers: Using the Guardian Programming Paradigm to Support Database Evolution. DS-2 1986: 189-203 BibTeX

[KONO 87]

Kurt Konolige: On the Relation Between Default Theories and Autoepistemic Logic. IJCAI 1987: 394-400 BibTeX

[LERI 89]

Christophe Lécluse, Philippe Richard: The O2 Database Programming Language. VLDB 1989: 411-422 BibTeX

[LIFS 85]

Vladimir Lifschitz: Computing Circumscription. IJCAI 1985: 121-127 BibTeX

[LISK 79]

Barbara Liskov, Alan Snyder: Exception Handling in CLU. IEEE Trans. Software Eng. 5(6): 546-558(1979) BibTeX

[LUCK 80]

David C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. ACM Trans. Program. Lang. Syst. 2(2): 225-233(1980) BibTeX

[McCA 80]

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX

[McCA 86]

John McCarthy: Applications of Circumscription to Formalizing Common-Sense Knowledge. Artif. Intell. 28(1): 89-116(1986) BibTeX

[McDD 80]

Drew V. McDermott, Jon Doyle: Non-Monotonic Logic I. Artif. Intell. 13(1-2): 41-72(1980) BibTeX

[MOOR 84]

...

[MOOR 85]

Robert C. Moore: Semantical Considerations on Nonmonotonic Logic. Artif. Intell. 25(1): 75-94(1985) BibTeX

[PERL 86]

...

[PIWI 88]

...

[PLET 88]

...

[RAMI 88]

Richard G. Ramirez, Ronald Dattero, Joobin Choobineh: Extension of relational views to derived relations with exceptions. Inf. Syst. 15(3): 321-333(1990) BibTeX

[REIT 80]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[REIT 88]

...

[RINE 84]

...

[SHAF 76]

...

[SMDP 88]

...

[SMET 82]

...

[STAM 86]

Ronald K. Stamper: The Processing of Business Semantics: Necessity and Tools. DS-2 1986: 355-374 BibTeX

[WIED 88]

...

[YAGE 82]

...

[ZADE 78]

...

[ZADE 80]

...