Denotational Semantics Using Horn Concurrent Transaction Logic.

Marcus Vinicius Santos

Published in: ICLP (2005)

Keyphrases

denotational semantics
operational semantics
programming language
horn logic
long running
query language
np hard
concurrent execution
database
transaction processing
concurrency control
horn clauses
propositional logic
general purpose
distributed databases
abstract data types
data types
database systems
databases