Abstract: In many settings, a database server has to be restarted either in response to a failure event, or in response to an operational decision such as moving a database service from one machine to ...