BỘ KHOA HỌC VÀ CÔNG NGHỆ
HỆ THỐNG THÔNG TIN QUỐC GIA VỀ KHOA HỌC, CÔNG NGHỆ VÀ ĐỔI MỚI SÁNG TẠO

Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  30,492,701
  • Công bố khoa học và công nghệ Việt Nam

50.41.21; 50.05

Người máy và điều khiển tự động

Hồ Thuần, Lê Mạnh Thạnh(1), Trương Công Tuấn, Hoàng Việt Bách Khoa(2)

Ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic ba giá trị

Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông

2003

00

89-96

Chương trình datalog, Logic2-giá trị, Logic3-giá trị, Ngữ nghĩa, Cơ sở dữ liệu

Ngữ nghĩa của chương trình Datalog có chứa phủ định đã được nghiên cứu sâu sắc trong những năm vừa qua. Chẳng hạn ngữ nghĩa mô hình hoàn hảo, ngữ nghĩa mô hình bền vững. Tuy nhiên, các dạng ngữ nghĩa này chỉ có thể áp dụng cho một số lớp hạn chế các chương trình và đều dựa trên logic 2- giá trị. Bài báo xác định ngữ nghĩa chương trình Datalog có chứa phủ định dựa trên logic 3- giá trị và đề xuất hai kỹ thuật hiệu quả để xác định ngữ nghĩa của chúng.

TTKHCNQG, Vt 617

Xem toàn văn