Giới thiệu tài liệu
Chương này giới thiệu về phép tính quan hệ, một ngôn ngữ truy vấn hình thức được đề xuất bởi Codd vào năm 1972. Phép tính quan hệ có hai loại chính: phép tính quan hệ trên bộ và phép tính quan hệ trên miền. Chương này sẽ trình bày chi tiết về cả hai loại phép tính này.
Đối tượng sử dụng
Sinh viên và nhà nghiên cứu trong lĩnh vực khoa học máy tính, đặc biệt là những người quan tâm đến cơ sở dữ liệu và các ngôn ngữ truy vấn.
Nội dung tóm tắt
Chương này đi sâu vào phép tính quan hệ, một phương pháp truy vấn dữ liệu hình thức, phi thủ tục, dựa trên lý thuyết logic. Nó bao gồm hai loại chính: phép tính quan hệ trên bộ (Tuple Relational Calculus) và phép tính quan hệ trên miền (Domain Relational Calculus). Phép tính quan hệ trên bộ sử dụng các biến bộ để biểu diễn các bộ trong quan hệ, trong khi phép tính quan hệ trên miền sử dụng các biến miền để biểu diễn các giá trị thuộc tính. Chương này trình bày cú pháp và ngữ nghĩa của cả hai loại phép tính, cùng với các ví dụ minh họa cách sử dụng chúng để truy vấn dữ liệu. Các khái niệm quan trọng như công thức nguyên tố, biến tự do và biến kết buộc, cũng như các quy tắc và biến đổi trong phép tính quan hệ, được giải thích chi tiết. Ngoài ra, chương này cũng thảo luận về khái niệm công thức an toàn và cách đảm bảo rằng các truy vấn phép tính quan hệ trả về kết quả có ý nghĩa và xác định.
