Sciweavers

Multi-level transactions are a variant of open nested transactions in which the subtransactions correspond to operations at different levels of a layered system architecture. The ...

Christof Hasse, Gerhard Weikum

claim paper

Read More »

155

Voted

ICDE
1991
IEEE

175views Database» more ICDE 1991»

Constraint-Based Reasoning in Deductive Databases

15 years 6 months ago

Download www.cs.uiuc.edu

— Constraints play an important role in the efﬁcient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...

Jiawei Han

claim paper

Read More »

153

Voted

PODS
1991
ACM

131views Database» more PODS 1991»

Termination Detection in Logic Programs using Argument Sizes

15 years 6 months ago

Download users.soe.ucsc.edu

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 »

149

Voted

DOOD
1991
Springer

107views Database» more DOOD 1991»

Non-Determinism in Deductive Databases

15 years 6 months ago

Download www.cs.ucla.edu

This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...

Fosca Giannotti, Dino Pedreschi, Domenico Sacc&agr...

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence

Automated Reasoning

Communications

Computational Geometry

Computer Architecture

Computer Graphics