Automatic verification of database transaction safety
ACM Transactions on Database Systems (TODS)
Object-oriented constraints for XML schema
ICOODB'10 Proceedings of the Third international conference on Objects and databases
Maintaining database integrity with refinement types
Proceedings of the 25th European conference on Object-oriented programming
Hi-index | 0.00 |
We report on experiences in using two very different program verification technologies. One of them is based on object-oriented assertion languages and it comes with automatic static verification of object-oriented programs. The other technology is independent of a programming language or programming paradigm and it offers static interactive verification of very complex constraints. These two technologies were applied to the problem of static verification of object-oriented transactions. The problem was chosen because database technologies are not equipped to handle general integrity constraints and verification technologies are not used to verify transactions. The implications of static verification on data integrity, effciency, and reliability of transactions are significant.