Information Systems Group

― Databases

Databases

The Database Group conducts research on next-generation data management infrastructure, including Data Exchange, Web Information Extraction, XML processing, Deep Web Querying, Management of Uncertain Information, Querying Social Networks, and Stream Processing.

Latest Publications

  Michael Benedikt, Joost Engelfriet, and Sebastian Maneth.
Determinacy and rewriting of functional top-down and MSO tree transformations. J. Comput. Syst. Sci., 85:57–73, 2017. [ DOI | http ]
  Michael Benedikt, Bernardo Cuenca Grau, and Egor V. Kostylev.
Source Information Disclosure in Ontology-Based Data Integration. In Satinder P. Singh and Shaul Markovitch, editors, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA., pages 1056–1062. AAAI Press, 2017. [ http ]
  Michael Benedikt, Pierre Bourhis, and Michael Vanden Boom.
Characterizing Definability in Decidable Fixpoint Logics. In Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl, editors, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland, volume 80 of LIPIcs, pages 107:1–107:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [ DOI | http ]
  Michael Benedikt, Egor V. Kostylev, Fabio Mogavero, and Efthymia Tsamoura.
Reformulating Queries: Theory and Practice. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 837–843. ijcai.org, 2017. [ DOI | http ]
  Ben Spencer, Michael Benedikt, Anders Møller, and Franck van Breugel.
ArtForm: a tool for exploring the codebase of form-based websites. In Tevfik Bultan and Koushik Sen, editors, Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017, pages 380–383. ACM, 2017. [ DOI | http ]
  Michael Benedikt, Timothy Duff, Aditya Sharad, and James Worrell.
Polynomial automata: Zeroness and applications. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1–12. IEEE Computer Society, 2017. [ DOI | http ]
  Michael Benedikt, George Konstantinidis, Giansalvatore Mecca, Boris Motik, Paolo Papotti, Donatello Santoro, and Efthymia Tsamoura.
Benchmarking the Chase. In Emanuel Sallinger, Jan Van den Bussche, and Floris Geerts, editors, Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017, pages 37–52. ACM, 2017. [ DOI | http ]
  Antoine Amarilli and Michael Benedikt.
When Can We Answer Queries Using Result-Bounded Data Interfaces? CoRR, abs/1706.07936, 2017. [ arXiv | http ]
  Michael Benedikt, Pierre Bourhis, and Michael Vanden Boom.
Characterizing Definability in Decidable Fixpoint Logics. CoRR, abs/1705.01823, 2017. [ arXiv | http ]
  Dan Olteanu and Florin Rusu.
Special issue on in-database analytics. Distributed and Parallel Databases, 35(3-4):333–334, 2017. [ DOI | http ]
  Dan Olteanu.
Technical Perspective: Juggling Functions Inside a Database. SIGMOD Record, 46(1):5, 2017. [ DOI | http ]
  Hung Q. Ngo, XuanLong Nguyen, Dan Olteanu, and Maximilian Schleich.
In-Database Factorized Learning. In Juan L. Reutter and Divesh Srivastava, editors, Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017., volume 1912 of CEUR Workshop Proceedings. CEUR-WS.org, 2017. [ .pdf ]
  Mahmoud Abo Khamis, Hung Q. Ngo, XuanLong Nguyen, Dan Olteanu, and Maximilian Schleich.
In-Database Learning with Sparse Tensors. CoRR, abs/1703.04780, 2017. [ arXiv | http ]
  Milos Nikolic and Dan Olteanu.
Incremental Maintenance of Regression Models over Joins. CoRR, abs/1703.07484, 2017. [ arXiv | http ]
  Ahmet Kara and Dan Olteanu.
Covers of Query Results. CoRR, abs/1709.01600, 2017. [ arXiv | http ]
  Georg Gottlob, Thomas A. Henzinger, and Georg Weissenbacher.
Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods in System Design, 51(2):267–269, 2017. [ DOI | http ]
  Georg Gottlob, Reinhard Pichler, and Emanuel Sallinger.
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. In Juan L. Reutter and Divesh Srivastava, editors, Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, Montevideo, Uruguay, June 7-9, 2017., volume 1912 of CEUR Workshop Proceedings. CEUR-WS.org, 2017. [ .pdf ]
  Luigi Bellomarini, Georg Gottlob, Andreas Pieris, and Emanuel Sallinger.
Swift Logic for Big Data and Knowledge Graphs. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017, pages 2–10. ijcai.org, 2017. [ DOI | http ]
  Georg Gottlob, Christoph Koch, and Andreas Pieris.
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. In Frank Drewes, Carlos Martín-Vide, and Bianca Truthe, editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, volume 10168 of Lecture Notes in Computer Science, pages 27–47, 2017. [ DOI | http ]
  Nikolaos Konstantinou, Martin Koehler, Edward Abel, Cristina Civili, Bernd Neumayr, Emanuel Sallinger, Alvaro A. A. Fernandes, Georg Gottlob, John A. Keane, Leonid Libkin, and Norman W. Paton.
The VADA Architecture for Cost-Effective Data Wrangling. In Semih Salihoglu, Wenchao Zhou, Rada Chirkova, Jun Yang, and Dan Suciu, editors, Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017, pages 1599–1602. ACM, 2017. [ DOI | http ]