Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh

Cho lược đồ quan hệ R(Ω) và các tập thuộc tính X, Y  Ω.

Ta nói X quyết định Y hay Y phụ thuộc hàm vào X (ký hiệu: X→Y) khi và chỉ khi với mọi quan hệ r trên R(Ω) và với 02 bộ t1, t2 bất kỳ thuộc r ta luôn có: Nếu t1[X] = t2[X] thì t1[Y] = t2[Y]

Lưu ý:

+ Phụ thuộc hàm X →  đúng với mọi quan hệ r

+ Phụ thuộc hàm  → Y đúng với quan hệ r có cùng giá trị trên Y

 

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 1

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 1

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 2

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 2

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 3

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 3

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 4

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 4

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 5

Bài giảng Cơ sở dữ liệu và quản trị cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm - Nguyễn Vương Thịnh trang 5

Tải về để xem đầy đủ hơn

pptx45 trang | Chia sẻ: cucnt | Lượt xem: 313 | Lượt tải: 0download

File đính kèm:

  • pptxbai_giang_co_so_du_lieu_va_quan_tri_co_so_du_lieu_chuong_5_l.pptx