Sciweavers

26 search results - page 1 / 6
» icdt 2009
Sort
View
ICDT
2009
ACM
135views Database» more  ICDT 2009»
14 years 5 months ago
On approximating optimum repairs for functional dependency violations
Solmaz Kolahi, Laks V. S. Lakshmanan
ICDT
2009
ACM
85views Database» more  ICDT 2009»
14 years 11 months ago
Reconcilable differences
Todd J. Green, Zachary G. Ives, Val Tannen
ICDT
2009
ACM
108views Database» more  ICDT 2009»
14 years 11 months ago
A compositional query algebra for second-order logic and uncertain databases
World-set algebra is a variable-free query language for uncertain databases. It constitutes the core of the query language implemented in MayBMS, an uncertain database system. Thi...
Christoph Koch
ICDT
2009
ACM
127views Database» more  ICDT 2009»
14 years 5 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang
ICDT
2009
ACM
121views Database» more  ICDT 2009»
13 years 8 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu