Login / Signup
Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering.
Jean-Pierre Jouannaud
Albert Rubio
Published in:
Theor. Comput. Sci. (1998)
Keyphrases
</>
normal form
higher order
multi valued
database design
functional dependencies
relational databases
nested relations
relational algebra
pairwise
information content
relational database theory
object oriented
data exchange