- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Hệ cơ sở dữ liệu: Chương 5.2 - TS. Lê Thị Tú Kiên
Bài giảng Hệ cơ sở dữ liệu: Chương 5.2 cung cấp cho người học những kiến thức như: Các phép tách lược đồ quan hệ; Chuyển đổi mô hình thực thể liên kết sang mô hình quan hệ; Định nghĩa phép tách lược đồ quan hệ; Phép tách kết nối không tổn thất về BCNF; Phép tách bảo toàn phụ thuộc về 3NF. Mời các bạn cùng tham khảo!
75 p husc 23/12/2023 28 0
Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Phép tách lược đồ quan hệ, Mô hình quan hệ, Phép tách bảo toàn tập phụ thuộc hàm
Một số kết quả về rút gọn bài toán tìm khóa
Bài viết trình bày việc nghiên cứu các toán tử iđêan không tất định (idean non-deterministic operators) trong khuôn khổ của lý thuyết dàn, đồng thời cũng đưa ra một điều kiện cần để một tập thuộc tính là khóa.
6 p husc 31/10/2019 192 1
Từ khóa: Cơ sở dữ liệu quan hệ, Lược đồ quan hệ, Phụ thuộc hàm, Khóa của lược đồ quan hệ, Toán tử iđêan
Bài giảng Cơ sở dữ liệu: Bài 7 - ThS. Vũ Văn Định
Bài giảng Cơ sở dữ liệu - Bài 7: Phụ thuộc dữ liệu trong mô hình quan hệ. Chương này gồm có những nội dung chính như sau: Phụ thuộc hàm (Functional Dependencies : FD), hệ tiên đề cho phụ thuộc hàm, tập phụ thuộc hàm tương đương,... Mời các bạn cùng tham khảo.
24 p husc 24/12/2018 241 1
Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Phụ thuộc dữ liệu, Mô hình quan hệ
Tìm hiểu chương trình datalog và ứng dụng phân tích chương trình C bằng sơ đồ nhị phân quyết định.
Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...
6 p husc 13/10/2017 353 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.
Nghiên cứu thuật toán chuyển đổi một lược đồ UML sang mô hình cơ sở dữ liệu quan hệ và ứng dụng.
Giới thiệu tổng quan về lược đồ UML, bao gồm việc giới thiệu tổng quan lược đồ UML ở mức khái niệm và các kiểu quan hệ trong lược đồ UML.Để xây dựng các quy tắc chuyển đổi một lược đồ UML sang mô hình cơ sở dữ liệu quan hệ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
12 p husc 23/09/2016 260 2
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quan hệ kết hợp, Quan hệ kết tập, Chuyển đổi quan hệ, Dữ liệu quan hệ, Quan hệ hiện thực hóa, Quan hệ phụ thuộc.
Thiết kế lược đồ UML có yếu tố thời gian từ mô hình Timeer.
Xây dựng một phương pháp chuyển đổi mô hình Timeer sang lược đồ UML có yếu tố thời gian. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
15 p husc 21/09/2016 252 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Biểu đồ lớp, Quan hệ kết hợp, Quan hệ kết tập, Quan hệ phụ thuộc, Quan hệ lớp cha, Quan hệ lớp con, Chuyển đổi timeer, Biểu diễn thời gian
Nghiên cứu và giới thiệu các ràng buộc dữ liệu trong mô hình quan hệ; mô hình ER và mô hình mở rộng của mô hình ER là mô hình EER. Trình bày phương pháp trích xuất một mô hình EER từ mô hình quan hệ có sử dụng các ràng buộc phụ thuộc bao hàm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447
5 p husc 20/06/2016 345 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ràng buộc toàn vẹn, Ràng buộc phụ thuộc, Phụ thuộc hàm, Phụ thuộc bao hàm, Phụ thuộc đa trị, Mô hình EER, Quan hệ biểu diễn
Đăng nhập
Bộ sưu tập nổi bật
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.