Tài liệu, ebook Cơ Sở Dữ Liệu

Thuật toán tách Input: Lược đồ quan hệ gốc R(Ω) và tập phụ thuộc hàm F. Output: Tập D gồm các lược đồ quan hệ con R1(Ω1), R2(Ω2), . , Rm(Ωm) thỏa mãn chuẩn 3, bảo toàn thông tin và bảo toàn phụ thuộc hàm. Bước 1: Tìm phủ tối thiểu G của F (nếu F chưa phải là tập PTH tối thiểu). Bước 2: Với mỗi phụ thuộc hàm X → A trong G ta tạo ra một lược đồ q...

35 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1149 | Lượt tải: 1

Ví dụ 5.8: Cho lược đồ quan hệ R(A,B,C,D,E,G,H,I) với tập phụ thuộc hàm F = {AB→E, AG→I, BE→I, E→G, GI→H} Hãy chỉ ra một khóa của lược đồ quan hệ này. Giải Ω = ABCDEGHI, L = ABEGI, R = EGHI Ω\R = ABCD, L∩R = EGI Ta thấy (Ω\R)+ = (ABCD)+ = ABCDEGHI = Ω ⟹ K = ABCD là khóa duy nhất.

45 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1260 | Lượt tải: 0

Câu lệnh truy vấn SELECT có sự tương đương (một cách không hoàn toàn) với một biểu thức đại số quan hệ: Mệnh đề INNER JOIN tương ứng với phép kết nối và mệnh đề CROSS JOIN tương ứng với phép tích Đề Các của đại số quan hệ. Mệnh đề WHERE tương ứng với phép chọn trong đại số quan hệ Mệnh đề GROUP BY tương ứng với phép toán gộp nhóm trong đại số qu...

48 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1098 | Lượt tải: 0

Bước 6: Ánh xạ kiểu liên kết bậc n (với n ≥ 3) Với mỗi kiểu liên kết bậc n (ký hiệu là R), tạo ra một lược đồ quan hệ S để biểu diễn cho kiểu liên kết. Đưa vào trong S các khóa ngoại tham chiếu tới khóa chính của các lược đồ quan hệ tương ứng với các kiểu thực thể tham gia vào kiểu liên kết. Khóa chính của S là sự kết hợp của các khóa ngoại n...

54 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1104 | Lượt tải: 0

Một công ty có nhiều phòng ban. Thông tin về mỗi phòng ban bao gồm: Mã PB, Tên PB, Địa Điểm. Mỗi phòng ban có 1 hoặc một số nhân viên. Thông tin về mỗi nhân viên bao gồm: Mã NV, Họ Tên, Chuyên Môn, Trình Độ, Ngoại Ngữ. Trong số nhân viên cũng có những nhân viên không xếp vào phòng ban nào cả. Công ty hiện nay đang phụ trách nhiều dự án. Thông tin v...

39 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 919 | Lượt tải: 0

SỰ ĐỘC LẬP DỮ LIỆU (DATA INDEPENDENCE) Độc lập dữ liệu mức logic: Là khả năng cho phép thay đổi lược đồ khái niệm mà không ảnh hưởng tới các lược đồ ngoài và chương trình ứng dụng. Độc lập dữ liệu mức vật lý: Là khả năng cho phép thay đổi lược đồ trong mà không ảnh hưởng tới lược đồ khái niệm.

23 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 975 | Lượt tải: 0

Data may arrive out of order and be temporarily stored by the receiving TCP, but TCP guarantees that no out-of-order segment is delivered to the process.

59 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 906 | Lượt tải: 1

Bước 4 - Với mỗi phép chiếu, áp dụng các qui tắc 3, 9 và 10 để đưa phép chiếu xuống càng sâu càng tốt  Bước 5 - Tập trung các phép chọn (qui tắc 4) - Loại bỏ các phép chiếu vô ích (qui tắc 3)

21 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 936 | Lượt tải: 0

2. Trưởng phòng phải sinh sau năm 1975  3. Một phòng phải có tối thiểu 1 nhân viên nữ  4. Trưởng phòng phải là người lớn tuổi nhất trong phòng ban đó.  5. Nếu một nhân viên đã là trưởng phòng thì nhân viên đó không làm người quản lý.  6. Nhân viên và nhân viên quản lý của nhân viên đó phải thuộc về 1 phòng

72 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1867 | Lượt tải: 0

Biểu thức được gọi là an toàn nếu: - Những giá trị xuất hiện trong các bộ của biểu thức phải thuộc về miền giá trị của P - Lượng từ : biểu thức x (Q(x)) đúng khi và chỉ khi xác định được giá trị của x thuộc dom(Q) làm cho Q(x) đúng - Lượng từ : biểu thức x (Q(x)) đúng khi và chỉ khi Q(x) đúng với mọi giá trị của x thuộc dom(Q)

44 trang | Chia sẻ: thucuc2301 | Ngày: 20/11/2020 | Lượt xem: 1162 | Lượt tải: 1