Bài giảng Cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm

Bài giảng cung cấp cho người học các kiến thức: Lý thuyết về phụ thuộc hàm. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.
Nội dung trích xuất từ tài liệu:
Bài giảng Cơ sở dữ liệu - Chương 5: Lý thuyết về phụ thuộc hàm TRƯỜNG ĐẠI HỌC HÀNG HẢI VIỆT NAM KHOA CÔNG NGHỆ THÔNG TINBÀI GIẢNG HỌC PHẦNCƠ SỞ DỮ LIỆU VÀ QUẢN TRỊ CƠ SỞ DỮ LIỆU Chương5 LÝTHUYẾTVỀPHỤTHUỘCHÀM Giảngviên:ThS.NguyễnVươngThịnh B ộm ô n : H ệt h ốn g t h ô n g t in HảiPhòng,2016 Th ô n g t in v ềg i ản g v iê n Họ và tên Nguyễn Vương Thịnh Đơn vị công tác Bộ môn Hệ thống thông tin – Khoa Công nghệ thông tin Học vị Thạc sỹ Chuyên ngành Hệ thống thông tin Cơ sở đào tạo Trường Đại học Công nghệ - Đại học Quốc Gia Hà Nội Năm tốt nghiệp 2012 Điện thoại 0983283791 Email thinhnv@vimaru.edu.vn Website http://scholar.vimaru.edu.vn/thinhnv2 Th ô n g t in v ềh ọc p h ần Tên học phần Cơ sở dữ liệu và quản trị cơ sở dữ liệu Tên tiếng Anh Database and Database Management Mã học phần 17425 Số tín chỉ 04 tín chỉ (LT: 45 tiết, TH: 30 tiết) Bộ môn phụ trách Hệ thống thông tin PHƯƠNGPHÁPHỌCTẬP,NGHIÊN CỨ v UN g h e g i ản g , t h ảo lu ận , t ra o đ ổiv ớig i ản g v iê n t rê n l ớp . PH v TựN ƯƠ nGP HÁP g h iê n cứ ĐuÁN t àHGIÁ ili ệu v à là m b à it ập ởn h à . v S Vp h ảit h a m d ự ít n h ất 7 5 %t h ờig ia n . v Có 0 2 b à i k i ểm t ra v i ết g i ữa h ọc p h ần ( X2 = ( L1 + L2 ) /2 ) , 0 1 b à i k i ểm t ra t h ực h à n h ( X3 ) . Đ i ểm q u á t rìn h X= ( X2 + X3 ) /2 .3 v Th i k ết t h ú c h ọc p h ần b ằn g h ìn h t h ức t r ắc n g h i ệm Tàiliệuthamkhảo1. Elmasri, Navathe, Somayajulu, Gupta, Fundamentals of Database Systems(the4thEdition), Pearson Education Inc, 2004.2. Nguyễn Tuệ, Giáo trình Nhập môn Hệ Cơ sở dữ liệu, Nhà xuất bản Giáo dục Việt Nam, 2007.3. Nguyễn Kim Anh, N g u y ê n lý c ủa c á c h ệ C ơ s ở d ữ li ệu , Nhà xuất bản Đại học Quốc gia Hà Nội, 2004.4 Tà ili ệu t h a m k h ảo5 LÝ THUYẾT VỀ PHỤ THUỘC HÀM5.1. PHỤ THUỘC HÀM VÀ HỆ TIÊN ĐỀ ARMSTRONG5.2. BAO ĐÓNG CỦA TẬP PHỤ THUỘC HÀM5.3. BAO ĐÓNG CỦA TẬP THUỘC TÍNH5.4. PHỦ TỐI THIỂU CỦA TẬP PHỤ THUỘC HÀM5.6. KHÓA CỦA LƯỢC ĐỒ QUAN HỆ6GiáosưWilliamWardArmstrongĐ ạih ọc Mo n t re a l, Ca n a d a75.1.PHỤTHUỘCHÀMVÀHỆTIÊNĐỀARMSTRONG5.1.1. ĐỊNH NGHĨA PHỤ THUỘC HÀMVí dụ: Xét quan hệ trên lược đồ quan hệ Đặt Hàng Đơn vị Số Ngày Mã KH Tên KH Số CMND Điện Thoại Mã MH Tên MH Đơn Giá tính Lượng Đặt KH01 An 031275568 0988812322 MH01 USB 32G Chiếc 25$ 30 11/6 KH02 Bình 031254678 0912345678 MH02 Ốp lưng Chiếc 10$ 100 20/7 KH01 An 031275568 0988812322 MH02 Ốp lưng Chiếc 20$ 50 28/7 KH03 Cường 031255566 0987654323 MH01 USB 32G Chiếc 25$ 25 29/7 KH02 Bình 031254678 0912345678 MH03 Thẻ 16G Chiếc 15$ 20 01/8 KH03 Cường 031255566 0987654323 MH03 Thẻ 16G Chiếc 15$ 55 09/10 MãKHquyếtđịnhTênKH,SốCMND,ĐiệnThoại Kýhiệu:MãKH→ TênKH,SốCMND,ĐiệnThoại SốCMNDquyếtđịnhMãKH,TênKH,ĐiệnThoại Kýhiệu:SốCMND→ MãKH,TênKH,ĐiệnThoại Phụthuộchàm MãMHquyếtđịnhTênMH,ĐơnVịTính,ĐơnGiá Kýhiệu:MãMH→ TênMH,ĐơnVịTính,ĐơnGiá MãKH,MãMHquyếtđịnhSốLượng,NgàyĐặt8 Kýhiệu:MãKH,MãMH→ SốLượng,NgàyĐặtCho 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) khivà chỉ khi với mọi quan hệ r trên R(Ω) và với 02 bộ t1, t2 bất kỳ thuộc rta 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 X Y ...