552 search results - page 13 / 111 » On the Complexity of Join Predicates |
VLDB
1997
ACM
13 years 11 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...
SIGMOD
2009
ACM
14 years 7 months 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...
ICEIS
2005
IEEE
14 years 9 days ago
2005
IEEE
VLDB
1990
ACM
13 years 10 months ago
1990
ACM
SAS
2010
Springer
13 years 5 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...