Binary equality implication constraints, normal forms and data redundancy.

Published in: Inf. Process. Lett. (2007)

Keyphrases

data sets
normal form
data dependencies
functional dependencies
knowledge base
data structure
data sources
model checking
inference rules