PODS 1994 | Sciweavers

47

PODS
1994
ACM

138views Database» more PODS 1994»

Dyn-FO: A Parallel, Dynamic Complexity Class

14 years 4 months ago

Traditionally, computational complexity has considered only static problems. Classical Complexity Classes such as NC, P, and NP are de ned in terms of the complexity of checking {...

Sushant Patnaik, Neil Immerman

claim paper

Read More »

32

click to vote

PODS
1994
ACM

95views Database» more PODS 1994»

Towards a Theory of Spatial Database Queries

14 years 4 months ago

Download homepages.inf.ed.ac.uk

Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht

claim paper

Read More »

32

click to vote

PODS
1994
ACM

91views Database» more PODS 1994»

A Polymorphic Calculus for Views and Object Sharing

14 years 4 months ago

Download www.pllab.riec.tohoku.ac.jp

We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...

Atsushi Ohori, Keishi Tajima

claim paper

Read More »

38

click to vote

PODS
1994
ACM

131views Database» more PODS 1994»

Constraint Checking with Partial Information

14 years 4 months ago

Download ilpubs.stanford.edu

Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...

Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, J...

claim paper

Read More »

36

click to vote

PODS
1994
ACM

84views Database» more PODS 1994»

A Query Language for List-Based Complex Objects

14 years 4 months ago