A Characterisation of Meet and Join Respecting Pre-Orders and Congruences on Finite Lattices.

Published in: Acta Informatica (1993)

Keyphrases

cartesian product
query optimization
finite number
finite automata
information retrieval
relational databases
query processing
dynamic programming
unit length