134
click to vote
PODS
15 years 4 months ago
1991 ACM 
d Abstract Kirack Sohn and Allen Van Gelder University of California, Santa Cruz Progress on automated termination detection for logic programs is reported. The prospects for han...
105
click to vote
PODS
15 years 4 months ago
1991 ACM 
A novel approach is proposed for ezpresaing and computing eficienily a large cla88 of problem8, including jinding the shortest path in a graph, that were previously considered imp...
PODS
15 years 4 months ago
1991 ACM
In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a unified framework for queries and updates. By imposing simple s...
|
Database