Stable normal forms for polynomial system solving.

Bernard Mourrain Philippe Trebuchet

Published in: Theor. Comput. Sci. (2008)

Keyphrases

normal form
database design
functional dependencies
formal definitions
relational databases
database theory
nested relations
information content
relational algebra
prime implicates
database systems
multi valued
database schema