Generalized Subresultants for Computing the Smith Normal Form of Polynomial Matrices.

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

Keyphrases

normal form
functional dependencies
database design
relational algebra
relational databases
nested relations
information content
data dependencies
disjunctive normal form
database
relational calculus
propositional formulas
boolean expressions