TAILIEUCHUNG - Phép toán quan hệ

Ngôn ngữ hình thức cho mô hình quan hệ - Ngôn ngữ SQL thuận tiện cho tính toán. | Phép toán quan hệ Ngôn ngữ hình thức cho mô hình quan hệ Ngôn ngữ SQL thuận tiện cho tính toán Các ngôn ngữ theo tính toán quan hệ thuận tiện cho mô tả. Lớp ngôn ngữ này chịu ảnh hưởng của ngôn ngữ SQL Phép toán quan hệ Phép toán có biến, hằng Phép toán so sánh (,=, , . ), Liên kết logic ( , ) Lượng tử ( , ) Có hai loại ngôn ngữ Tính toán quan hệ trên bộ (Tuple relational calculus TRC) : Các biến theo các bộ dữ liệu. Đại diện là QUEL. Phép toán quan hệ trên miền (Domain relational calculus DRC). Các biến theo các phần tử của miền dữ liệu. Đại diện là QBE. Cả hai TRC và DRC là phần con đơn giản của logic vị từ bậc một. Phép toán quan hệ trên bộ (TRC) Biến bộ : biến nhận các bộ của lược đồ quan hệ như là giá trị. Câu hỏi có dạng T = biến bộ p(T) = công thức mô tả T Kết quả là tập các bộ t mà p(t) thỏa mãn, khi T=t Công thức P(T) được viết theo logic vị từ bậc nhất. Thí dụ : tìm thủy thủ có tần suất trên 7 Biến S gắn với một bộ trong quan hệ Sailors Công thức TRC Công thức : Công .

TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.