Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem.
Ken ManoMizuhito OgawaPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- normal form
- term rewriting systems
- functional dependencies
- database design
- relational databases
- functional programs
- interactive theorem proving
- logic programs
- relational algebra
- information content
- nested relations
- set of functional dependencies
- boolean expressions
- prime implicates
- data dependencies
- linear logic
- database
- theorem prover
- proof planning
- logic programming
- relational database theory