Efficient support for strong semantics in transactional and non-transactional programs.

Aritra Sengupta

Published in: SPLASH (Companion Volume) (2015)

Keyphrases

transaction model
fault tolerant
high level
end users
databases
database
data structure
control flow
computationally efficient
stable model semantics
formal semantics
transaction processing
concurrency control
decision support
knowledge management
case study
neural network