12 citations · 15 across the 6 of their papers we have counts for
6 papers
Rewriting with Acyclic Queries: Mind Your Head
Gaetano Geck, Jens Keppeler, Thomas Schwentick +1
The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query and a set of views, there is a conjunctive query $Q'…
Iltis: Learning Logic in the Web
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp +4
The Iltis project provides an interactive, web-based system for teaching the foundations of formal methods. It is designed with the objective to allow for simple inclusion of new e…
Distribution Constraints: The Chase for Distributed Data
Gaetano Geck, Frank Neven, Thomas Schwentick
This paper introduces a declarative framework to specify and reason about distributions of data over computing nodes in a distributed setting. More specifically, it proposes distri…
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
Gaetano Geck, Artur Ljulin, Sebastian Peter +3
Logic is a foundation for many modern areas of computer science. In artificial intelligence, as a basis of database query languages, as well as in formal software and hardware veri…
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
Gaetano Geck, Bas Ketsman, Frank Neven +1
Single-round multiway join algorithms first reshuffle data over many servers and then evaluate the query at hand in a parallel and communication-free way. A key question is whether…
Parallel-Correctness and Transferability for Conjunctive Queries
Tom J. Ameloot, Gaetano Geck, Bas Ketsman +2
A dominant cost for query evaluation in modern massively distributed systems is the number of communication rounds. For this reason, there is a growing interest in single-round mul…