Equational Bases for Joins of Residuated-lattice Varieties.
Nikolaos GalatosPublished in: Stud Logica (2004)
Keyphrases
- lattice theory
- theorem proving
- query optimization
- join algorithms
- lattice structure
- sql queries
- equational theories
- horn clauses
- theorem prover
- query evaluation
- join processing
- concept lattice
- boolean algebra
- data structure
- algebraic structure
- data sets
- multi dimensional
- open source
- join operations
- join queries
- case study
- learning algorithm