Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems.
Takahito AotoYoshihito ToyamaPublished in: CoRR (2018)
Keyphrases
- normal form
- term rewriting systems
- database design
- automated theorem provers
- relational databases
- functional dependencies
- functional programs
- nested relations
- formal definitions
- logic programs
- information content
- relational algebra
- database theory
- data dependencies
- prime implicates
- relational database theory
- theorem proving
- theorem prover
- database applications