ICDT 2017 March 21-24, 2017 - Venice, Italy

20th International Conference on Database Theory (ICDT 2017)



Michael Benedikt and Giorgio Orsi (Eds.)
ISBN 978-3-95977-024-8, LIPICS Vol. 68 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 12 MB)
Search Publication Server

Authors
  • Afrati, Foto N.
  • Amarilli, Antoine
  • Amsterdamer, Yael
  • Barceló, Pablo
  • Benedikt, Michael
  • Berkholz, Christoph
  • Bourhis, Pierre
  • Bova, Simone
  • Burdick, Douglas
  • Cao, Wei
  • Chen, Hubie
  • Chi-Wing Wong, Raymond
  • Deep, Shaleen
  • Fagin, Ronald
  • Feier, Cristina
  • Freydenberger, Dominik D.
  • Garofalakis, Minos
  • Gogacz, Tomasz
  • Itzhaky, Shachar
  • Joglekar, Manas R.
  • Keppeler, Jens
  • Kimelfeld, Benny
  • Kolaitis, Phokion G.
  • Kotek, Tomer
  • Koutris, Paraschos
  • Kuusisto, Antti
  • Lang, Willis
  • Li, Jian
  • Livshits, Ester
  • Lohrey, Markus
  • Lutz, Carsten
  • Maneth, Sebastian
  • Marx, Dániel
  • McGregor, Andrew
  • Milo, Tova
  • Monet, Mikaël
  • Naughton, Jeffrey
  • Orsi, Giorgio
  • Peterfreund, Liat
  • Popa, Lucian
  • Re, Christopher M.
  • Reh, Carl Philipp
  • Rinetzky, Noam
  • Romero, Miguel
  • Sagiv, Mooly
  • Salihoglu, Semih
  • Samoladas, Vasilis
  • Schweikardt, Nicole
  • Schwentick, Thomas
  • Segoufin, Luc
  • Senellart, Pierre
  • Sundarmurthy, Bruhathi
  • Tamir, Orr
  • Tannen, Val
  • Tan, Wang-Chiew
  • Torunczyk, Szymon
  • Ullman, Jeffrey D.
  • Veith, Helmut
  • Vigny, Alexandre
  • Vortmeier, Nils
  • Vu, Hoa T.
  • Wang, Haitao
  • Wang, Kangning
  • Wang, Ruosong
  • Zeume, Thomas
  • Zhan, Wei
  • Zuleger, Florian
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization, List of Authors
    Authors: Benedikt, Michael ; Orsi, Giorgio

    Abstract | Document (332 KB) | BibTeX

    Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk)
    Authors: Feier, Cristina ; Kuusisto, Antti ; Lutz, Carsten

    Abstract | Document (641 KB) | BibTeX

    Graphs, Hypergraphs, and the Complexity of Conjunctive Database Queries (Invited Talk)
    Authors: Marx, Dániel

    Abstract | Document (236 KB) | BibTeX

    The Smart Crowd - Learning from the Ones Who Know (Invited Talk)
    Authors: Milo, Tova

    Abstract | Document (211 KB) | BibTeX

    GYM: A Multiround Distributed Join Algorithm
    Authors: Afrati, Foto N. ; Joglekar, Manas R. ; Re, Christopher M. ; Salihoglu, Semih ; Ullman, Jeffrey D.

    Abstract | Document (1,000 KB) | BibTeX

    Top-k Querying of Unknown Values under Order Constraints
    Authors: Amarilli, Antoine ; Amsterdamer, Yael ; Milo, Tova ; Senellart, Pierre

    Abstract | Document (655 KB) | BibTeX

    Combined Tractability of Query Evaluation via Tree Automata and Cycluits
    Authors: Amarilli, Antoine ; Bourhis, Pierre ; Monet, Mikaël ; Senellart, Pierre

    Abstract | Document (473 KB) | BibTeX

    The Complexity of Reverse Engineering Problems for Conjunctive Queries
    Authors: Barceló, Pablo ; Romero, Miguel

    Abstract | Document (988 KB) | BibTeX

    Answering FO+MOD Queries Under Updates on Bounded Degree Databases
    Authors: Berkholz, Christoph ; Keppeler, Jens ; Schweikardt, Nicole

    Abstract | Document (646 KB) | BibTeX

    How Many Variables Are Needed to Express an Existential Positive Query?
    Authors: Bova, Simone ; Chen, Hubie

    Abstract | Document (530 KB) | BibTeX

    Expressive Power of Entity-Linking Frameworks
    Authors: Burdick, Douglas ; Fagin, Ronald ; Kolaitis, Phokion G. ; Popa, Lucian ; Tan, Wang-Chiew

    Abstract | Document (556 KB) | BibTeX

    k-Regret Minimizing Set: Efficient Algorithms and Hardness
    Authors: Cao, Wei ; Li, Jian ; Wang, Haitao ; Wang, Kangning ; Wang, Ruosong ; Chi-Wing Wong, Raymond ; Zhan, Wei

    Abstract | Document (723 KB) | BibTeX

    The Design of Arbitrage-Free Data Pricing Schemes
    Authors: Deep, Shaleen ; Koutris, Paraschos

    Abstract | Document (569 KB) | BibTeX

    A Logic for Document Spanners
    Authors: Freydenberger, Dominik D.

    Abstract | Document (588 KB) | BibTeX

    Distributed Query Monitoring through Convex Analysis: Towards Composable Safe Zones
    Authors: Garofalakis, Minos ; Samoladas, Vasilis

    Abstract | Document (557 KB) | BibTeX

    Entropy Bounds for Conjunctive Queries with Functional Dependencies
    Authors: Gogacz, Tomasz ; Torunczyk, Szymon

    Abstract | Document (523 KB) | BibTeX

    On the Automated Verification of Web Applications with Embedded SQL
    Authors: Itzhaky, Shachar ; Kotek, Tomer ; Rinetzky, Noam ; Sagiv, Mooly ; Tamir, Orr ; Veith, Helmut ; Zuleger, Florian

    Abstract | Document (630 KB) | BibTeX

    Detecting Ambiguity in Prioritized Database Repairing
    Authors: Kimelfeld, Benny ; Livshits, Ester ; Peterfreund, Liat

    Abstract | Document (634 KB) | BibTeX

    Compression of Unordered XML Trees
    Authors: Lohrey, Markus ; Maneth, Sebastian ; Reh, Carl Philipp

    Abstract | Document (550 KB) | BibTeX

    Dynamic Complexity under Definable Changes
    Authors: Schwentick, Thomas ; Vortmeier, Nils ; Zeume, Thomas

    Abstract | Document (601 KB) | BibTeX

    Constant Delay Enumeration for FO Queries over Databases with Local Bounded Expansion
    Authors: Segoufin, Luc ; Vigny, Alexandre

    Abstract | Document (520 KB) | BibTeX

    m-tables: Representing Missing Data
    Authors: Sundarmurthy, Bruhathi ; Koutris, Paraschos ; Lang, Willis ; Naughton, Jeffrey ; Tannen, Val

    Abstract | Document (586 KB) | BibTeX

    Better Streaming Algorithms for the Maximum Coverage Problem
    Authors: McGregor, Andrew ; Vu, Hoa T.

    Abstract | Document (566 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI