An Axiom System for Database Transactions.

Published in: Inf. Process. Lett. (1990)

Keyphrases

data warehouse
database transactions
integrity constraints
execution model
databases
database
transaction processing
transaction model