The Reflexive CHAM and the Join-Calculus.

Cédric Fournet Georges Gonthier

Published in: POPL (1996)

Keyphrases

join algorithms
query optimization
banach space
join operations
intuitionistic fuzzy
join processing
cartesian product
computer algebra
query processing
expressive power
algebraic structure
sort merge