Declarative Specifications of Complex Transactions with an Application to Cascading Deletes

Bert O. de Brock. Declarative Specifications of Complex Transactions with an Application to Cascading Deletes. In FMLDO. pages 159-173, 1999.

Abstract

Abstract is missing.