Datalog with well-founded negation

Datalog with well-founded negation is a superset of Datalog with stratifiable nega-
tion, and can be used to express fixpoint queries [15].We have not yet found it necessary
to extend bddbddb to support well-founded semantics, though it would not be difficult.

Kết quả (Việt) 1:

Datalog với phủ định cũng được thành lập là một superset của Datalog với stratifiable nega-tion, và có thể được sử dụng để nhận fixpoint truy vấn [15]. Chúng tôi đã không được tìm thấy nó cần thiếtđể mở rộng bddbddb để hỗ trợ tốt được thành lập ngữ nghĩa, mặc dù nó sẽ không là difficult.

Kết quả (Việt) 2:

Datalog với phủ định được thành lập là một siêu của Datalog với strati fi nega- thể
tion, và có thể được sử dụng để thể hiện các truy vấn fi xpoint [15] Chúng tôi vẫn chưa tìm thấy nó cần thiết
để mở rộng bddbddb để hỗ trợ ngữ nghĩa được thành lập, mặc dù nó sẽ không có khăn fi sùng bái.