Disjunctive \Datalog\. Eiter, T., Gottlob, G., & Mannila, H. ACM Transactions on Database Systems (TODS), 1997.
abstract   bibtex   
We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies which can be handled according to a semantics for negation in disjunctive logic programming. In particular, we investigate three different semantics for disjunctive Datalog: the minimal model semantics the perfect model semanti ..
@article{Eiter/etal:97,
	title = {Disjunctive \{{Datalog}\}},
	abstract = {We consider disjunctive Datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive Datalog is a variant of Datalog where disjunctions may appear in the rule heads; advanced versions also allow for negation in the bodies which can be handled according to a semantics for negation in disjunctive logic programming. In particular, we investigate three different semantics for disjunctive Datalog: the minimal model semantics the perfect model semanti ..},
	journal = {ACM Transactions on Database Systems (TODS)},
	author = {Eiter, Thomas and Gottlob, Georg and Mannila, Heikki},
	year = {1997},
}

Downloads: 0