Pronto: a fast failover protocol for off-the-shelf commercial databases | IEEE Conference Publication | IEEE Xplore