Enforcement of integrity constraints against transactions with transition axioms

The authors address an enforcement technique of integrity constraints against transaction updates in a relational database system. Transition axioms have been used effectively in checking integrity constraints for single update statements. The authors extend the idea of transition axioms to a transaction which is a sequence of read and update statements. Integrity constraints in this scheme are simplified without database access before the actual operations are performed avoiding the need to undo an illegal transaction. Transaction partitioning, which can reduce the overhead of checking integrity constraints significantly, is proposed. Partitioning a transaction becomes crucial when a transaction is associated with multiple integrity constraints.<>