Disjunctive Datalogเป็นส่วนขยายของภาษาการเขียนโปรแกรมเชิงตรรกะDatalogที่อนุญาตให้ใช้การแยกส่วนในส่วนหัวของกฎ ส่วนขยายนี้ทำให้ Disjunctive Datalog สามารถแสดง ปัญหา NP-hard หลายอย่าง ที่ไม่เป็นที่ทราบกันว่าสามารถแสดงได้ใน Datalog ธรรมดา Disjunctive Datalog ได้ถูกนำไปใช้ในบริบทของการให้เหตุผลเกี่ยวกับออนโทโลยีในเว็บเชิงความหมาย^{[ 1 ]} DLVเป็นการใช้งาน Disjunctive Datalog

โปรแกรม Datalog แบบแยกส่วนคือชุดของกฎกฎคือข้อความในรูปแบบ: ^{[ 2 ]}

${\displaystyle a_{1}\vee \dots \vee a_{n}\leftarrow b_{1}\wedge \dots \wedge b_{m}\quad 1\leq n,0\leq m}$

โดยที่... อาจถูกปฏิเสธ และอาจรวมถึงข้อจำกัดความเท่าเทียมกัน (หรือไม่เท่าเทียมกัน) ${\displaystyle b_{1}}$${\displaystyle b_{m}}$

มีอย่างน้อยสามวิธีในการกำหนดความหมายของ Datalog แบบแยกส่วน: ^{[ 3 ]}

• ความหมายของแบบจำลองขั้นต่ำ
• ความหมายของแบบจำลองที่สมบูรณ์แบบ
• ความหมายของแบบจำลองเสถียรแบบแยกส่วน ซึ่งเป็นการขยายความหมายของแบบจำลองเสถียร

Disjunctive Datalog สามารถแสดง ปัญหา NP-completeและNP-hard ได้หลาย ปัญหา รวมถึงปัญหาพนักงานขายเดินทาง ปัญหาการระบายสีกราฟปัญหาคลิกสูงสุดและ ปัญหา การครอบคลุมจุดยอดขั้นต่ำ^{[ 3 ]} ปัญหาเหล่านี้สามารถแสดงได้ใน Datalog ก็ต่อเมื่อ ลำดับชั้นพหุนามยุบตัวลง เท่านั้น

ระบบ DLV ( Data Log with Disjunction ซึ่งใช้สัญลักษณ์การแยกตรรกะV ) ดำเนินการความหมาย ^ของ แบบจำลองเสถียรแบบแยก [ ^{4 ]}

• ไวยากรณ์และความหมายของการเขียนโปรแกรมเชิงตรรกะ

• Eiter, Thomas; Gottlob, Georg; Mannila, Heikki (1997-09-01). "Disjunctive datalog" . ACM Transactions on Database Systems . 22 (3): 364– 418. doi : 10.1145/261124.261126 . ISSN  0362-5915 . S2CID  8755376 .