Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules. This extension enables disjunctive Datalog to express several NP-hard problems that are not known to be expressable in plain Datalog. Disjunctive Datalog has been applied in the context of reasoning about ontologies in the semantic web. DLV is an implementation of disjunctive Datalog.

","content","

\n\n

Syntax

A disjunctive Datalog program is a collection of rules. A rule is a clause of the form:\n

where , ..., may be negated, and may include (in)equality constraints.\n

Semantics

\n\n

There are at least three ways to define the semantics of disjunctive Datalog:\n

Minimal model semantics
Perfect model semantics
Disjunctive stable model semantics, which generalizes the stable model semantics

Expressivity

\n\n

Disjunctive Datalog can express several NP-complete and NP-hard problems, including the travelling salesman problem, graph coloring, maximum clique problem, and minimal vertex cover. These problems are only expressible in Datalog if the polynomial hierarchy collapses.\n

Implementations

The DLV (DataLog with Disjunction, where the logical disjunction symbol V is used) system implements the disjunctive stable model semantics.\n

Sources

Notes

\n\n

References

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.

","description","url","https://en.wikipedia.org/wiki/Disjunctive_Datalog","wikibase_item","Q117190582","thumbnail","original_image","34058",{"_25":326,"_48":327,"_50":328,"_52":329,"_54":330,"_56":-5,"_57":-5,"_58":331,"_60":332,"_62":333,"_64":334,"_66":67,"_68":335,"_70":336,"_72":337,"_74":-5,"_75":-5,"_76":-5,"_77":-5,"_78":-5,"_79":-5,"_80":-5,"_81":-5},{"_32":322},{"_34":323},[324],{"_25":325,"_27":42},"94313",34058,"DLV","dlv","https://open.spotify.com/artist/33j38momDoUBUrz0QpNBF2","https://i.scdn.co/image/ab67616d0000b2738ee42f03c54d50ce3792c997",[],0,22,[87],12787,65836,[155,85,338,200,86],"idm"]

Syntax

Semantics

Expressivity

Implementations

See also

Sources

Notes

References

DLV

Broadcast History