A temporal graph database on top of Datomic