4052 search results - page 405 / 811 » integration 2007 |
174
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
274
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
The performance of XML database queries can be greatly enhanced by rewriting them using materialized views. We study the problem of rewriting a query using materialized views, whe...
296
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Data fusion is the final step of a typical data integration process, after schematic conflicts have been overcome and after duplicates have been correctly identified. We present t...
251
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
We show that aggregate constraints (as opposed to pairwise constraints) that often arise when integrating multiple sources of data, can be leveraged to enhance the quality of dedu...
290
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
The provenance of data has recently been recognized as central to the trust one places in data. It is also important to annotation, to data integration and to probabilistic databa...