Bài giảng Ngôn ngữ luật cho các CSDL - Hồ Cẩm Hà

Nhằm giúp các sinh viên và các giảng viên có thêm tài liệu tham khảo giúp ích cho quá trình học tập và giảng dạy. Dưới đây là bài giảng Ngôn ngữ luật cho các CSDL trình bày về hệ quản trị CSDL suy diễn, ngữ nghĩa chương trình Datalog, ngữ nghĩa chính tắc, liên hệ giữa Datalog và đại số quan hệ, hàm người dùng, phép phủ định.

ERROR:unknown local index 'libmoduledocs' in search request