ACM Symposium on Principles of Database Systems, PODS 2014


Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Composable core-sets for diversity and coverage maximization

Piotr Indyk, Sepideh Mahabadi, Mohammad Mahdian, Vahab S. Mirrokni

Composable core-sets for diversity and coverage maximization

Details
Discussion Comments: 0
Verification: Authors have not verified information

Independent range sampling

Xiaocheng Hu, Miao Qiao, Yufei Tao

Independent range sampling

Details
Discussion Comments: 0
Verification: Authors have not verified information

Database principles in information extraction

Benny Kimelfeld

Database principles in information extraction

Details
Discussion Comments: 0
Verification: Author has not verified information

Beyond worst-case analysis for joins with minesweeper

Hung Q. Ngo, Dung T. Nguyen, Christopher Ré, Atri Rudra

Beyond worst-case analysis for joins with minesweeper

Details
Discussion Comments: 0
Verification: Authors have not verified information

The input/output complexity of triangle enumeration

Rasmus Pagh, Francesco Silvestri

The input/output complexity of triangle enumeration

Details
Discussion Comments: 0
Verification: Authors have not verified information

Generating low-cost plans from proofs

Michael Benedikt, Balder ten Cate, Efthymia Tsamoura

Generating low-cost plans from proofs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Categorical range maxima queries

Manish Patil, Sharma V. Thankachan, Rahul Shah, Yakov Nekrich, Jeffrey Scott Vitter

Categorical range maxima queries

Details
Discussion Comments: 0
Verification: Authors have not verified information

Incomplete data: what went wrong, and how to fix it

Leonid Libkin

Incomplete data: what went wrong, and how to fix it

Details
Discussion Comments: 0
Verification: Author has not verified information

Counting solutions to conjunctive queries: structural and hybrid tractability

Gianluigi Greco, Francesco Scarcello

Counting solutions to conjunctive queries: structural and hybrid tractability

Details
Discussion Comments: 0
Verification: Authors have not verified information

Containment and equivalence of well-designed SPARQL

Reinhard Pichler, Sebastian Skritek

Containment and equivalence of well-designed SPARQL

Details
Discussion Comments: 0
Verification: Authors have not verified information

Skew in parallel query processing

Paul Beame, Paraschos Koutris, Dan Suciu

Skew in parallel query processing

Details
Discussion Comments: 0
Verification: Authors have not verified information

A dynamic I/O-efficient structure for one-dimensional top-k range reporting

Yufei Tao

A dynamic I/O-efficient structure for one-dimensional top-k range reporting

Details
Discussion Comments: 0
Verification: Author has not verified information

Enumerating answers to first-order queries over databases of low degree

Arnaud Durand, Nicole Schweikardt, Luc Segoufin

Enumerating answers to first-order queries over databases of low degree

Details
Discussion Comments: 0
Verification: Authors have not verified information

Expressiveness of guarded existential rule languages

Georg Gottlob, Sebastian Rudolph, Mantas Simkus

Expressiveness of guarded existential rule languages

Details
Discussion Comments: 0
Verification: Authors have not verified information

All-distances sketches, revisited: HIP estimators for massive graphs analysis

Edith Cohen

All-distances sketches, revisited: HIP estimators for massive graphs analysis

Details
Discussion Comments: 0
Verification: Author has not verified information

A dichotomy for non-repeating queries with negation in probabilistic databases

Robert Fink, Dan Olteanu

A dichotomy for non-repeating queries with negation in probabilistic databases

Details
Discussion Comments: 0
Verification: Authors have not verified information

On scale independence for querying big data

Wenfei Fan, Floris Geerts, Leonid Libkin

On scale independence for querying big data

Details
Discussion Comments: 0
Verification: Authors have not verified information

Is min-wise hashing optimal for summarizing set intersection?

Rasmus Pagh, Morten Stöckel, David P. Woodruff

Is min-wise hashing optimal for summarizing set intersection?

Details
Discussion Comments: 0
Verification: Authors have not verified information

Cost-oblivious storage reallocation

Michael A. Bender, Martin Farach-Colton, Sándor P. Fekete, Jeremy T. Fineman, Seth Gilbert

Cost-oblivious storage reallocation

Details
Discussion Comments: 0
Verification: Authors have not verified information

Expressive languages for querying the semantic web

Marcelo Arenas, Georg Gottlob, Andreas Pieris

Expressive languages for querying the semantic web

Details
Discussion Comments: 0
Verification: Authors have not verified information

Cleaning inconsistencies in information extraction via prioritized repairs

Ronald Fagin, Benny Kimelfeld, Frederick Reiss, Stijn Vansummeren

Cleaning inconsistencies in information extraction via prioritized repairs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture

Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture

Details
Discussion Comments: 0
Verification: Authors have not verified information

Model-data Ecosystems: challenges, tools, and trends

Peter J. Haas

Model-data Ecosystems: challenges, tools, and trends

Details
Discussion Comments: 0
Verification: Author has not verified information

Nested dependencies: structure and reasoning

Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov

Nested dependencies: structure and reasoning

Details
Discussion Comments: 0
Verification: Authors have not verified information

Does query evaluation tractability help query containment?

Pablo Barceló, Miguel Romero, Moshe Y. Vardi

Does query evaluation tractability help query containment?

Details
Discussion Comments: 0
Verification: Authors have not verified information