PODS
1991
ACM
14 years 3 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...
PODS
1991
ACM
14 years 3 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...
PODS
1991
ACM
14 years 3 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...
MFDBS
1991
14 years 3 months ago
1991
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
ICDE
1994
IEEE
14 years 3 months ago
1994
IEEE
ICDE
1991
IEEE
14 years 3 months ago
1991
IEEE
This paper presents a performance comparison of several file system allocation policies. The file systems are designed to provide high bandwidth between disks and main memory by...
ICDE
1991
IEEE
14 years 3 months ago
1991
IEEE
ICDE
1991
IEEE
14 years 3 months ago
1991
IEEE
Voting protocols ensure the consistency of replicated objects by requiring all read and write requests to collect an appropriate quorum of replicas. We propose to replace some of ...
ICDE
1991
IEEE
14 years 3 months ago
1991
IEEE
ICDE
1991
IEEE
14 years 3 months ago
1991
IEEE