Deciding Confluence and Normal Form Properties of Ground Term Rewrite Systems Efficiently.

Bertram Felgenhauer

Published in: CoRR (2017)

Keyphrases

normal form
relational databases
functional dependencies
relational algebra
nested relations
database design
term rewrite systems
information content
boolean expressions
desirable properties
data dependencies
relational model
prime implicates
relational database theory
multi dimensional