Disjunctive LP + Integrity Constraints = Stable Model Semantics.
José Alberto FernándezJorge LoboJack MinkerV. S. SubrahmanianPublished in: Ann. Math. Artif. Intell. (1993)
Keyphrases
- integrity constraints
- stable model semantics
- answer sets
- logic programs
- answer set programming
- stable models
- deductive databases
- logic programming
- consistent answers
- query answering
- conjunctive queries
- functional dependencies
- fixpoint
- database schema
- datalog programs
- xml schema
- xml documents
- rdf graphs
- np hard
- consistent query answering
- databases
- database management systems
- relational databases