Bài giảng Cơ sở dữ liệu - Chương 7.1: Mô hình quan hệ - Các khái niệm

Chia sẻ: Cố Dạ Bạch | Ngày: | Loại File: PDF | Số trang:16

Thêm vào BST

Báo xấu

5
lượt xem 3
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài giảng Cơ sở dữ liệu - Chương 7.1: Mô hình quan hệ - Các khái niệm. Chương này cung cấp cho sinh viên những nội dung gồm: miền, lược đồ quan hệ; quan hệ, cấp của quan hệ; lược đồ quan hệ và quan hệ; siêu khóa và khóa của lược đồ quan hệ; khóa ngoài của lược đồ quan hệ;... Mời các bạn cùng tham khảo!

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Bài giảng Cơ sở dữ liệu - Chương 7.1: Mô hình quan hệ - Các khái niệm

BÀI GI NG CƠ S D LI U 7. Mô hình quan h : Các khái ni m Nguy n H i Châu Khoa Công ngh Thông tin Trư ng Đ i h c Công ngh , ĐHQGHN N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 1 / 16
Mi n, lư c đ quan h M t mi n D (ho c mi n giá tr ) là m t t p h p các giá tr nguyên t : m i giá tr trong mi n là không th phân chia đư c Đ đ c t m t mi n, ngư i ta ch ra m t tên, m t ki u d li u và khuôn d ng d li u, ví d : Mi n D1 : ki u d li u s nguyên có d u 16 bit Mi n D2 : ki u d li u nhãn th i gian (timestamp: 2020-03-07 10:01:30) Mi n D3 : ki u d li u chu i ký t có đ dài nh hơn 32 M t lư c đ quan h R, ký hi u là R(A1 , A2 , ..., An ), đư c t o nên t m t tên R và m t danh sách các thu c tính A1 , A2 , . . . , An v i Dom(Ai ) là mi n giá tr c a Ai N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 2 / 16
Quan h , c p c a quan h M t quan h (ho c tr ng thái quan h ) c a lư c đ quan h R(A1 , A2 , . . . , An ) đư c ký hi u là r (R), là t p h p r (R) = {t1 , t2 , ..., tm }, trong đó m i ti đư c g i là m t n-b : M i n-b t =< v1 , v2 , . . . , vn > là m t danh sách có th t c a n giá tr vi , i = 1, n, trong đó m i vi , 1 ≤ i ≤ n, là m t ph n t c a Dom(Ai ) ho c là m t giá tr không xác đ nh null Giá tr th i c a b t đư c ký hi u là t[Ai ]: t[Ai ] = vi Hai b t, s trong r (R) đư c đ nh nghĩa là b ng nhau t = s khi và ch khi t[Ai ] = s[Ai ]∀i = 1, n C p (ho c ngôi) c a m t quan h là s các thu c tính c a lư c đ quan h c a nó C p c a lư c đ quan h R chúng ta đang xem xét là n N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 3 / 16
Ví d : Lư c đ quan h và quan h Lư c đ quan h CONGDAN(SoCMND, HoTen, NgaySinh, GioiTinh) Mi n c a các thu c tính c a lư c đ quan h CONGDAN: Dom(SoCMND) = {S t nhiên có ít hơn 13 ch s } Dom(HoTen) = {Chu i ký t đ dài nh hơn 32}, Dom(NgaySinh) = Date và Dom(GioiTinh) = {’Nam’, ’N ’} Quan h r1 (CONGDAN) c a lư c đ quan h CONGDAN: SoCMND HoTen NgaySinh GioiTinh 1 Đ Nam Trung 1990-06-07 Nam 2 Nguy n Đông Anh 1991-02-10 Nam 3 Tr n Thu Ngân 1995-10-17 N 4 Hoàng Vũ 1980-01-01 Nam 5 Lê Quỳnh Chi 2000-10-10 N t1 [SoCMND] = 1, t1 [SoCMND, HoTen] =< 1, Đ Nam Trung >, t3 [HoTen, NgaySinh, GioiTinh] =< Tr n Thu Ngân, 1995-10-17, N > N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 4 / 16
Siêu khóa và khóa c a lư c đ quan h M t siêu khoá SK là m t t p các thu c tính c a R th a mãn: Không có hai b khác nhau trong m t tr ng thái r (R) có cùng m t giá tr cho SK , hay nói cách khác: ∀ti , tj ∈ r (R), i = j; ti = tj thì ti [SK ] = tj [SK ] M t khóa K là m t siêu khóa t i thi u, nghĩa là n u b đi m t t p con S b t kỳ c a K , K s không còn là siêu khóa n a: K \ S không là siêu khóa ∀S ⊂ K N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 5 / 16
Ví d siêu khóa và khóa Lư c đ quan h CONGDAN(SoCMND, HoTen, NgaySinh, GioiTinh): Siêu khóa: SK = {SoCMND, HoTen, NgaySinh} Khóa: K = {SoCMND} Ch ra khóa trong lư c đ quan h : CONGDAN(SoCMND, HoTen, NgaySinh, GioiTinh) M t lư c đ quan h có th có nhi u siêu khóa và nhi u khóa N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 6 / 16
Khóa ngoài c a lư c đ quan h M t t p h p thu c tính FK1 trong lư c đ quan h R1 là m t khoá ngoài c a R1 tham chi u đ n lư c đ quan h R2 n u nó tho mãn các đi u ki n sau: 1 Các thu c tính trong FK1 có cùng mi n giá tr v i các thu c tính c a khoá chính PK2 trong R2 . 2 Gi s t1 là m t b b t kỳ c a r1 (R1 ). Khi đó: t1 [FK1 ] nh n giá tr null, ho c ∃t2 ∈ r2 (R2 ) : t1 [FK1 ] = t2 [PK2 ]. Khi đó ta nói b t1 tham chi u đ n b t2 R1 đư c g i là lư c đ quan h tham chi u và R2 đư c g i là lư c đ quan h b tham chi u T p FK1 đư c g i là t p thu c tính tham chi u đ n lư c đ quan h R2 N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 7 / 16
Ví d khóa ngoài: Lư c đ quan h Xét lư c đ quan h VATNUOI(Loai, MauLong, SoCMNDChu), trong đó mi n c a Loai và MauLong là chu i ký t có đ dài nh hơn 20, SoCMNDChu là t p s t nhiên có ít hơn 13 ch s SoCMND là khóa chính c a lư c đ quan h CONGDAN SoCMNDChu là khóa ngoài c a lư c đ quan h VATNUOI tham chi u đ n SoCMND là khóa chính c a lư c đ quan h CONGDAN N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 8 / 16
Ví d khóa ngoài: Tr ng thái quan h Quan h r1 (CONGDAN) (b tham chi u): SoCMND HoTen NgaySinh GioiTinh 1 Đ Nam Trung 1990-06-07 Nam 2 Nguy n Đông Anh 1991-02-10 Nam 3 Tr n Thu Ngân 1995-10-17 N 4 Hoàng Vũ 1980-01-01 Nam 5 Lê Quỳnh Chi 2000-10-10 N Quan h r2 (VATNUOI) (tham chi u): Loai MauLong SoCMNDChu Mèo đen-tr ng 1 Chó Tr ng 3 Chó Vàng null N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 9 / 16
Ví d khóa ngoài: Tr ng thái quan h SoCMND HoTen NgaySinh GioiTinh 1 Đ Nam Trung 1990-06-07 Nam 2 Nguy n Đông Anh 1991-02-10 Nam 3 Tr n Thu Ngân 1995-10-17 N 4 Hoàng Vũ 1980-01-01 Nam 5 Lê Quỳnh Chi 2000-10-10 N Loai MauLong SoCMNDChu Gi i thích Mèo đen-tr ng 1 Đ Nam Trung Chó Tr ng 3 Tr n Thu Ngân Chó Vàng null null Không đúng v i đ nh Mèo Tam th 10 nghĩa khóa ngoài N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 10 / 16
Các ràng bu c quan h Các ràng bu c mi n: Các ràng bu c mi n ch ra r ng giá tr c a m i thu c tính A ph i là m t giá tr nguyên t thu c mi n giá tr Dom(A) Ràng bu c khóa: V i hai b khác nhau b t kỳ t1 và t2 trong m t tr ng thái quan h r c a R chúng ta có ràng bu c là t1 [SK ] = t2 [SK ] Ràng bu c trên giá tr không xác đ nh ch ra khi nào mi n giá tr c a m t thu c tính đư c phép ch a giá tr null N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 11 / 16
Cơ s d li u quan h và lư c đ cơ s d li u quan h M t lư c đ cơ s d li u quan h S là m t t p h p các lư c đ quan h S = {R1 , R2 , . . . , Rn } và m t t p các ràng bu c toàn v n C M t tr ng thái cơ s d li u quan h (ho c m t cơ s d li u quan h ) DB(S) là m t t p h p các tr ng thái quan h DB(S) = {r1 , r2 , . . . , rn } sao cho m i ri là m t tr ng thái c a Ri và sao cho các tr ng thái quan h ri tho mãn các ràng bu c toàn v n ch ra trong C N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 12 / 16
Các ràng bu c toàn v n Các ràng bu c toàn v n bao g m: Ràng bu c toàn v n th c th đư c phát bi u là: khoá chính ph i luôn luôn có giá tr xác đ nh, nghĩa là không đư c phép có giá tr null Ràng bu c toàn v n tham chi u đư c phát bi u là: m t b giá tr trong m t quan h có tham chi u đ n m t quan h khác ph i tham chi u đ n m t b giá tr t n t i trong quan h đó, ho c nh n các giá tr null N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 13 / 16
Ví d lư c đ cơ s d li u quan h Lư c đ cơ s d li u S: T p các lư c đ quan h : S = {CONGDAN(SoCMND, HoTen, NgaySinh, GioiTinh), VATNUOI = (Loai, MauLong, SoCMNDChu)} T p các ràng bu c toàn v n C = {C1 , C2 }: Ràng bu c toàn v n th c th C1 : thu c tính SoCMND là khóa chính c a CONGDAN, không đư c nh n giá tr null Ràng bu c toàn v n tham chi u C2 : thu c tính SoCMNDChu là khóa ngoài c a VATNUOI tham chi u đ n khóa chính SoCMND c a CONGDAN; các giá tr c a thu c tính SoCMNDChu ph i tham chi u đ n m t giá tr có trong SoCMND c a quan h r1 (CONGDAN) ho c là null N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 14 / 16
Ví d cơ s d li u quan h 1 Cơ s d li u (ho c tr ng thái cơ s d li u) DB1 (S): Các tr ng thái quan h : SoCMND HoTen NgaySinh GioiTinh 1 Đ Nam Trung 1990-06-07 Nam 2 Nguy n Đông Anh 1991-02-10 Nam 3 Tr n Thu Ngân 1995-10-17 N 4 Hoàng Vũ 1980-01-01 Nam 5 Lê Quỳnh Chi 2000-10-10 N Loai MauLong SoCMNDChu Mèo đen-tr ng 1 Chó Tr ng 3 Chó Vàng null Tr ng thái DB1 (S) th a mãn các ràng bu c toàn v n th c th C1 và ràng bu c toàn v n tham chi u C2 N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 15 / 16
Ví d cơ s d li u quan h 2 Cơ s d li u (ho c tr ng thái cơ s d li u) DB2 (S): Các tr ng thái quan h : SoCMND HoTen NgaySinh GioiTinh 1 Đ Nam Trung 1990-06-07 Nam 2 Nguy n Đông Anh 1991-02-10 Nam 3 Tr n Thu Ngân 1995-10-17 N 4 Hoàng Vũ 1980-01-01 Nam 5 Lê Quỳnh Chi 2000-10-10 N Loai MauLong SoCMNDChu Mèo đen-tr ng 1 Chó Tr ng 3 Chó Vàng null Mèo Tam th 10 Tr ng thái DB2 (S) th a mãn ràng bu c toàn v n th c th C1 , nhưng không th a mãn ràng bu c toàn v n tham chi u C2 N. H. Châu (VNU-UET) Cơ s d li u: Mô hình quan h (1) https://bit.ly/37k5cab 16 / 16