... Lược đồ này có duy nhất một khóa là SH Lược đồ này chưa ở dạng BCNF Ta thấy lược đồ α=( U, F) có phụ thuộc hàm CS→G vi phạm điều kiện BCNF nên ta tách lược đồ thành các lược U1=CGS, ... a2 a2 b13 a4 a517/3617.1. Tách lược đồ quan hệ Bổ đề: Cho lược đồ quan hệ α =( U, F) và phép tách δ ={ U1, U2, …, Uk } đối với lược đồ đó, R là một quan hệ trên U, gọi Ri=R[Ui] thì:R⊆ ... thuộc hàm CH→R vi phạm điều kiện BCNF nên ta tách lược đồ thành các lược U5=CHR, U6=CHS35/3617.1. Tách lược đồ quan hệ Ví dụ: Cho lược đồ quan hệ α =( U, F) vớiU={A1, A2, A3, A4, A5}F={A1→A2A3,...