JOIN(X): Constraint-Based Type Inference for the Join-Calculus.

Sylvain Conchon François Pottier

Published in: ESOP (2001)

Keyphrases

query optimization
join algorithms
real time
join operations
join processing
cartesian product
case study
query processing
multiple types
inference process