Database Systems (TODS)


Search Issue
enter search term and/or author name


Editorial: Updates to the Editorial Board
Christian S. Jensen
Article No.: 1e
DOI: 10.1145/3041040

Section: Editorial

Exact Model Counting of Query Expressions: Limitations of Propositional Methods
Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu
Article No.: 1
DOI: 10.1145/2984632

We prove exponential lower bounds on the running time of the state-of-the-art exact model counting algorithms—algorithms for exactly computing the number of satisfying assignments, or the satisfying probability, of Boolean formulas. These...

Section: Editorial

Smart Meter Data Analytics: Systems, Algorithms, and Benchmarking
Xiufeng Liu, Lukasz Golab, Wojciech Golab, Ihab F. Ilyas, Shichao Jin
Article No.: 2
DOI: 10.1145/3004295

Smart electricity meters have been replacing conventional meters worldwide, enabling automated collection of fine-grained (e.g., every 15 minutes or hourly) consumption data. A variety of smart meter analytics algorithms and applications have been...

Section: Editorial

DBMS Metrology: Measuring Query Time
Sabah Currim, Richard T. Snodgrass, Young-Kyoon Suh, Rui Zhang
Article No.: 3
DOI: 10.1145/2996454

It is surprisingly hard to obtain accurate and precise measurements of the time spent executing a query because there are many sources of variance. To understand these sources, we review relevant per-process and overall measures obtainable from...

Computational Fact Checking through Query Perturbations
You Wu, Pankaj K. Agarwal, Chengkai Li, Jun Yang, Cong Yu
Article No.: 4
DOI: 10.1145/2996453

Our media is saturated with claims of “facts” made from data. Database research has in the past focused on how to answer queries, but has not devoted much attention to discerning more subtle qualities of the resulting claims, for...

Exact and Approximate Maximum Inner Product Search with LEMP
Christina Teflioudi, Rainer Gemulla
Article No.: 5
DOI: 10.1145/2996452

We study exact and approximate methods for maximum inner product search, a fundamental problem in a number of data mining and information retrieval tasks. We propose the LEMP framework, which supports both exact and approximate search with quality...

UniAD: A Unified Ad Hoc Data Processing System
Xiaogang Shi, Bin Cui, Gillian Dobbie, Beng Chin Ooi
Article No.: 6
DOI: 10.1145/3009957

Instead of constructing complex declarative queries, many users prefer to write their programs using procedural code embedded with simple queries. Since many users are not expert programmers or the programs are written in a rush, these programs...

Section: Editorial

Response to “Differential Dependencies Revisited”
Shaoxu Song, Lei Chen
Article No.: 7
DOI: 10.1145/2983602

A recent article [Vincent et al. 2015] concerns the correctness of several results in reasoning about differential dependencies (dds), originally reported in Song and Chen [2011]. The major concern by Vincent et al....