canonical cover in dbms with example