Login / Signup
Semantics of a runtime adaptable transaction manager.
Florian Irmert
Frank Lauterwald
Christoph P. Neumann
Michael Daum
Richard Lenz
Klaus Meyer-Wegener
Published in:
IDEAS (2009)
Keyphrases
</>
formal semantics
database
neural network
management system
default reasoning
correctness criterion
databases
web services
data structure
semantic information
transaction management
transaction data
real time database systems
nested transactions
dynamic constraints
method invocation