| 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 |
|---|
|
Communication Cost in Parallel Query Evaluation: A Tutorial Dan Suciu |
Communication Cost in Parallel Query Evaluation: A Tutorial Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Private Incremental Regression Shiva Prasad Kasiviswanathan, Kobbi Nissim, Hongxia Jin |
Private Incremental Regression Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award Leonid Libkin, Moshe Y. Vardi |
2017 ACM PODS Alberto O. Mendelzon Test-of-Time Award Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Data Integration: After the Teenage Years Behzad Golshan, Alon Y. Halevy, George A. Mihaila, Wang-Chiew Tan |
Data Integration: After the Teenage Years Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Relational Framework for Classifier Engineering Benny Kimelfeld, Christopher Ré |
A Relational Framework for Classifier Engineering Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment André Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter |
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Answering Conjunctive Queries under Updates Christoph Berkholz, Jens Keppeler, Nicole Schweikardt |
Answering Conjunctive Queries under Updates Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
JSON: Data model, Query languages and Schema specification Pierre Bourhis, Juan L. Reutter, Fernando Suárez, Domagoj Vrgoc |
JSON: Data model, Query languages and Schema specification Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Counting and Enumerating (Preferred) Database Repairs Ester Livshits, Benny Kimelfeld |
Counting and Enumerating (Preferred) Database Repairs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Worst-Case Optimal Multi-Round Algorithm for Parallel Computation of Conjunctive Queries Bas Ketsman, Dan Suciu |
A Worst-Case Optimal Multi-Round Algorithm for Parallel Computation of Conjunctive Queries Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Efficient and Provable Multi-Query Optimization Tarun Kathuria, S. Sudarshan |
Efficient and Provable Multi-Query Optimization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Mahmoud Abo Khamis, Hung Q. Ngo, Dan Suciu |
Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Statistical Relational Learning: Unifying AI & DB Perspectives on Structured Probabilistic Models Lise Getoor |
Statistical Relational Learning: Unifying AI & DB Perspectives on Structured Probabilistic Models Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Circuit Treewidth, Sentential Decision, and Query Compilation Simone Bova, Stefan Szeider |
Circuit Treewidth, Sentential Decision, and Query Compilation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Reverse Engineering SPJ-Queries from Examples Yaacov Y. Weiss, Sara Cohen |
Reverse Engineering SPJ-Queries from Examples Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, Efthymia Tsamoura |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Michael A. Bender, Martin Farach-Colton, Rob Johnson, Simon Mauras, Tyler Mayer, Cynthia A. Phillips, Helen Xu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Semiring Framework for Database Provenance Todd J. Green, Val Tannen |
The Semiring Framework for Database Provenance Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Wenfei Fan, Ping Lu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Querying Probabilistic Preferences in Databases Batya Kenig, Benny Kimelfeld, Haoyue Ping, Julia Stoyanovich |
Querying Probabilistic Preferences in Databases Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BPTree: An ℓ2 Heavy Hitters Algorithm Using Constant Memory Vladimir Braverman, Stephen R. Chestnut, Nikita Ivkin, Jelani Nelson, Zhengyu Wang, David P. Woodruff |
BPTree: An ℓ2 Heavy Hitters Algorithm Using Constant Memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Output-optimal Parallel Algorithms for Similarity Joins Xiao Hu, Yufei Tao, Ke Yi |
Output-optimal Parallel Algorithms for Similarity Joins Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Schema Mappings for Data Graphs Nadime Francis, Leonid Libkin |
Schema Mappings for Data Graphs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
J-Logic: Logical Foundations for JSON Querying Jan Hidders, Jan Paredaens, Jan Van den Bussche |
J-Logic: Logical Foundations for JSON Querying Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Efficiently Enumerating Minimal Triangulations Nofar Carmeli, Batya Kenig, Benny Kimelfeld |
Efficiently Enumerating Minimal Triangulations Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
On Asymptotic Cost of Triangle Listing in Random Graphs Di Xiao, Yi Cui, Daren B. H. Cline, Dmitri Loguinov |
On Asymptotic Cost of Triangle Listing in Random Graphs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev |
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Data Citation: A Computational Challenge Susan B. Davidson, Peter Buneman, Daniel Deutch, Tova Milo, Gianmaria Silvello |
Data Citation: A Computational Challenge Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Streaming Algorithms for Measuring H-Impact Priya Govindan, Morteza Monemizadeh, S. Muthukrishnan |
Streaming Algorithms for Measuring H-Impact Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Conjunctive Queries on Probabilistic Graphs: Combined Complexity Antoine Amarilli, Mikaël Monet, Pierre Senellart |
Conjunctive Queries on Probabilistic Graphs: Combined Complexity Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
2-3 Cuckoo Filters for Faster Triangle Listing and Set Intersection David Eppstein, Michael T. Goodrich, Michael Mitzenmacher, Manuel R. Torres |
2-3 Cuckoo Filters for Faster Triangle Listing and Set Intersection Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Stable Model Semantics for Tuple-Generating Dependencies Revisited Mario Alviano, Michael Morak, Andreas Pieris |
Stable Model Semantics for Tuple-Generating Dependencies Revisited Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
How Fast can a Distributed Transaction Commit? Rachid Guerraoui, Jingjing Wang |
How Fast can a Distributed Transaction Commit? Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Tight Space-Approximation Tradeoff for the Multi-Pass Streaming Set Cover Problem Sepehr Assadi |
Tight Space-Approximation Tradeoff for the Multi-Pass Streaming Set Cover Problem Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Efficient Matrix Sketching over Distributed Data Zengfeng Huang, Xuemin Lin, Wenjie Zhang, Ying Zhang |
Efficient Matrix Sketching over Distributed Data Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|