Chơng I: Tổng quan sở liệu Một số khái niệm 1.1 Cơ sở liệu Cơ sở liệu (Database, viết tắt l CSDL) l lĩnh vực nghiên cứu mô hình, nguyên lý, phơng pháp tổ chức liệu vật mang tin Để dễ dng cho việc giải thích khái niệm, trớc hết xem xét hệ thống bán vé máy bay máy tính Dữ liệu lu trữ máy tính bao gồm thông tin hnh khách, chuyến bay, đờng bay v v Mọi thông tin mối quan hệ ny đợc biểu diễn máy thông qua việc đặt chỗ khách hng Vậy lm no để biểu diễn đợc liệu v đảm bảo cho hnh khách chuyến Dữ liệu nêu đợc lu máy theo quy định no v đợc gọi l sở liệu Nh vậy, CSDL l tập hợp thông tin có quan hệ với đợc lu trữ máy tính theo qui định định nhằm phục vụ cho mục đích no 1.2 Hệ quản trị sở liệu (Database Management System- HQTCSDL) Hệ quản trị sở liệu l hệ thống chơng trình nhằm tạo lập, xử lý, thay đổi, quản lý v khai thác CSDL Một số HQTCSDL thông dụng nay: Foxpro, Access, Oracle, với phiên khác Có hai đặc điểm để phân biệt HQTCSDL với hệ thống lập trình khác: 1) Khả quản lí liệu cố định 2) Khả truy xuất có hiệu số lợng lớn liệu Điểm (1) khẳng định có CSDL tồn thờng xuyên v nội dung CSDL ny l liệu đợc HQTCSDL truy xuất v quản lí Lờ Th Cm Nhung http://www.ebook.edu.vn Điểm (2) phân biệt HQTCSDL với hệ thống quản lí tập tin quản lí liệu cố định nhng nói chung không cho phép truy xuất nhanh chóng thnh phần tuỳ ý liệu Ngoi có số khả khác thờng gặp HQTCSDL thị trờng 3) HQTCSDL hỗ trợ mô hình liệu nhờ ngời sử dụng xem đợc liệu 4) HQTCSDL hỗ trợ số ngôn ngữ bậc cao cho phép ngời sử dụng định nghĩa câu trúc liệu, truy xuất liệu thao tác liệu 5) HQTCSDL quản lí giao dịch, nghĩa cho phép nhiều ngời sử dụng truy xuất đồng thời xác đến CSDL 6) HQTCSDL điều khiển trình truy xuất, khả giới hạn trình truy xuất liệu ngời không đợc phép khả kiểm tra độ tin cậy liệu 7) HQTCSDL có khả tự thích ứng khả phục hồi lại liệu cố hệ thống mà làm liệu Các mô hình liệu Mô hình CSDL( Database Model ) Mô hình CSDL l hệ hình thức toán học gồm có hai phần: 1) Một hệ thống ký hiệu để mô tả liệu 2) Một tập hợp phép toán thao tác liệu Một số mô hình CSDL thông dụng 2.1 Mô hình mạng Khái niệm: Mô hình mạng l mô hình sơ đồ thực thể liên kết vi tất liên kết đợc hạn chế l liên kết hai nhiều Hn ch n y cho phép s dng th có hng n gin biu din d liu mô hình n y Trong mô hình mng, thc th c chuyn Lờ Th Cm Nhung http://www.ebook.edu.vn th nh kiu bn ghi logic Các kiu bn ghi logic bao gm mt trng, mi trờng chứa giá trị l số nguyên hay xâu ký tự Tập tên trờng v kiểu chúng cấu th nh quy cách ghi logic 2.2 Mô hình phân cấp Một mô hình phân cấp đơn giản l mô hình mạng m l rừng (tập cây) có tất móc nối trỏ theo hớng từ đến cha Chúng ta tiếp tục sử dụng thuật ngữ mô hình mạng: kiểu ghi logic nói mô hình phân cấp 2.3 Mô hình quan hệ : L mô hình dựa vo ký hiệu l tập tên v sở toán học l phép toán tập hợp v ánh xạ Nó l mô hình phổ biến Tập phép toán mô hình ny dựa hai hệ ký hiệu: hệ ký hiệu đại số v hệ ký hiệu logic 2.4 Mô hình thực thể liên kết : L mô hình cho phép mô tả thực thể thông qua thuộc tính v mối liên hệ thực thể Một cách biểu thị mô hình thực thể l dùng đồ thị, sơ đồ khối Mục đích mô hình thực thể- liên hệ l cho phép mô tả lợc đồ khái niệm tổ chức m không cần ý đến tính hiệu thiết kế CSDL vật lý đợc mong đợi nh phần lớn mô hình khác Ngời ta thừa nhận Sơ đồ thực thể liên kết ( Entity Relationship Diagram) chuyển lợc đồ khái niệm mô hình khác (ví dụ mô hình quan hệ) m hệ thống CSDL thực đợc xây dựng cách đơn giản 2.4.1 Thực thể Thuật ngữ thực thể (Entity) định nghĩa hình thức Thực thể l vật tồn v phân biệt đợc, nghĩa l phân biệt đợc thực thể ny với thực thể khác Ví dụ ngời l thực thể, xe máy l thực thể Khái niệm Tính phân biệt đợc gần với đặc tính nhận dạng đối tợng mô hình thực thể liên hệ đợc xem nh l mô hình hớng đối tợng Lờ Th Cm Nhung http://www.ebook.edu.vn 2.4.2 Tập thực thể Một nhóm bao gồm tất thực thể tơng tự tạo tập thực thể Ví dụ 1.4: Các tập thực thể + Tất ngời quan + Tất ngời có tóc đỏ + Tất xe gắn máy Một bớc mấu chốt để chọn lợc đồ cho giới thực thuộc CSDL cụ thể l lựa chọn tập thực thể Khái niệm tập thực thể l khái niệm mức lợc đồ Khái niệm mức thể tơng ứng l tập hnh tất phần tử tập thực thể cho trớc diện CSDL 2.4.3 Thuộc tính khoá + Thuộc tính: Các đặc tính tập thực thể gọi l thuộc tính Mỗi thuộc tính tập thực thể lấy giá trị miền dnh cho thuộc tính Thờng miền giá trị thuộc tính l tập số nguyên, tập số thực chuỗi ký tự nhng không loại trừ kiểu giá trị khác Thí dụ tập thực thể ngời khai báo có thuộc tính nh họ v tên (chuỗi ký tự), chiều cao (số thực), ngy sinh (ngy tháng năm), Chọn thuộc tính thích hợp cho tập thực thể l bớc quan trọng việc thiết kế lợc đồ CSDL khái niệm + Khóa: Mỗi thuộc tính tập thuộc tính dùng để xác định cách thực thể tập thực thể gọi l khóa tập thực thể Về nguyên tắc, thực thể có khóa, thực thể phân biệt đợc với thực thể khác Nếu không chọn đợc tập thuộc tính có chứa khóa cho tập thực thể khả Lờ Th Cm Nhung http://www.ebook.edu.vn phân biệt đợc thực thể ny với thực thể tập thực thể Trong trờng hợp ny số đếm thờng đợc gán lm thuộc tính khóa Ví dụ 1.5: Một tập thực thể bao gồm công dân Việt Nam dùng thuộc tính Số chứng minh th (IDNO) lm khoá Tuy nhiên, muốn xác định cách công dân nhiều quốc gia đảm bảo đợc hai quốc gia không dùng hai số chứng minh th giống Vì vậy, khoá thích hợp phải gồm cặp thuộc tính IDNO v COUNTRY (nớc) 2.4.4 Mối liên hệ Mối liên hệ (Relationship) tập thực thể l danh sách có thứ tự tập thực thể Một tập thực thể đặc biệt xuất nhiều lần danh sách Danh sách tập thực thể ny l khái niệm mức lợc đồ mối liên hệ Nếu có mối liên hệ R tập thực thể E1, E2, E3, , EK thể R l tập k bộ, tập nh đợc gọi l tập liên hệ Mỗi k (e1, , ek) tập liên hệ R khảng định thực thể e1, e2, ,ek ei Ei ; i =1, , k liên kết với thnh nhóm mối liên hệ R Trờng hợp thông dụng l k =2 Ví dụ 1.7: Có tập thực thể PERSONS có mối liên hệ MOTHER_OF v danh sách thực thể l PERSONS, PERSONS Tập liên hệ tơng ứng với mối liên hệ MOTHER_OF gồm tất cặp (P1, P2) cho cá thể P2 l mẹ cá thể P1 Một cách khác để biểu diễn thông tin ny l thừa nhận tồn tập thực thể MOTHERS v mối liên hệ MOTHERS isa PERSONS Do mối liên hệ MOTHER_OF l danh sách tập PERSONS, MOTHERS Lờ Th Cm Nhung http://www.ebook.edu.vn 2.4.5 Thuộc tính khoá vay mợn Trong mối liên hệ ISA A isa B đơng nhiên khoá A l khoá B v thuộc tính ny không xuất nh thuộc tính tập A m vay mợn tập B Ví dụ 1.8: (Trong ví dụ 1.6) Khoá tập DANGVIEN l thuộc tính MANV NHANVIEN Vì vậy, Đảng viên đợc xác định cách nhờ vo MaNV NHANVIEN Nhiều thuộc tính khoá tập thực thể A l thuộc tính tập thực thể B nhờ mối liên hệ R ISA Điều ny cần thiết để cung cấp cho thực thể a A thực thể b B Ví dụ 1.9: Chẳng hạn, (trong ví dụ 1.5) công dân có thuộc tính Country v với IDNO để tạo khoá cho công dân điều có nghĩa l việc thiết kế CSDL xem quốc gia nh kiểu thực thể khác v có mối liên hệ Country_of liên kết công dân với quốc gia Vì vậy, công dân phải mợn thuộc tính Country để với IDNo lm khoá Trong ví dụ thuộc tính MANV, Country l thuộc tính khoá vay mợn 2.4.6 Sơ đồ thực thể liên kết Qui ớc: a Các hình chữ nhật biểu diễn tập thực thể b Các vòng tròn elíp biểu diễn thuộc tính Chúng đợc liên kết với tập thực thể cạnh ( vô hớng) Các thuộc tính l thnh phần khóa cho tập thực thể đợc gạch dới Trờng hợp đặc biệt tập thực thể có thuộc tính gọi tập thực thể tên thuộc tính tập Khi tập thực thể l vòng tròn l hình chữ nhật v gắn kết với mối liên hệ m tập hm chứa Lờ Th Cm Nhung http://www.ebook.edu.vn c Các hình thoi biểu diễn mối liên hệ Chúng đợc liên kết với các tập thnh viên cạnh vô hớng có hớng (các cung) Ví dụ 1.10: Giả sử ta có tập thực thể EMPS (Nhân viên) có thuộc tính Location Salary EMPS DEPTS ASSIGNED_TO DNAME ENO ENAME DNO MANAGES S ENO Hình 2.1: Ví dụ sơ đồ thực thể - liên kết ENO, EName, Salary ( ENO l khoá), DEPTS (Phòng) có thuộc tính DNO, DName, Location (DnO l khoá), MANAGERS (Trởng phòng) có thuộc tính ENO (ENO l khoá) Hai tập đầu liên kết nhờ mối liên hệ ASSIGNED_TO (thuộc phòng) v hai tập sau nhờ liên hệ MANAGES (quản lí) Lờ Th Cm Nhung http://www.ebook.edu.vn 2.4.7.Tính chất hàm mối liên hệ Để mô hình hóa đầy đủ giới thực cần phải phân loại mối liên hệ theo số lợng thực thể từ tập tham gia vo mối liên hệ a) Mối liên hệ Một mối liên hệ - (one to one ralationship) l mối liên hệ m với thực thể tập thực thể ny có nhiều phần tử đợc liên kết tập thực thể Ví dụ 1.11: Mối liên hệ MANAGES depts v MANAGER ví dụ đợc khai báo l mối liên hệ - Nếu nh CSDL không tìm đợc nhiều trởng phòng cho phòng v ngời no quản lý nhiều phòng Có thể l thời điểm phòng no trởng phòng, chí có ngời có tên danh sách trởng phòng lại không quản lý phòng no Tính một- mối liên hệ ny l giả thiết giới thực Vì vậy, ngời thiết kế CSDL tuỳ ý chọn lựa Vẫn cho ngời lãnh đạo phòng chí phòng có trởng phòng mối quan hệ l nhiều - nhiều Tuy nhiên cho MANAGES l mối liên hệ - có ích thiết kế CSDL vật lý b) Mối liên hệ nhiều Một mối liên hệ tập thực thể E1 v E2 đợc gọi l mối liên hệ nhiều (many - one relationship) thực thể tập E2 không liên kết với thực thể no liên kết với hay nhiều thực thể tập E1, nhng thực thể tập thực thể E1 liên kết nhiều với thực thể tập thực thể E2 Ví dụ 1.12: Mối liên hệ ASSGNED_TO EMPS v DEPS ví dụ l mối liên hệ nhiều-một, có nghĩa l nhân viên lm việc phòng, vi nhân viên nh giám đốc chẳng hạn không gán cho phòng no v phòng có nhiều nhân viên Lờ Th Cm Nhung http://www.ebook.edu.vn Khái niệm liên hệ nhiều - tổng quát hóa thnh mối liên hệ ba tập trở lên Nếu có mối liên hệ R tập E1, E2, , Ek v với thực thể tất tập thực thể trừ Ei có nhiều thực thể Ei có liên hệ với chúng ta gọi R l mối liên hệ nhiều từ E1, E2, , Ek (trừ Ei) đến Ei c) Mối liên hệ nhiều nhiều Chúng ta gặp mối liên hệ nhiều nhiều, môt hạn chế no tập k thực thể xuất tập liên hệ Một mối liên nhiều - nhiều (many-many relationship) l mối liên hệ m với thực thể tập thực thể ny không liên kết với thực thể no liên kết với hay nhiều thực thể tập thực thể Ví dụ 1.13: Mối liên hệ SUPPLIES tập thực thể SUPPLIERS gồm thuộc tính SNO, SNAME, SADDR v tập thực thể PRODUCTS gồm thuộc tính PNO, PNAME, COLOR, WEIGHT l mối liên hệ nhiều - nhiều Trong thực hnh mối liên hệ nhiều - nhiều thờng hay gặp nên phải cẩn thận cách diễn đạt mối liên hệ ny lợc đồ khái niệm CSDL thực (thiết kế thực thể - liên hệ l lợc đồ khái niệm, l bảng phác thảo v cần chuyển đổi tập thực thể v mối liên hệ mô hình liệu m DBMS hỗ trợ) Nhiều mô hình liệu không cho phép biểu diễn trực tiếp mối liên hệ nhiều - nhiều, yêu cầu phải phân chúng thnh mối liên hệ nhiều - 2.5 Mô hình hớng đối tợng : L mô hình cung cấp đặc tính nhận dạng đối tợng Trong lớp đối tợng đợc đặc trng hai yếu tố: a) Tập thuộc tính (properties) để nhận dạng đối tợng b) Tập phơng thức (methods) để thao tác với đối tợng Lờ Th Cm Nhung http://www.ebook.edu.vn Câu hỏi tập chơng 1.1 Nêu khái niệm CSDL 1.2 Nêu khái niệm HQTCSDL, phân biệt với hệ thống lập trình khác 1.3 Nêu kiến trúc hệ CSDL v phân biệt mức 1.4 Nêu khái niệm lợc đồ v thể hiện, cho ví dụ 1.5 Nêu khái niệm mô hình liệu 1.6 Nêu khái niệm thực thể v tập thực thể Cho ví dụ 1.7 Nêu khái niệm khoá tập thực thể v cho ví dụ 1.8 Nêu mối liên hệ tập thực thể v cho ví dụ Chơng II: Mô hình sở liệu quan hệ 1.Các khái niệm 1.1.Thuộc tính(Attribute): Thuộc tính l tính chất riêng biệt đối tợng cần đợc lu trữ CSDL để phục vụ cho việc khai thác liệu đối tợng Ví dụ 1.1: Đối tợng KHOA ( tơng ứng với loại thực thể KHOA mô hình thực thể kết hợp ) có thuộc tính Ma-khoa, Ten-khoa Loại thực thể LOP-HOC có số thuộc tính Ma-lop, Ten-lop, Nienkhoa, So-hoc-vien Loại thực thể MON-HOC có số thuộc tính Ma-mon, Ten-mon Chng hn vi b i toán qun lý im thi ca sinh viên: vi i tng sinh viên ta cn ý n c trng riêng nh h tên, ng y sinh, gii tính, a ch, lp c trng n y gi l thuc tính Các thuc tính c phân bit qua tên gi v phi thuc v o kiu d liu nht nh (s, chui, ng y tháng, có thuc tính tên ) Trong i tng không c Lờ Th Cm Nhung 10 http://www.ebook.edu.vn - Đánh giá sơ trớc thực câu hỏi Số phép toán thực hiện, tổng chi phí thực hiện: thời gian, nhớ 1.2.Biểu thức tơng quy tắc Biểu thức ngôn ngữ đại số quan hệ có hạng thức l biến quan hệ (relation variables) R1,R2, ,Rn; quan hệ đợc xác định nh l ánh xạ từ k quan hệ (r1, r2, ,rk) ri l quan hệ lợc đồ ri v thay ri vo Ri đánh giá biểu thức Hai biểu thức E1 v E2 đợc gọi l tơng đơng, viết tắt l E1 E , chúng biểu diễn ánh xạ, nghĩa l, thay quan hệ cho tên lợc đồ tơng ứng hai biểu thức E1 v E2, chunngs cho kết 1.2.1 Các quy tắc liên quan tới phép kết nối tích Đề n Quy tắc giao hoán phép kết nối tích đề Nếu E1 v E2 l hai biểu thức quan hệ v F l điều kiện thuộc tính E1 v E2 thì: E1 >< E E >< E1 // Tính giao hoán phép kết nối E1 E E E1 // Tính giao hoán phép kết nối E1 ì E E ì E1 // Tính giao hoán tích đề Chú ý: Nếu quan niệm quan hệ l tập (có thứ tự thuộc tính cố định) phép kết nối, kết nối tự nhiên v tích đề giao hoán đợc thuộc tính quan hệ kết bị thay đổi o Quy tắc kết hợp phép kết nối tích đề Nếu E1, E2, E3 l biểu thức quan hệ: F1, F2 l điều kiện thì: ( E1 >< E ) >< E3 E1 >< ( E >< E3 ) ( E1 E ) E3 E1 ( E E3 ) ( E1 ì E ) ì E3 E1 ì ( E ì E3 ) 1.2.2 Các quy tắc liên quan tới phép chọn phép chiếu Dãy phép chiếu tổ hợp lại thnh phép chiếu, biểu diễn theo trờng hợp sau: p Dy phép chiếu (E[B1B2 Bm])[A1A2 An] E[A1A2 An] đây, thuộc tính A1, ,An phải nằm tập thuộc tính B1, ,Bm Ngữ nghĩa việc biến đổi tơng đơng ny l : Nừu thực phép chiếu biểu thức quan hệ E tập thuộc tính B, sau thực tiếp phép chiếu tập thuộc tính A B quan hệ vừa tìm Lờ Th Cm Nhung 105 http://www.ebook.edu.vn đợc, kết dãy phép chiếu ny hon ton tơng đơng với phép chiếu biểu thức quan hệ E tập thuộc tính A Tơng tự, dãy phép chọn tổ hợp thnh phép chọn để kiểm tra tất điều kiện lúc v đợc biểu diễn nh sau : q Dy phép chọn : (((E : (f1)) :f2) : ) :fn E : (f1^f2 ^fn) Việc lần lợt thực phép chọn quan hệ kết phép chọn trớc biểu thức quan hệ E l tơng đơng với việc chọn E giá trị thoả mãn đồng thời tất điều kiện chọn f1, f2, fn r Giao hoán phép chọn phép chiếu (E[A1 An]: (f)) (E : (f))[A1 An] Một cách tổng quát điều kiện chọn f liên quan tới thuộc tính B1, , Bm m không nằm tập thuộc tính A1, ,An : (E[A1 An]) : (f) ((E[A1 AnB1 Bm]) : (f))[A1 An] s Giao hoán phép chọn tích đề : Nếu tất thuộc tính F l thuộc tính E1 : (E1x E2) : (f) (E1 : (f))x E2 Từ dễ dng suy rằng, F có dạng f= f1 ^ f2 f1 liên quan tới thuộc tính E1 ; f2 liên quan tới thuộc tính E2, sử dụng trờng hợp n,q,s để có : (E1xE2) : (f) (E1 : (f1))x (E2 : (f2)) Hơn f1 liên quan tới thuộc tính E1, nhng f2 liên quan tới thuộc tính E1 v E2 : (E1x E2) : (f) ((E1 : (f1)) x E2) : (f2) t Giao hoán phép chọn v phép hợp Nừu có biểu thức E = E1 E giả thiết thêm rằng, thuộc tính E1 v E2 có tên nh E thuộc tính E l phù hợp với thuộc tính E1 v thuộc tính E2, Khi : ( E1 E ) : ( f ) ( E1 : ( f )) ( E : ( f )) Nừu tên thuộc tính E1 v E2 khác với tên thuộc tính E f vế phải công thức cần thay đổi để sử dụng tên cho phù hợp u Giao hoán phép chọn v phép hiệu tập hợp (E1- E2) : (f) (E1 : (f)) (E2 : (f)) Nh nêu trờng hợp t, tên thuộc tính E1 v E2 l khác cần thay thuộc tính f vế phải biểu thức tơng đơng tơng ứng với E1 Chú ý rằng, phép chọn (E2 : (f)) l không cần thiết Trong nhiều trờng hợp, việc thực phép chọn (E2 : (f)) trớc có Lờ Th Cm Nhung 106 http://www.ebook.edu.vn hiệu l tính toán trực tiếp với E2 kích cỡ quan hệ lúc bé nhiều Các quy tắc nêu nói chung l đẩy phép chọn xuống trớc phép kết nối phép kết nối thờng thực lâu nh phép tích Đề Các Quy tắc đẩy phép chọn xuống trớc phép kết nối suy từ quy tắc q, r vs Quy tắc đẩy phép chiếu xuống trớc phép tích đề phép hợp tơng tự nh quy tắc s v t Chú ý l phơng pháp tổng quát cho việc đẩy phép chiếu xuống trớc phép hiệu tập hợp v Giao hoán phép chiếu với phép tích đề Gọi E1, E2 l hai biểu thức quan hệ, A1 An l tập thuộc tính B1, Bm l thuộc tính E1, thuộc tính lại C1, ,Ck thuộc E2 Khi : (E1x E2) [A1 An] E1[B1Bm] x E2[C1 Ck] wGiao hoán phép chiếu với phép hợp ( E1 E )[ A1 An ] E1 [A1 An ] E [ A1 An ] Nh nêu luật t, tên thuộc tính E1 v E2 l khác với thuộc tính E1 E cần thay A1 An bên vế phải tên phù hợp 2.Ví dụ thuật toán tối u hoá biểu thức quan hệ - Tới áp dụng quy tắc nêu mục 1.2 để tối u hoá biểu thức quan hệ Biểu thức tối u nguyên tắc phải tuân theo nguyên tắc nêu phần mặc nguyên tắc nghĩa l bảo đảm để tối u cho trờng hợp tơng đơng - Lu ý rằng, luôn đẩy phép chọn v phép chiếu xuống mức cng sâu cng tốt biểu diễn biểu thức quan hệ nhằm tạo nên dãy phép chọn nh phép chiếu để từ tổ chức thnh phép chọn theo sau phép chiếu Nhóm phép chọn v phép chiếu lại nhóm để thực trớc phép tính hai nh phép hợp, tích đề các, hiệu tập hợp - Có số trờng hợp đặc biệt xảy phép tính hai có hạng thức chứa phép chọn v phép chiếu đợc áp dụng biểu diễn biểu thức Khi cần xem xét cẩn thận tác động phép tính hai số trờng hợp cần phải liên kết phép chọn phép chiếu với phép hai - Kết đầu (Output) thuật toán l chơng trình bao gồm bớc sau : a áp dụng phép chọn phép chiếu đơn giản b áp dụng phép chọn v phép chiếu Lờ Th Cm Nhung 107 http://www.ebook.edu.vn c áp dụng tích đề các, phép hợp phép hiệu tập hợp cho hai hạng thức m trớc phép chọn phép chiếu đợc áp dụng cho hai hạng thức Hãy xét CSDL quản lý th viện bao gồm quan hệ sau đây: SACH(Tên-sách, Tác-giả, NhXB, Mã-sách) : l quan hệ loại sách th viện Nha-Xuat-Ban(Nh XB, Địa-chỉ, Thnh-phố) : quan hệ nh xuất Doc-Gia(Tên-ĐG, Đchỉ-ĐG, Tphố-ĐG, Số-thẻ) :quan hệ độc giả MUON-SACH(Số-thẻ, Mã-sách, Ngy-mợn) :quan hệ sổ theo dõi mợn Để lu trữ thông tin sách giả thiết thêm có khung nhìn (VIEW) theo dõi sách đợc mợn, TD-Mợn, bao gồm số thông tin bổ sung sách đợc mợn, l kết phép kết mối tự nhiên quan hệ SACH, Doc-Gia v MUONSACH, chẳng hạn đợc xác định qua biểu thức quan hệ : ((SACH x Doc-Gia x MUON-SACH) : (f)) [{S}] : f ::= (Doc-Gia.Số-thẻ= MUON-SACH.Số-thẻ) ^ (SACH.Mãsách=MUON-SACH.Mã-sách) V S l tập thuộc tính : S= {Tên-sách, Tác-giả,NhXB, SACH.Mã-sách, Tên-ĐG, ĐchỉĐG, Tphố-ĐG, Doc-Gia.Số-thẻ, Ngy-mợn} Câu hỏi : Cho biết danh sách sách cho mợn trớc ngy 27/03/1999 Biểu thức quan hệ đợc viết nh sau : (TD-Mợn : (Ngy-mợn< 27/03/1999))[Tên-sách] Hình biểu thức đợc biểu diễn hình 6.1 Lu ý l, phép toán nằm phía dới l phép toán đợc thực trớc phép toán phía [Tên-sách] //chiếu lấy cột tên sách : (Ngày-mợn[...]... toán CSDL Cơ sở dữ liệu KTCT Kinh tế chính trị LTCB Lập trình căn bản C Số-đv-học-trình 4 5 4 5 1.6 Kho - Siêu kho - Kho chỉ định kho chính kho ngoại Kho (key): Kho của một quan hệ R(A1, A2, ,An) l tập con K { A1, A2, ,An }, thoả mãn các tính chất sau đây: Lờ Th Cm Nhung 13 http:/ /www. ebook.edu.vn 1) Với bất kỳ 2 bộ t1, t2 R đều tồn tại một thuộc tính AK sao cho t1[A] t2[A] Nói một cách... Nhung 34 http:/ /www. ebook.edu.vn Logical: Dữ liệu kiểu logic 1 byte có giá trị hoặc đúng (True), hoặc sai (False) - Chỉ thị Notnull: chỉ rằng cột không nhận giá trị rỗng Thuộc tính kho ngầm định l Notnull - Chỉ thị PRIMARYKEY (kho chính): Khai báo kho chính của bảng - Chỉ thị UNIQUE Kho : Khai báo các kho khác nếu có - Ch th FOREIGN KEY (kho ngoại) REFERENCES Tên bảng : Khai báo các kho ngo i của... SV(MaSV,TenSV,MaKh,Điachi,Namsinh) KHOA(MaKh,TenKh,Vitri,TrKhoa) * Tạo bảng SV CR EATE TABLE SV(MaSV char (5) Notnull, TenSV varchar(20) Notnull MaKh char(2) Notnull Điachi varchar(30) Notnull Namsinh Integer Notnull PRIMARYKEY(MaSV) FOREIGN KEY(MaKh) REFERENCES KHOA) *Tạo bảng KHOA: CR EATE TABLE KHOA(M aKh char(2) Notnull, T enKh Lờ Th Cm Nhung varchar(20) Notnull 35 http:/ /www. ebook.edu.vn Vitri varchar(30) Notnull TrKhoa varchar(20)... (table), cột (column), bản ghi (record) hoặc hng (row) để phù hợp với ý nghĩa của các hệ mềm ny 2 Các lệnh liên quan đến cấu trúc của cơ sở dữ liệu 2.1 Tạo bảng Cú pháp: CR EATE TABLE ( Lờ Th Cm Nhung 33 http:/ /www. ebook.edu.vn [Not null ], [Not null ], [Not null ], PRIMARY KEY (Kho chính), [UNIQUE (kho ), ... xác định duy nhất 2) Không có tập con thực sự no của K có tính chất (1) Ví dụ 2.8: HANG_HOA ( MSMH TEN_HANG SO_ LUONG ) 10101 Sắt phi 6 1000 10102 Sắt phi 8 2000 20001 Xi măng 1000 Quan hệ HANG_HOA Trong ví dụ trên biểu diễn quan hệ HANG_HOA trong đó mã số mặt hng (MSMH) l kho Mỗi giá trị MSMH đều xác định duy nhất một loại mặt hng trong quan hệ HANG_HOA Một điều quan trọng cần phải nhớ l kho phụ... Th Cm Nhung 28 http:/ /www. ebook.edu.vn c) Hãy dùng các phép toán đại số quan hệ trả lời các câu hỏi sau *Cho biết các thông tin A, B, E có A=1 v E = 0 *Cho biết các thông tin A, B, C có A=1 hoặc E= 0 d) Tính lại kết quả của các biểu thức ở câu c) Lờ Th Cm Nhung 29 http:/ /www. ebook.edu.vn 2.7 Cho 3 quan hệ: DS( Sbd, Hoten, Ngaysinh, Gioitinh, Quequan) SBD_PH( Sbd,Sophach) DTM( Sophach, Diem) Trong đó:... (Relation) l một tập con của tích Đề - Các của một hoặc nhiều miền Nh vậy, mỗi quan hệ có thể l vô hạn ở đây luôn giả thiết rằng, quan hệ l một tập hữu hạn Ví dụ 2.2: {(0,a),(0,c),(1,a)(1,b)} l một quan hệ đó l tập con của tích đề các D1xD2 đợc đề cập ở trên Tập rỗng cũng l một quan hệ Lờ Th Cm Nhung 11 http:/ /www. ebook.edu.vn Mỗi phần tử của quan hệ gọi l một bộ (tuples) Quan hệ n - ngôi l tập con của tích... Makh, Muaban, NgayMB, Soluong, Dongia) Lờ Th Cm Nhung 30 http:/ /www. ebook.edu.vn Trong đó: - Mamh: Mã mặt hng - Tenmh: Tên mặt hng - Mau: Mu mặt hng - DVT: Đơn vị tính - Makh: Mã khách hng - Tenkh: Tên khách hng - Diachi: Địa chỉ khách hng - DT: Điện thoại - Gioitinh: Giới tính - MuaBan: Mua bán trong đó khách hng mua thì ghi l F., khách hng bán thì ghi l T - NgayMB: Ngy mua hoặc bán - Soluong: Số lợng... Y (R S) Lờ Th Cm Nhung 26 http:/ /www. ebook.edu.vn c Tính (A=1) (D=0)(R); (A=1) (D=0)( R S) d Tính (A=1) (D=0) ( ABD(R*S)); ABD((A=1) (D=0) (R*S)); 2.4 Cho 3 quan hệ: R S U Lờ Th Cm Nhung A B C D a1 b1 c1 d1 a2 b1 c1 d1 a2 b2 c2 d2 a2 b2 c3 d2 A B C D a1 b1 c3 d1 a2 b1 c1 d1 a1 b1 c1 d1 A E F G a1 e2 f1 g1 a2 e1 f1 g1 a1 e2 f2 g2 a4 e2 f2 g2 27 http:/ /www. ebook.edu.vn Tìm : a R S, R S, R - S b... có nhiều kho Siêu khóa (Super key ): k l 1 khóa ca quan h r(U) thì mi tp hp k cha k u l khóa ca quan h r(U) k gi l siêu khóa ca quan h - Siêu khóa cha ít thuc tính nht c gi l khóa ch nh - Khóa chính: l khóa c chn c i t trong mt h qun tr c s d liu Khi chn khóa chính ta phi chú ý các tính cht: Khóa có tính áp dng khi nó không b sót bt k trng hp n o ca vn Lờ Th Cm Nhung 14 http:/ /www. ebook.edu.vn Khóa