Finding First Integrals Using Normal Forms Modulo Differential Regular Chains.

François Boulier François Lemaire

Published in: CASC (2015)

Keyphrases

normal form
functional dependencies
database design
nested relations
relational databases
relational database theory
relational algebra
formal definitions
database theory
data dependencies
database
case study
multi valued
prime implicates