Functional Dependencies

Interactive FD Visualizer

Create and visualize functional dependencies with drag-and-drop interface.

Click "Add Attribute" to start building your functional dependency diagram

Drag attributes to position them, then use "Create FD" to connect them

FD Builder

Build Functional Dependencies

Available Attributes:

A B C D E

Determinant:

Select attributes that determine others

→

Dependent:

Select attributes that are determined

No functional dependencies defined yet. Use the builder above to create some.

Closure Calculator

Compute the closure of a set of attributes under the current fdS.

Select attributes for closure computation:

Armstrong's Axioms Demonstrator

See how Armstrong's axioms work with your functional dependencies.

Reflexivity

If Y ⊆ X, then X → Y

Augmentation

If X → Y, then XZ → YZ

Transitivity

If X → Y and Y → Z, then X → Z

Minimal Cover Algorithm

step-by-step computation of minimal cover for the current set of fdS.

Practice Scenarios

Choose a scenario to practice with:

Functional Dependencies Quiz

If A → B and B → C, what can we conclude using Armstrong's axioms?

A) A → C (by transitivity)
B) C → A (by symmetry)
C) A → BC (by union)
D) AB → C (by augmentation)

FD Statistics

5

Attributes

0

fdS

0

Redundant

0

Minimal

Armstrong's Axioms

If Y ⊆ X, then X → Y
Example: AB → A, AB → B

If X → Y, then XZ → YZ
Example: A → B implies AC → BC

If X → Y and Y → Z, then X → Z
Example: A → B, B → C implies A → C

Entity integrity, 1NF

Interactive Functional Dependencies

Interactive FD Visualizer

FD Builder

Build Functional Dependencies