Stable normal forms for polynomial system solving

Bernard Mourrain Philippe Trebuchet

Published in: CoRR (2008)

Keyphrases

normal form
relational databases
database theory
functional dependencies
database design
relational algebra
formal definitions
nested relations
information content
null values
prime implicates
polynomial equations
data dependencies
relational database theory
complex objects
databases
integrity constraints