Hi Dennis,
thank you very much for sharing your experience as well.
As you face the same issue and as we are not able to restart the server several times per day I believe that we might have to look for a different dbms.
I would consider this as a serious bug and I am just wondering if there is a way to open a defect and if someone is going to fix this in a future release.
Thanks again,
Alex