Cơ sở dữ liệu - e-ptit.edu.vn

Recommendations

Info

4 KỸ THUẬT THIẾT KẾ CÁC HỆ CƠ SỞ DỮ LIỆU QUAN HỆ Chương này sẽ giới thiệu nguyên lý thiết kế và cài đặt các hệ cơ sở dữ liệu quan hệ. Kỹ thuật chuyển đổi một quan hệ chưa chuẩn hóa về một nhóm các quan hệ ở dạng chuẩn 3NF không bị tổn thất thông tin, trong một số trường hợp các phép tách vẫn bảo toàn các phụ thuộc. Nội dung của chương bao gồm: • Tách một lược đồ quan hệ • Các dạng chuẩn hóa tiếp dữ liệu. 4.1 Mở đầu Mục tiêu của lý thuyết CSDL là tính độc lập của dữ liệu. Cấu trúc lưu trữ các hệ cơ sở dữ liệu phản ảnh tính hiện thực, khách quan và tính toàn vẹn dữ liệu. Vì vậy trong quá trình chuẩn hoá dữ liệu và tìm kiếm thông tin, cần thiết phải thực hiện các phép tách lược đồ quan hệ chưa chuẩn hoá về tập các lược đồ quan hệ chiếu đã được chuẩn hoá, sao cho quá trình tách không làm tổn thất thông tin (lossless- mất mát thông tin), theo nghĩa các quan hệ gốc được khôi phục chính xác từ phép kết nối tự nhiên của các quan hệ chiếu. Tách - kết nối các lược đồ quan hệ có làm tổn thất thông tin hay không, có bảo toàn các phụ thuộc hay không đã được nhiều người quan tâm nghiên cứu, giải quyết. A.V. Ho , C.Beeri & J.D. Ullman giới thiệu thuật toán xác định phép kết nối các lược đồ quan hệ không có tổn thất thông tin với giả thiết các phụ thuộc dữ liệu là các phụ thuộc hàm. Các ông cũng đã mở rộng vấn đề này cho các trường hợp phụ thuộc dữ liệu là phụ thuộc đa trị. 4.2 Phép tách – kết nối không tổn thất thông tin 4.2.1 Phép tách Cho s = là một lược đồ quan hệ, trong đó Ω = {A1, A2,..., An} là tập các thuộc tính và F là tập các phụ thuộc hàm. Gọi ϕ[Ω1 , Ω2 , .. , Ωp ] là một phép tách (hay còn gọi là một phân hoạch) của s= , nếu: a) Ωi ⊆ Ω , i=1÷ p b) Ω = Ω 1 ∪ .. ∪ Ωp c) Fi := F⏐Ωi := πΩ i (F ) := {X → Y ∈ F , XY ⊆ Ωi } , i = 1 ÷ p. d) si:= : = πΩi (S), i = 1 ÷ p. Như vậy, nếu ϕ [Ω1 , Ω2 , .. , Ωp ] là một phép tách của s= , khi đó tập các phụ thuộc Fi := F⏐Ωi = πΩ i (F ) được gọi là tập các phụ thuộc chiếu F trên các tập thuộc tính tương ứng Ωi . Và các lược đồ si = : = πΩi (S) gọi là các lược đồ chiếu trên các tập thuộc tính Ωi với i =1÷ p. Nếu R là một quan hệ trên tập các thuộc tính Ω, khi đó các quan hệ chiếu sẽ là RΩi : = πΩi (R) , i =1÷ p, nghĩa là các quan hệ chiếu πΩi (R) chỉ bao gồm các thuộc tính Ωi, i =1÷ p. 76
Chương I: Khái niệm cơ bản về các hệ cơ sở dữ liệu 4.2.2 Tách - kết nối tự nhiên Phép tách ϕ [Ω1 , Ω2 , .. , Ωp ] được gọi là phép tách - kết nối tự nhiên của của lược đồ quan hệ s= , nếu: a) ϕ [Ω1 , Ω2 , .. , Ωp ] là một phép tách của s= . b) Kết quả của phép kết nối tự nhiên của các lược đồ chiếu πΩi (S), i = 1 ÷ p, là một lược đồ mϕ (s) trên các thuộc tính Ω = Ω 1 ∪ Ω 2 ∪. ∪ Ωp . mϕ (s):=πΩ1 (s) ⏐>
Page 1 and 2:
HỌC VIỆN CÔNG NGHỆ BƯU CHÍ
Page 3 and 4:
LỜI NÓI ĐẦU Tài liệu “C
Page 5 and 6:
Chương I: Khái niệm cơ bản
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13 and 14:
Page 15 and 16:
Page 17 and 18:
Page 19 and 20:
Page 21 and 22:
2 CÁC MÔ HÌNH CƠ SỞ DỮ LI
Page 23 and 24:
Page 25 and 26:
Page 27 and 28:
Page 29 and 30:
Page 31 and 32:
Page 33 and 34:
Page 35 and 36:
Page 37 and 38:
Page 39 and 40:
Page 41 and 42:
Page 43 and 44:
Page 45 and 46:
Page 47 and 48:
Page 49 and 50: Chương I: Khái niệm cơ bản
Page 99: Chương I: Khái niệm cơ bản
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Page 195 and 196:
Page 197 and 198:
Page 199 and 200:
Page 201 and 202:
Page 203 and 204:
7 AN TOÀN DỮ LIỆU VÀ TÍNH TO
Page 205 and 206:
Page 207 and 208:
Page 209 and 210:
Page 211 and 212:
Page 213 and 214:
Page 215 and 216:
Page 217 and 218:
Tài liệu tham khảo [1] Codd E.
Page 219 and 220:
Page 221 and 222:
Page 223:
CƠ SỞ DỮ LIỆU Mã số: 492C
show all

Cơ sở dữ liệu - e-ptit.edu.vn

Create successful ePaper yourself

Delete template?

Save as template?