Tài liệu tham khảo của DATALOG

Các tài liệu tham khảo tốt nhất để tự học trong DATALOG là gì? Tôi đặc biệt quan tâm đến sức mạnh biểu cảm, kết quả phức tạp, phương pháp đánh giá, phần mở rộng của DATALOG với phủ định, v.v ... Có cuốn sách hay bài báo nào đề cập đến tất cả những điều này không?

Hầu hết những gì bạn đang tìm kiếm được bao phủ tốt trong cuộc khảo sát

• Stefano Ceri, Georg Gottlob, và Letizia Tanca, Những gì bạn luôn muốn biết về Datalog (và không bao giờ dám hỏi) , IEEE giao dịch trên kiến thức và dữ liệu Kỹ thuật 1 146-166, 1989. ( liên kết , in lại )

và tài liệu tham khảo của nó. Các lĩnh vực sau đó đã đi khá yên tĩnh trong một thời gian dài.

Gần đây, các phần mở rộng khác nhau của Datalog đã thu hút được rất nhiều sự chú ý và hội nghị Datalog 2.0 năm 2010 đã được nhiều người tham dự. Cá nhân tôi là một phần của họ các phần mở rộng Datalog, vì chúng cho phép một số loại logic mô tả được nắm bắt trong một đoạn logic hoạt động tốt và được hiểu rõ về logic cổ điển:

• Andrea Calì, Georg Gottlob, và Thomas Lukasiewicz, Datalog ±: một cách tiếp cận thống nhất đối với các bản thể luận và các ràng buộc toàn vẹn , ICDT 2009, 14 1930. ( liên kết )

Tham chiếu tiêu chuẩn (đầy đủ và cập nhật hơn so với khảo sát của Ceri et al) là Cơ sở dữ liệu của Abiteboul, Hull và Vianu. (Hạnh phúc thay, Addison-Wesley đã cho phép các tác giả cho phép đăng các tệp PDF trực tuyến.)