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
{"_id":"vQ4Df2hTfdMBNkWMk","bibbaseid":"eiter-gottlob-mannila-disjunctivedatalog-1997","author_short":["Eiter, T.","Gottlob, G.","Mannila, H."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Eiter"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Gottlob"],"firstnames":["Georg"],"suffixes":[]},{"propositions":[],"lastnames":["Mannila"],"firstnames":["Heikki"],"suffixes":[]}],"year":"1997","bibtex":"@article{Eiter/etal:97,\n\ttitle = {Disjunctive \\{{Datalog}\\}},\n\tabstract = {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 ..},\n\tjournal = {ACM Transactions on Database Systems (TODS)},\n\tauthor = {Eiter, Thomas and Gottlob, Georg and Mannila, Heikki},\n\tyear = {1997},\n}\n\n","author_short":["Eiter, T.","Gottlob, G.","Mannila, H."],"key":"Eiter/etal:97","id":"Eiter/etal:97","bibbaseid":"eiter-gottlob-mannila-disjunctivedatalog-1997","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/ifromm","dataSources":["N4kJAiLiJ7kxfNsoh"],"keywords":[],"search_terms":["disjunctive","datalog","eiter","gottlob","mannila"],"title":"Disjunctive \\Datalog\\","year":1997}