Transformation of Dynamic Integrity Constraints into Transaction Specifications

Udo W. Lipeck. Transformation of Dynamic Integrity Constraints into Transaction Specifications. Theoretical Computer Science, 76(1):115-142, 1990.

Abstract

Abstract is missing.