As it was mentioned, this sounds very much like time-traveling debuggers like RR, which also records such database.

But I don't exactly understand: If you exactly recover the same state, don't you end up with the same faulty undesirable state? (That's what you also get with RR, by intention, to debug the problem.)

Clearly, here this is not the intention, i.e. you don't want to recover exactly the same state. So, it means, some parts will not be recovered. How would it be decided what parts to recover and what parts not? This seems like an impossible problem to solve in general.

And then, the state will not be exactly the same. It might be now in a sane state, but is it the right state that the user wants?