Probabilistic Computation of the Smith Normal Form of a Sparse Integer Matrix.

Mark Giesbrecht

Published in: ANTS (1996)

Keyphrases

normal form
boolean expressions
database design
functional dependencies
relational databases
relational algebra
coefficient matrix
nested relations
sparse matrix
information content
data dependencies
prime implicates
relational database theory
binary matrix
high dimensional
data management
case study