A Calculus of Typed Relations.

Wendy MacCaull Ewa Orlowska

Published in: RelMiCS (2003)

Keyphrases

lambda calculus
relation algebra
relational calculus
higher order
algebraic structure
cardinal directions
causal relations
temporal relations
real world
real numbers
relational algebra
relational model
expressive power
interval algebra
attribute values
background knowledge
pairwise