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»
14 years 4 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 11 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...