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
Θέματα:	Information systems. Database management. Languages. Datalog. Software. Programming techniques. Theory of computation. Analysis of algorithms and problem complexity. Mathematical logic and formal languages. Mathematical logic. Logic and constraint programming. Query languages. Computing Methodologies. Artificial intelligence. Theory.