Ngữ nghĩa chương trình datalog có chứa phủ định dựa trên logic ba giá trị

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Thuần Hồ, Mạnh Thạnh Lê, Công Tuấn Trương

Ngôn ngữ: vie

Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)

Thông tin xuất bản: Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông, 2003

Mô tả vật lý: 89-96

Bộ sưu tập: Metadata

ID: 523926

Thêm vào giỏ

Ngữ nghĩa của chương trình Datalog có chứa phủ định đã được nghiên cứu sâu sắc trong những năm vừa qua. Chẳng hạn ngữ nghĩa mô hình hoàn hảo, ngữ nghĩa mô hình bền vững. Tuy nhiên, các dạng ngữ nghĩa này chỉ có thể áp dụng cho một số lớp hạn chế các chương trình và đều dựa trên logic 2- giá trị. Bài báo xác định ngữ nghĩa chương trình Datalog có chứa phủ định dựa trên logic 3- giá trị và đề xuất hai kỹ thuật hiệu quả để xác định ngữ nghĩa của chúng.

1. Đọc trực tuyến

1. Đọc trực tuyến

Tạo bộ sưu tập với mã QR