Stav dette: Reasoning over streaming data in metric temporal datalog