Trace Rewriting: Computing Normal Forms in Time O(n log n).

Michael Bertol Volker Diekert

Published in: STACS (1996)

Keyphrases

normal form
functional dependencies
database design
nested relations
relational databases
data dependencies
relational algebra
formal definitions
information content
prime implicates
multi valued
database theory
worst case
database
description logics
data model
database systems