Disjunctive datalog.

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...

詳細記述

書誌詳細
出版年:ACM transactions on database systems. 22, 3 (1997).
第一著者: Eiter, Thomas
その他の著者: Gottlob, Georg, Mannila, Heikki
フォーマット: 論文
言語:English
主題: