@inproceedings{6cd15050d4ae4fb19a02510e1aa300be,
title = "Implementing temporal integrity constraints using an active DBMS",
abstract = "The system presented in this paper allows automatic and efficient translation of integrity constraints formulated in past temporal logic into rules of the Starburst DBMS. During the compilation the set of constraints is checked for the safe evaluation property. The result of the compilation is a set of Starburst SQL statements that define all the necessary rules needed for enforcing the given constraints. There is no need for an additional runtime constraint monitor. When the rules are activated, all updates to the database that violate any of the constraints are automatically rejected (i.e., the corresponding transaction is aborted). In addition to efficient implementation, this approach offers a clean separation of application programs and the integrity checking code.",
author = "David Toman and Jan Chomicki",
year = "1994",
language = "English",
isbn = "0818653604",
series = "Proceedings of the IEEE International Workshop on Research Issues in Data Engineering",
publisher = "Publ by IEEE",
pages = "87--95",
editor = "Jennifer Widom and Sharma Chakravarthy",
booktitle = "Proceedings of the IEEE International Workshop on Research Issues in Data Engineering",
note = "Proceedings of the 4th International Workshop on Research Issues in Data Engineering ; Conference date: 14-02-1994 Through 15-02-1994",
}