Sciweavers

84
Voted
ICDT
1995
ACM
91views Database» more  ICDT 1995»
15 years 1 months ago
Some Positive Results for Boundedness of Multiple Recursive Rules
Following results are sketched in this extended abstract: (1) Datalog recursive programs where each rule has at most one subgoal called unit recursions are shown to be bounded, wit...
Ke Wang