Inheritance in the join calculus.
Cédric FournetCosimo LaneveLuc MarangetDidier RémyPublished in: J. Log. Algebraic Methods Program. (2003)
Keyphrases
- object oriented databases
- object oriented
- knowledge representation
- multiple inheritance
- join algorithms
- computer algebra
- query optimization
- join operations
- data model
- data structure
- database management systems
- database systems
- knowledge base
- spatial join
- relational calculus
- object identity
- algebraic structure
- provably correct
- database