Have you looked at Datomic? It seems to fit your problem description well.