Rational Normal Forms and Minimal Decompositions of Hypergeometric Terms.

Sergei A. Abramov Marko Petkovsek

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

Keyphrases

normal form
database design
prime implicates
relational databases
formal definitions
function symbols
functional dependencies
database theory
nested relations
database
first order logic
information content
databases
boolean expressions