Declarative Specifications of Complex Transactions with an Application to Cascading Deletes.

Bert O. de Brock

Published in: FMLDO (1999)

Keyphrases

high level
database
real world
knowledge representation
association rules
data sets
information systems
expert systems
finite state machines
business rules
formal specification
transaction processing
database transactions
declarative language
concurrent execution