Handling active databases with partial inconsistencies
Active Database is a database which contains as a part of its schema definitions of derived data stated as computational invariants and constraints stated as logical invariants. The invariants are enforced in an active way.
The information stored in the database might be partially inconsistent with either database definitions or invariants. This paper classifies the inconsistencies types and suggests an appropriate handling mechanism for each type (using either exception-handling mode or modal operators or numeric methods).
Unable to display preview. Download preview PDF.
- [DATE 81]C.J. Date-Referential Integrity-Proc VLDB, 1981.Google Scholar
- [ETHERINGTON 88]D.W. Etherington-Reasoning with Incomplete Information. Morgan Kaufman, 1987.Google Scholar
- [ETZION 90]O. Etzion-PARDES-An Active Semantic Database Model. Technion-Israel Institute of Technology-Technical Report ISE-TR-90-1.Google Scholar
- [MOORE 85]R. C. Moore-Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25, pp 75–94, 1985.Google Scholar
- [PEARL 88]J. Pearl-The Probabilistic Reasoning in Intelligent System. Morgan Kaufman, 1988.Google Scholar
- [REITER 80]R. Reiter-A Logic for Default Reasoning. Artificial Intelligence, 13, pp 81–132, 1980.Google Scholar
- [SHAFFER 76]G. Shaffer-A Mathematical Theory of Evidence. Princeton University Press, 1976.Google Scholar