Initial Algebra Semantics for Lambda Calculi.

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

logic programming
relational algebra
query language
algebraic expressions
data model
conditional logic
aggregate functions
database
logic programs
semantic information
expressive power
default reasoning
formal semantics
database query languages
vague concepts