Sign in
Infinite Normal Forms for Non-Linear Term Rewritting Systems.
Paola Inverardi
Monica Nesi
Published in:
Theor. Comput. Sci. (1995)
Keyphrases
</>
normal form
database design
functional dependencies
database systems
knowledge based systems
information content
formal definitions