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