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

Jon Wilkening Jia Yu

Published in: J. Symb. Comput. (2011)

Keyphrases

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