+1 for Datomic, seems to be right in the wheelhouse for this problem.