メーカーコードの値が1001以外の部品を検索する．

メーカーコードの値が1001でも4001でもない部品を検索する．

メーカーコードの値がNULL以外の部品を検索する．

メーカーコードの値が4001以上，4003以下の部品を検索する．

X がA表に対して専有ロックを獲得しているときでも，YはA表内の特定行aに対して専有ロックを獲得することができる．

X がA表内の特定行aに対して共有ロックを獲得しているときは，YはA表に対して専有ロックを獲得することができない．

X がA表内の特定行aに対して共有ロックを獲得しているときは，YはA表内の別の特定行bに対して専有ロックを獲得することができない．

X がA表に対して共有ロックを獲得しているときでも，YはA表に対して専有ロックを獲得することができる．

B，C，D

B，C，D，F

A，B，C，D

C，D，E，F，G

トランザクションが利用するロックは，専有ロックに限られる．

トランザクションの競合直列可能性が保証される．

デッドロックが発生することはない．

同一トランザクション内であれば，アンロック後にロックを行うことができる．

衝突直列化可能性は，最終状態直列化可能性よりも緩い条件である．

両者は常に同値である．

最終状態直列化可能ならば，必ず衝突直列化可能である．

衝突直列化可能ならば，最終状態直列化可能である．

 の辺だけをもつので，衝突直列化可能である．

衝突対が存在しないので，任意の直列スケジュールと衝突等価である．

 の辺だけをもつので，衝突直列化可能である．

 と  の辺をもつので，衝突直列化可能ではない．

トランザクションが正常終了すると，障害が発生しても更新結果はデータベースから消失しないこと

データベースの内容が矛盾しない状態であること

トランザクションの処理がすべて実行されるか，全く実行されないかのいずれかで終了すること

複数のトランザクションを同時に実行した場合と，順番に実行した場合の処理結果が一致すること