Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem.

Paul W. P. J. Grefen

Browse the full VLDB paper archive.