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.

@inproceedings{Brock99,
  title = {Declarative Specifications of Complex Transactions with an Application to Cascading Deletes},
  author = {Bert O. de Brock},
  year = {1999},
  researchr = {https://researchr.org/publication/Brock99},
  cites = {0},
  citedby = {0},
  pages = {159-173},
  booktitle = {FMLDO},
}