A local construction of the Smith normal form of a matrix polynomial

Jon Wilkening Jia Yu

Published in: CoRR (2008)

Keyphrases

normal form
database design
functional dependencies
relational databases
information content
relational algebra
data dependencies
nested relations
disjunctive normal form
prime implicates
relational database theory