BookAuthors: Jeffrey D. Ulman (1999)
Trình bày các vấn đề tối ưu hóa các câu hỏi trong các hệ cơ sở dữ liệu, sự phát triển những ý tưởng đó để xử lý các ngôn ngữ hỏi có sức mạnh biểu đạt mạnh hơn được dùng trong các hệ cơ sở tri thức. Những kỹ thuật mới được phát minh trong những năm gần đây để cài đặt có hiệu quả các ngôn ngữ logic cũng được giới thiệu, phân tích cùng với việc thiết kế một vài hệ cơ sở tri thức thử nghiệm. 
