2 papers
cs.DB2020
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…
cs.CY2018
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…