transaction Logic: An (Early) Exposé.

Anthony J. Bonner Michael Kifer

Published in: Formal Methods in Databases and Software Engineering (1992)

Keyphrases

database
modal logic
predicate logic
multi valued
neural network
logic programming
transaction data
defeasible logic
probabilistic logic
classical logic
data sets
nonmonotonic logics
dynamic logic
deontic logic
transaction management
automated reasoning
concurrency control
case study
artificial intelligence
real time