On the Maximality of Some Conormal Extensions of a Lattice.

Mai Gehrke Klaus Kaiser

Published in: Math. Log. Q. (1987)

Keyphrases

efficient implementation
lattice points
default theories
lattice structure
boolean algebra
database
real time
data sets
database systems
description logics