THE CHASE
v2.0 · WEB
CS4221 Database Tuning · NUS · FD & MVD Chase Algorithm
☀
⊞ Table Check
⊢ Entailment
⋈ Lossless
▼ Min Cover
⁺ Closure
⌗ Keys
🔍 Discover
⚡ Bench
Load:
Table→FD
Entailment
Lossless
MVD
University
Attributes (comma-separated)
Dependencies (FD: X,Y->Z | MVD: X->>Y)
A -> B A -> C B -> C
▶ Run