Computation of the Smith Normal Form of Polynomial Matrices.

Published in: ISSAC (1993)

Keyphrases

normal form
functional dependencies
database design
relational databases
information content
relational algebra
nested relations
data dependencies
prime implicates
databases
disjunctive normal form
database systems
management system
knowledge compilation