Inheritance in the Join Calculus.

Cédric Fournet Cosimo Laneve Luc Maranget Didier Rémy

Published in: FSTTCS (2000)

Keyphrases

object oriented
join algorithms
object oriented databases
knowledge representation
query optimization
join operations
join processing
cartesian product
database
query processing
automated deduction
multiple inheritance
sort merge
main memory
spatial reasoning
real numbers