CRC 1404/2: Query-driven Validation of Distributed DAWs (SP A01)

Assumptions on the data fed into a DAW or the infrastructure it is running on are typically not expressed explicitly, but are simply assumed to be satisfied. To increase the dependability of DAWs, in the first phase of FONDA, The subproject followed the idea to capture validity con-straints through intuitively meaningful queries over streams of generic DAW execution data. In the second phase of FONDA, we will extend our scope to multi-center settings. We will explore how the discovery of queries that capture validity constraints can be pushed to the data sources as much as possible, targeting execution traces that are partitioned across multiple data centers.