An interpretation of Linear Temporal Logic for Datomic