Reliability, availability and maintainability analysis of hot standby database systems