Operational Semantics of Transactions.

Andreas Prinz Bernhard Thalheim

Published in: ADC (2003)

Keyphrases

operational semantics
formal semantics
model theoretic
database
data model
mental states
declarative semantics
denotational semantics
databases
activity diagrams
agent programming
online learning
concurrency control
cooperative
life cycle
distance learning
reinforcement learning
machine learning