The decomposition of relations during normalization relies on the notation of dependency theory.
Occasionally this uses the following dependency theory notation to explain concepts:
| Symbol | Represented Phrase |
|---|---|
| → | Functionally determines. |
| → | Does not functionally determine. |
| ⇒ | Multivalued determines. |