Differential rational normal forms and a reduction algorithm for hyperexponential func.

Keith O. Geddes Ha Q. Le Ziming Li

Published in: ISSAC (2004)

Keyphrases

normal form
relational databases
database design
functional dependencies
nested relations
database theory
relational algebra
data dependencies
formal definitions
information content
multi valued
relational database theory
knowledge representation
integrity constraints
database technology
inclusion dependencies