Complete and Independent Sets of Axioms of Boolean Algebra.

Tomoko Ninomiya Masao Mukaidono

Published in: ISMVL (2003)

Keyphrases

boolean algebra
upper approximation
set theory
cardinality constraints
constraint query languages
closed sets
knowledge base
data model
expressive power
image processing
first order logic
integrity constraints