1) conflict serializability
冲突可顺序化
3) serialization graph testing
可串行化冲突图
4) progressive die
顺序冲模
5) allowed sequence
许可顺序
6) Program conflict
程序冲突
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条