Sciweavers

192 search results - page 39 / 39
» Using SAT-Solvers to Compute Inference-Proof Database Instan...
Sort
View
BTW
2007
Springer
136views Database» more  BTW 2007»
13 years 11 months ago
System P: Completeness-driven Query Answering in Peer Data Management Systems
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
Armin Roth, Felix Naumann
CIDR
2009
167views Algorithms» more  CIDR 2009»
13 years 6 months ago
Unbundling Transaction Services in the Cloud
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
David B. Lomet, Alan Fekete, Gerhard Weikum, Micha...