Sciweavers

4343 search results - page 464 / 869
» Replication Techniques for Availability
Sort
View
CADE
2002
Springer
16 years 7 months ago
The Quest for Efficient Boolean Satisfiability Solvers
The classical NP-complete problem of Boolean Satisfiability (SAT) has seen much interest in not just the theoretical computer science community, but also in areas where practical s...
Lintao Zhang, Sharad Malik
VLDB
2007
ACM
112views Database» more  VLDB 2007»
16 years 7 months ago
Stop-and-Restart Style Execution for Long Running Decision Support Queries
Long running decision support queries can be resource intensive and often lead to resource contention in data warehousing systems. Today, the only real option available to the DBA...
Surajit Chaudhuri, Raghav Kaushik, Ravishankar Ram...
SIGMOD
2009
ACM
157views Database» more  SIGMOD 2009»
16 years 7 months ago
Authenticated join processing in outsourced databases
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...
Yin Yang, Dimitris Papadias, Stavros Papadopoulos,...
SIGMOD
2007
ACM
112views Database» more  SIGMOD 2007»
16 years 7 months ago
A random walk approach to sampling hidden databases
A large part of the data on the World Wide Web is hidden behind form-like interfaces. These interfaces interact with a hidden backend database to provide answers to user queries. ...
Arjun Dasgupta, Gautam Das, Heikki Mannila
SIGMOD
2001
ACM
120views Database» more  SIGMOD 2001»
16 years 7 months ago
Materialized View Selection and Maintenance Using Multi-Query Optimization
Materialized views have been found to be very effective at speeding up queries, and are increasingly being supported by commercial databases and data warehouse systems. However, w...
Hoshi Mistry, Prasan Roy, S. Sudarshan, Krithi Ram...