Storage Engines, B-tree Implementations, WAL Protocols, ACID Guarantees