About
kekeho
Serializable
Linearizability
OceanBase
tpmC
Omid
PolarDB-X
CORFU
Program Consisitency
CALM Theorem
一階述語論理
同値関係
関係の合成
二項関係
Relation
n-ary relation
Floyd-Warshall Algorithm
Transitive closure
Consistency