552 search results - page 13 / 111 » On the Complexity of Join Predicates |
104
click to vote
VLDB
1997
ACM
15 years 4 months ago
1997
ACM
Query optimizers that explore a search space exhaustively using transformation rules usually apply all possible rules on each alternative, and stop when no new information is prod...
175
Voted
SIGMOD
2009
ACM
16 years 20 days ago
2009
ACM
Database outsourcing requires that a query server constructs a proof of result correctness, which can be verified by the client using the data owner's signature. Previous aut...
61
Voted
ICEIS
2005
IEEE
15 years 6 months ago
2005
IEEE
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
100
click to vote
SAS
2010
Springer
14 years 10 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...