Browsing by Subject "Program optimisation"
Now showing items 1-1 of 1
-
Linearisability on datalog programs
(2003)Linear Datalog programs are programs whose clauses have at most one intensional atom in their bodies. We explore syntactic classes of Datalog programs (syntactically non-linear) which turn out to express no more than the ...