Tham khảo tài liệu 'giáo trình cơ sở dữ liệu quan hệ_4', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 1. Kết nối không mất mát thông tin Nếu R là một lược đồ quan hệ được tách thành các lược đồ con Rị R2 . Rk và F là tập các phụ thuộc hàm ta nói rằng phép tách là tách - kết nối không mất mát thông tin lossless join decompoition đối với F nếu với mỗi quan hệ r của R thoả mãn F ta có r nRi r nRỈ r nR2 r . nRk r Tức là mỗi quan hệ r là kết nối tự nhiên của các hình chiếu của nó trên các Rị i 1 . k. Đặc tính tách - kết nối không mất mát thông tin là cần thiết nếu quan hệ bị tách cần phải được khôi phục lại từ việc tách của chính nó. Sau đây xem xét một sô tính chất của tách - kết nối không mất mát thông tin nhưng trước tiên ta đưa ra một số ký hiệu. Nếu p Rị . Rk là một phép tách thì mp là ánh xạ được định nghĩa là ưtp r nRi r i 1 . k có nghĩa là mp r là kết nối của các phép chiếu của r trên các lược đồ con trong p. Điều kiện để kết nối không mất mát thông tin đối với tập phụ thuộc hàm F được biểu diễn như sau Với mọi r của R thoả mãn F r mp r Bổ đê Gọi R ỉà một lược dồ quan hệ r Rp R2 . Rịị là một phép tách của R r là quan hệ của R và ri - rỈRi r thỉ a. r cmp r b. Nếu s - mẠr thì rỈRịir ri c. Wp mp r mp r Chứng minh Gọi t là một bộ thuộc r. Vậy với mỗi i tị t Rị rj. Theo định nghĩa của phép kết nối tự nhiên t mp r vì t Rị tị cho V i trên các thuộc tính của Rị. Theo a có r c s suy ra nRi r nRi S . Điều đó có nghĩa là ri C nRi S . Giả sử với một i mà ti 6 nRi S . Khi đó có ts sao cho t Rj tị. Cũng vì t E s sao cho t Rj Uj cho nên có Uj e q sao cho t Rị Uj. Trong trường hợp này t Ri lị Nhưng vì t Rj tj do vậy tị rị và do đó nRi S C ri. Từ đó có q nRi s . 79 Nếu s rrip r thì theo b có nRi S fj. Do vậy k mp s tị mp r . ỉ ỉ Cần chú ý trong trường hợp tổng quát với mỗi i Tị là một quan hệ hiện hành cúa Rp k và s tị mp r . i ỉ thì khi đó nRi s không nhất thiết phải bằng Fj. Mối quan hệ ri có thể thiếu hoặc thừa một số bộ nào đó đều gọi là mất thông tin . Chẳng hạn nếu R AB R2 BC và các quan hệ tương ứng là Tị ajbj b1c1 b2c2 khi đó s at b CjJ. Và xảy ra FIbc s bici r2 .
