Denotational semantics for thread algebra.

Published in: J. Log. Algebraic Methods Program. (2008)

Keyphrases

denotational semantics
query language
abstract data types
programming language
operational semantics
data model
relational algebra
data types
expressive power
object oriented databases
algebraic expressions
object oriented
database design
artificial intelligence
database
general purpose
formal semantics
databases