https://123dok.org/document/zgwdmp6n-analytical-modeling-concurrency-control-arbitrary-transaction-access-patterns.html