Ultimately-periodic interval model checking for temporal dataset evaluation