Phương pháp xếp tầng trong việc xác định ngữ nghĩa của các chương trình Datalog /

Míreanna Comhchosúla

• Nguồn loại 2 và chương trình Datalog /
  le: Lương Cao Đông.
• Phân tích một số phương pháp xử lý vòng lặp vô hạn trong quá trình ước lượng câu truy vấn đối với chương trình datalog /
  le: Lê Mạnh Thạnh.
• Một số cải tiến đối với phép biến đổi ma tập để tối ưu hóa câu truy vấn trên chương trình datalog /
  le: Lê Mạnh Thạnh.
• Một số phương pháp tiếp cận trong việc xác định ngữ nghĩa của cơ sở dữ liệu tuyển /
  le: Lê Mạnh Thanh.
• Các cơ quan chính phủ và chương trình sắp xếp doanh nghiệp nhà
  le: Nguyễn Mạnh Hùng
  Foilsithe: (2004)