canonical cover

set of functional dependencies without extraneous attributes

Categories: