Unique Normal Forms in Term Rewriting Systems with Repeated Variables
Paul ChewPublished in: STOC (1981)
Keyphrases
- normal form
- term rewriting systems
- function symbols
- logic programs
- database design
- functional dependencies
- database theory
- functional programs
- formal definitions
- nested relations
- relational algebra
- relational databases
- data dependencies
- information content
- prime implicates
- relational database theory
- integrity constraints
- xml data
- logic programming