Boyce-Codd Normal Form Arelation schema R is in BCNF with respect to a set F of functional dependencies if for all functional dependencies in F+of the form 0→B where a c R and BR,at least one of the following holds: a>B is trivial (i.e.,Bca) a is a superkey for R Example schema not in BCNF: instr_dept (ID.name,salary,dept_name,building,budget because dept_name->building,budget holds on instr_dept,but dept_name is not a superkey Database System Concepts-6th Edition 8.17 ©Silberschat乜，Korth and SudarshanDatabase System Concepts - 6 8.17 ©Silberschatz, Korth and Sudarshan th Edition Boyce-Codd Normal Form  →  is trivial (i.e.,   )  is a superkey for R A relation schema R is in BCNF with respect to a set F of functional dependencies if for all functional dependencies in F+ of the form  →  where   R and   R, at least one of the following holds: Example schema not in BCNF: instr_dept (ID, name, salary, dept_name, building, budget ) because dept_name→ building, budget holds on instr_dept, but dept_name is not a superkey