Restriction of active symbols in k-limited etol systems and a normal form theorem.

Dietmar Wätjen

Published in: Int. J. Comput. Math. (1991)

Keyphrases

normal form
relational databases
database design
functional dependencies
relational algebra
nested relations
database systems
databases
data integration
information content
prime implicates
relational database theory