Safety and correct translation of relational calculus formulas
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Artificial intelligence and mathematical theory of computation
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Artificial Intelligence
Advanced database systems
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Logics for databases and information systems
Logics for databases and information systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
The Dynamics of Database Views
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Representing actions and state constraints in model-based diagnosis
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |
In this article we extend previous work on the development of logical foundations for the specification of the dynamics of databases. In particular, we deal with two problems. Firstly, the derivation of active rules that maintain the consistency of the database by triggering repairing actions. Secondly, we deal with the correct integration of the specification of the derived rules into the original specification of the database dynamics. In particular, we show that the expected results are achieved. For instance, the derived axiomatization includes, at the object level, the specification that repairing action executions must be enforced whenever necessary.