Corrigendum: DPDA's in "Atomic Normal Form" and Applications to Equivalence Problems. TCS 14(1981) 155-186.

Jean H. Gallier

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

Keyphrases

normal form
relational databases
functional dependencies
database design
information content
data structure
np hard
object oriented
expressive power
relational algebra
propositional formulas