A Common Framework for Classifying and Specifying Deductive Database Updating Problems (1995)
| Venue: | In Proc. Int. Conf. on Data Engineering (ICDE '95 |
| Citations: | 9 - 7 self |
BibTeX
@INPROCEEDINGS{Teniente95acommon,
author = {Ernest Teniente and Toni Urpí},
title = {A Common Framework for Classifying and Specifying Deductive Database Updating Problems},
booktitle = {In Proc. Int. Conf. on Data Engineering (ICDE '95},
year = {1995},
pages = {173--183}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we propose two interpretations of the event rules [Oli91] which provide a common framework for classifying and specifying deductive database updating problems such as view updating, materialized view maintenance, integrity constraints checking, integrity constraints maintenance, repairing inconsistent databases, integrity constraints satisfiability or condition monitoring. Moreover, these interpretations allow us to identify and to specify some problems that have received little attention up to now like enforcing or preventing condition activation. By considering only a unique set of rules for specifying all these problems, we want to show that it is possible to provide general methods able to deal with all these problems as a whole. 1 Introduction Deductive databases generalize relational databases by including not only base facts and integrity constraints, but also deductive rules. Using these rules, derived facts may be derived from facts explicitly stored. Among oth...
