DPDA's in 'Atomic Normal Form' and Applications to Equivalence Problems.

Jean H. Gallier

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

Keyphrases

normal form
database design
case study
functional dependencies
np complete
relational algebra
database
nested relations