Gröbner walk for computing matrix normal forms over Ore polynomials.

George Labahn Johannes Middeke

Published in: ACM Commun. Comput. Algebra (2012)

Keyphrases

normal form
database design
relational databases
numerically stable
database theory
functional dependencies
formal definitions
nested relations
data dependencies
lagrange interpolation
information content
prime implicates
multi valued
knowledge base
methods in computer vision
random walk
relational database theory