Critical data needs a resilient database that businesses can rely on. This write-up takes an abstract view of High Availability and Auto-Failover in PostgreSQL.