Initial Algebra Semantics and Concurrency.

Published in: MFPS (1987)

Keyphrases

data model
algebraic operations
algebraic structure
database systems
logic programming
query language
database query languages
formal semantics
concurrency control
algebraic expressions
semantic information
relational algebra
operational semantics
real numbers
data sets
logic programs
neural network