We extend here the Internal Events Method for change computation. This method derives a set of rules that incrementally compute the changes induced by an update, taking into account not only the update, but also the concept of event and the knowledge provided by the primary key integrity constraints. In this paper we further develop this idea by considering four additional integrity constraints: inclusion dependencies, exclusion dependencies, alternate keys and referential integrity constraints. We show that the knowledge provided by these integrity constraints allows us to save redundant checks and in some cases to remove whole rules. Thus, we obtain a significant improvement in performance. To the best of our knowledge there is no method ...
In the field of logic databases the static semantics and the evaluation of queries is well understoo...
Several problems may arise when a deductive database is updated. The problems that are addressed in ...
We propose a method to monitor changes in deductive databases. The method augments a database with a...
In an active database, an update may be constrained by integrity constraints, and may also trigger r...
Change computation is an essential component in several capabilities of a deductive database, such a...
Efficient change computation is very important in the field of deductive databases in order to optim...
International audienceIn the database literature it has been proposed to resort to active integrity ...
International audienceIn the literature of database repairing, active integrity constraints have pro...
International audienceIn the literature of database repairing, active integrity constraints have pro...
: We study the problem of efficiently evaluating transactions that automatically invoke the executio...
International audienceIn the database literature it has been proposed to resort to active integrity ...
A bitemporal deductive database is a deductive database that supports valid and transaction time. A ...
A bitemporal deductive database is a deductive database that supports valid and transaction time. A ...
International audienceIn the database literature it has been proposed to resort to active integrity ...
International audienceActive integrity constraints have been introduced in the database community as...
In the field of logic databases the static semantics and the evaluation of queries is well understoo...
Several problems may arise when a deductive database is updated. The problems that are addressed in ...
We propose a method to monitor changes in deductive databases. The method augments a database with a...
In an active database, an update may be constrained by integrity constraints, and may also trigger r...
Change computation is an essential component in several capabilities of a deductive database, such a...
Efficient change computation is very important in the field of deductive databases in order to optim...
International audienceIn the database literature it has been proposed to resort to active integrity ...
International audienceIn the literature of database repairing, active integrity constraints have pro...
International audienceIn the literature of database repairing, active integrity constraints have pro...
: We study the problem of efficiently evaluating transactions that automatically invoke the executio...
International audienceIn the database literature it has been proposed to resort to active integrity ...
A bitemporal deductive database is a deductive database that supports valid and transaction time. A ...
A bitemporal deductive database is a deductive database that supports valid and transaction time. A ...
International audienceIn the database literature it has been proposed to resort to active integrity ...
International audienceActive integrity constraints have been introduced in the database community as...
In the field of logic databases the static semantics and the evaluation of queries is well understoo...
Several problems may arise when a deductive database is updated. The problems that are addressed in ...
We propose a method to monitor changes in deductive databases. The method augments a database with a...