A Fast Decision Procedure For Uniqueness of Normal Forms w.r.t. Conversion of Shallow Term Rewriting Systems.
Masaomi YamaguchiTakahito AotoPublished in: FSCD (2020)
Keyphrases
- normal form
- term rewriting systems
- database design
- functional dependencies
- database theory
- relational databases
- nested relations
- formal definitions
- logic programs
- information content
- functional programs
- relational algebra
- data dependencies
- prime implicates
- relational database theory
- object oriented
- search procedure
- data model
- case study