45 citations · 97 across the 15 of their papers we have counts for
15 papers · 1 filter
When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control
Brecht Vandevoort, Bas Ketsman, Frank Neven
A DBMS allows trading consistency for efficiency through the allocation of isolation levels that are strictly weaker than serializability. The robustness problem asks whether, for…
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. T…
Robustness against Read Committed for Transaction Templates with Functional Constraints
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction wo…
Robustness against Read Committed for Transaction Templates
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, transaction w…
Distribution Constraints: The Chase for Distributed Data
Gaetano Geck, Frank Neven, Thomas Schwentick
This paper introduces a declarative framework to specify and reason about distributions of data over computing nodes in a distributed setting. More specifically, it proposes distri…
Split-Correctness in Information Extraction
Johannes Doleschal, Benny Kimelfeld, Wim Martens +2
Programs for extracting structured information from text, namely information extractors, often operate separately on document segments obtained from a generic splitting operation s…