Abstract: In decentralized database systems, it is reported that serializability could still produce unexpected transaction orderings, leading to the stale read anomaly. To eliminate this anomaly, ...

このNoteには、データベーススペシャリスト（デスペ）のAMIIの「直列化可能性」と「2相ロッキングプロトコル」についてまとめました。 どちらも出題は少ないのですが、実は関係があります。 直列化可能性を保証する手段が、2相ロックだからです。

A colleague of mine recently ran into an issue that I have not run into myself, but found to be interesting and, in my opinion, worth blogging about here. During some distributed Java development, my ...

A program which shall read a concurrent schedule involving n transactions with read and write instructions on data items from an input file and find whether the schedule is Conflict Serializable or ...

I developed this brute force algorithm during my masters studies. It's a great aid to quickly determine whether a schedule is serializable and draw a precendence graph.