Database | Sciweavers

35

PODS
1991
ACM

131views Database» more PODS 1991»

Termination Detection in Logic Programs using Argument Sizes

13 years 11 months ago

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

Kirack Sohn, Allen Van Gelder

claim paper

Read More »

26

click to vote

PODS
1991
ACM

93views Database» more PODS 1991»

The Expressiveness of a Family of Finite Set Languages

13 years 11 months ago

Download www.cs.umass.edu

In this paper we characterise exactly the complexity of a set based database language called SRL, which presents a uniﬁed framework for queries and updates. By imposing simple s...

Neil Immerman, Sushant Patnaik, David W. Stemple

claim paper

Read More »

28

click to vote

PODS
1991
ACM

98views Database» more PODS 1991»

Minimum and Maximum Predicates in Logic Programming

13 years 11 months ago

Download www.cs.ucla.edu

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

Sumit Ganguly, Sergio Greco, Carlo Zaniolo

claim paper

Read More »

35

click to vote

MFDBS
1991

125views Database» more MFDBS 1991»

A Relational Algebra for Complex Objects Based on Partial Information

13 years 11 months ago

Download homepages.inf.ed.ac.uk

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

Leonid Libkin

claim paper

Read More »

22

click to vote

ICDE
1994
IEEE

96views Database» more ICDE 1994»

Efficient Evaluation of the Valid-Time Natural Join

13 years 11 months ago

Download www.cs.aau.dk

Michael D. Soo, Richard T. Snodgrass, Christian S....

claim paper

Read More »

28

click to vote

ICDE
1991
IEEE

133views Database» more ICDE 1991»

Read Optimized File System Designs: A Performance Evaluation

13 years 11 months ago

Download www.eecs.harvard.edu

This paper presents a performance comparison of several ﬁle system allocation policies. The ﬁle systems are designed to provide high bandwidth between disks and main memory by...

Margo I. Seltzer, Michael Stonebraker

claim paper

Read More »

21

click to vote

ICDE
1991
IEEE

129views Database» more ICDE 1991»

The Architecture of BrAID: A System for Bridging AI/DB Systems

13 years 11 months ago

Download lsdis.cs.uga.edu

Amit P. Sheth, Anthony B. O'Hare

claim paper

Read More »

21

click to vote

ICDE
1991
IEEE

105views Database» more ICDE 1991»

Voting with Regenerable Volatile Witnesses

13 years 11 months ago

Download www2.cs.uh.edu

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

Jehan-François Pâris, Darrell D. E. L...

claim paper

Read More »

19

click to vote

ICDE
1991
IEEE

122views Database» more ICDE 1991»

ARIES-RRH: Restricted Repeating of History in the ARIES Transaction Recovery Method

13 years 11 months ago