• + 0 comments
    movie(DESCRIPTION,serialno)
    description->director,serialno
    serialno->description
    
    serial(SERIALNO,director)
    serialno->director
    
    customer(name,addr,MEMBERNO)
    name,addr -> memberno
    memberno -> name,addr
    
    borrow(memberno,DATE,SERIALNO)
    serialno,date -> memberno
    

    1NF valid 2NF valid 3NF valid BCNF <=> A->B were A not CANDIDATE KEY, even though name,addr -> memberno in customer looks invalid by the complementary axiom we have that name, addr is actually a key of customer!