On Computing the Smith Normal Form of an Integer Matrix.

Victor J. Rayward-Smith

Published in: ACM Trans. Math. Softw. (1979)

Keyphrases

normal form
database design
relational databases
relational algebra
functional dependencies
nested relations
data dependencies
information content
prime implicates
data structure
boolean expressions
database
propositional formulas