M. C. Vlot
-
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases