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

Bertram Felgenhauer

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

normal form
database design
nested relations
functional dependencies
relational algebra
relational databases
boolean expressions
term rewrite systems
desirable properties
information content
response time
data model
complex objects
data dependencies
relational database theory