Sign in
External Transaction Logic with Automatic Compensations.
Ana Sofia Gomes
José Júlio Alferes
Published in:
CLIMA (2013)
Keyphrases
</>
databases
logic programming
semi automatic
automated reasoning
modal logic
fully automatic
concurrency control
defeasible logic
database
genetic algorithm
search engine
transaction processing
artificial intelligence
transaction management
computational properties
real time database systems
digital circuits