Beschreibung:
<jats:p>
In data streaming, why-provenance can explain why a given outcome is observed but offers no help in understanding why an expected outcome is missing. Explaining
<jats:italic>missing answers</jats:italic>
has been addressed in DBMSs, but these solutions are not directly applicable to the streaming setting, because of the extra challenges posed by limited storage and by the unbounded nature of data streams.
</jats:p>
<jats:p>
With our framework,
<jats:italic>Erebus</jats:italic>
, we tackle the unaddressed challenges behind explaining missing answers in streaming applications.
<jats:italic>Erebus</jats:italic>
allows users to define
<jats:italic>expectations</jats:italic>
about the results of a query, verifying at runtime if such expectations hold, and also providing explanations when expected and observed outcomes diverge (missing answers). To the best of our knowledge,
<jats:italic>Erebus</jats:italic>
is the first such solution in data streaming. Our thorough evaluation on real data shows that
<jats:italic>Erebus</jats:italic>
can explain the (missing) answers with small overheads, both in low- and higher-end devices, even when large portions of the processed data are part of such explanations.
</jats:p>