An Axiomatic Semantics for Nested Concurrency.

Published in: BIT (1986)

Keyphrases

compositional semantics
formal semantics
database systems
nested relations
logic programming
semantic information
concurrency control
transaction processing
logical language
data sets
databases
case study
data structure
expressive power
default reasoning
model theoretic