Sciweavers

140
Voted
PODS
1994
ACM
138views Database» more  PODS 1994»
15 years 4 months ago
Dyn-FO: A Parallel, Dynamic Complexity Class
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
95
Voted
PODS
1994
ACM
91views Database» more  PODS 1994»
15 years 4 months ago
A Polymorphic Calculus for Views and Object Sharing
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
94
Voted
PODS
1994
ACM
84views Database» more  PODS 1994»
15 years 4 months ago
A Query Language for List-Based Complex Objects
Latha S. Colby, Edward L. Robertson, Lawrence V. S...
87
Voted
PODS
1994
ACM
131views Database» more  PODS 1994»
15 years 4 months ago
Constraint Checking with Partial Information
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...
86
Voted
PODS
1994
ACM
95views Database» more  PODS 1994»
15 years 4 months ago
Towards a Theory of Spatial Database Queries
Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht
Database
Top of PageReset Settings