A Logic for Programming Database Transactions.

Anthony J. Bonner Michael Kifer

Published in: Logics for Databases and Information Systems (1998)

Keyphrases

database transactions
integrity constraints
execution model
transaction processing
database
programming language
logic programming
transaction model
distributed databases
response time
service oriented
data flow
linear logic