Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases.

Viktor Levandovskyy Kristina Schindelar

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

Keyphrases

normal form
database design
functional dependencies
covariance matrix
nested relations
relational databases
information content
relational algebra
boolean expressions
prime implicates
numerically stable
integrity constraints
data dependencies
database schemes