Separation Algebra.

Gerwin Klein Rafal Kolanski Andrew Boyton

Published in: Arch. Formal Proofs (2012)

Keyphrases

data model
query language
social networks
relational algebra
boolean algebra
algebraic expressions
data sets
search engine
image processing
clustering algorithm
decision trees
expressive power
set theory
maximal tractable
relation algebra