2715 search results - page 438 / 543 » Total Generalized Variation |
178
Voted
SIGMOD
2007
ACM
16 years 29 days ago
2007
ACM
Partial evaluation has recently proven an effective technique for evaluating Boolean XPath queries over a fragmented tree that is distributed over a number of sites. What left ope...
120
Voted
SIGMOD
2001
ACM
16 years 29 days ago
2001
ACM
The bit-sliced index (BSI) was originally defined in [ONQ97]. The current paper introduces the concept of BSI arithmetic. For any two BSI's X and Y on a table T, we show how ...
106
click to vote
PODS
2006
ACM
16 years 29 days ago
2006
ACM
Query containment is a fundamental algorithmic problem in database query processing and optimization. Under set semantics, the query-containment problem for conjunctive queries ha...
95
Voted
EDBT
2008
ACM
16 years 28 days ago
2008
ACM
The spatial and temporal databases have been studied widely and intensively over years. In this paper, we study how to answer queries of finding the best departure time that minim...
108
click to vote
ICFP
2008
ACM
16 years 23 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...