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