PODS 1990 | Sciweavers

33

PODS
1990
ACM

148views Database» more PODS 1990»

Stable Models and Non-Determinism in Logic Programs with Negation

14 years 3 months ago

Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...

Domenico Saccà, Carlo Zaniolo

claim paper

Read More »

21

click to vote

PODS
1990
ACM

67views Database» more PODS 1990»

Semigroup Techniques in Recursive Query Optimization

14 years 3 months ago

Download www.plambeck.org

Thane E. Plambeck

claim paper

Read More »

28

click to vote

PODS
1990
ACM

80views Database» more PODS 1990»

Constraint Query Languages

14 years 3 months ago

Download homepages.inf.ed.ac.uk

Paris C. Kanellakis, Gabriel M. Kuper, Peter Z. Re...

claim paper

Read More »

42

click to vote

PODS
1990
ACM

150views Database» more PODS 1990»

On Being Optimistic about Real-Time Constraints

14 years 3 months ago

Download dsl.serc.iisc.ernet.in

- Performancestudiesof concurrencycontrol algorithms for conventional database systems have shown that, under most operating circumstances, locking protocols outperform optimistic ...

Jayant R. Haritsa, Michael J. Carey, Miron Livny

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers