An approximate analysis of a real-time database concurrency control protocol via Markov modeling | ACM SIGMETRICS Performance Evaluation Review | DeepDyve