A Self-Managing High-Availability Database: Industrial Case Study | IEEE Conference Publication | IEEE Xplore