P.A.Bernstein
トランザクション
の数理論理学的な基礎づけに貢献した人物.
特に,
CC本
と
Bernstein 83
で示された
Multiversion Serialization Graph(MVSG)
のコンセプトが有名.
このコンセプトは,あるヒストリが
MVSR
であることを多項式時間で解くための問題の変形を示している.
追加のパラメータ(
Version Order
)を与えれば,多項式時間でMembership Testができる...というもの.
Bernstein本
Bernstein 83
Bernstein 79
などが著作/主著.