liệu, sự không nhất quán tiềm ẩn, những dị thƣờng của phép chèn và xóa. Xem xét một quan hệ với các thuộc tính SO_TAI_KHOAN (Số tài khoản), CHI_NHANH_NH (Chi nhánh ngân hàng) và DIA_CHI (Địa chỉ), với các phụ thuộc hàm SO_TAI_KHOAN→ CHI_NHANH_NH và CHI_NHANH_NH → DIA_CHI. Mặc dù mỗi chi nhánh ngân hàng có một địa chỉ duy nhất (vì CHI_NHANH_NH → DIA_CHI), sự lặp đi lặp lại địa chỉ của một chi nhánh ngân hàng với mỗi tài khoản trong chi nhánh đó là sự dƣ thừa trong quan hệ. Nếu do sơ suất chúng ta cập nhật địa chỉ của chi nhánh trong một bộ giá trị mà quên không làm tƣơng tự cho các bộ khác thì nảy sinh sự không nhất quán. Hơn thế nữa, do SO_TAI_KHOAN là khóa chính nên ta không thể chèn địa chỉ cho một chi nhánh mới khi nó chƣa có ít nhất một tài khoản nào. Cuối cùng, nếu tài khoản cuối cùng của một chi nhánh bị xóa, vô tình ta sẽ mất vết địa chỉ của nó. Để giải quyết những vấn đề đó, quan hệ (SO_TAI_KHOAN, CHI_NHANH_NH, DIA_CHI) phải đƣợc tách thành hai quan hệ: (SO_TAI_KHOAN, CHI_NHANH_NH) với phụ thuộc hàm SO_TAI_KHOAN → CHI_NHANH_NH và (CHI_NHANH_NH, DIA_CHI) với phụ thuộc hàm CHI_NHANH_NH → DIA_CHI. Để không bị ràng buộc bởi những vấn đề dƣ thừa trong quan hệ trên, phép tách phải có một số tính chất cần thiết sau: (1) nó là không mất thông tin với nghĩa là quan hệ gốc có thể đƣợc khôi phục lại bởi thực hiện kết nối tự nhiên (natural join) của hai phép chiếu và do đó không có thông tin nào bị mất; (2) phép tách bảo toàn các phụ thuộc hàm với nghĩa là các phụ thuộc hàm kết hợp với các lƣợc đồ trong phép tách là tƣơng đƣơng (đúng nhƣ trong ví dụ của chúng ta) với các phần đƣợc kết hợp với lƣợc đồ gốc; và (3) hai lƣợc đồ là ở dạng chuẩn Boyce-Codd (BCNF), dạng chuẩn mạnh nhất về các phụ thuộc hàm khi chỉ có duy nhất loại phụ thuộc này. Ta phải chú ý rằng không phải luôn luôn có thể tìm đƣợc một phép tách bảo toàn phụ thuộc hàm không mất thông tin mà tất cả các lƣợc đồ của nó đều ở dạng BCNF; một phép tách bảo toàn phụ thuộc hàm không mất thông tin thành các lƣợc đồ ở dạng chuẩn thứ 3 (3NF), mà nó yếu hơn chút ít so với
dạng BCNF, bao giờ cũng có thể thực hiện đƣợc.
2.1.2- Chiều thời gian của thiết kế logic