Deakstadieđáhus: Temporal datalog with existential quantification