On derivations of lattice implication algebras.

Sang Deok Lee Kyung Ho Kim

Published in: Ars Comb. (2013)

Keyphrases

boolean algebra
distributive lattices
lattice structure
functional dependencies
concept lattice
spatial reasoning
inference rules
information retrieval
lattice points
clifford algebra
image processing
temporal reasoning
database design
horn clauses
relational databases
case study
lattice theory