Yes, I think is fairly well known in the optimistic family of concurrency control algorithms you can get into situations where aborts are not necessary. https:

Yes, I think is fairly well known in the optimistic family of concurrency control algorithms you can get into situations where aborts are not necessary. https://db.cs.cmu.edu/papers/2016/yu-sigmod2016.pdf https://db.cs.cmu.edu/papers/2016/yu-sigmod2016.pdf Section 3.4 of this paper covers another example of this.