On Efficient Sparse Integer Matrix Smith Normal Form Computations.

Jean-Guillaume Dumas B. David Saunders Gilles Villard

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

Keyphrases

normal form
database design
relational databases
functional dependencies
relational algebra
data dependencies
information content
nested relations
database management systems
efficient computation
prime implicates
database
relational database systems
boolean expressions
set of functional dependencies