04 Try it yourself Interactive

Run one relation past both definitions

One relation, ZONE(Street, City, PIN), and three non-trivial arrows. 3NF tests each arrow against the two-clause rule. BCNF tests the same three arrows with the second clause deleted. The verdict table fills in one column at a time, the highlighted line of the rule advances with it, and the two runs agree on the first two arrows and part company on the third. Nothing plays on its own: Next, Back and Reset, or the arrow keys.

3NF
3 non-trivial arrows · 2 candidate keys
Green marks a clause that holds, rose one that fails, amber the clause being decided right now. An arrow passes if any clause the form offers it holds.
Press Next to begin. Each press advances the test by one step.


      

        
Arrows checked–

        
Superkey left side–

        
Passed0

        
Failed0

      


      

      

        
        
        
        step 0 / 0