@article{oai:ipsj.ixsq.nii.ac.jp:00220363,
 author = {葛木, 優太 and 中園, 翔 and 鬼塚, 真 and Yuta, Katsuragi and Sho, Nakazono and Makoto, Onizuka},
 issue = {3},
 journal = {情報処理学会論文誌データベース（TOD）},
 month = {Oct},
 note = {データベースでのトランザクション処理において，対象のオブジェクトがInvariant confluentであることは，調停フリーなトランザクションの実行でアプリケーション固有の不変条件を保つための必要十分条件である．Invariant confluentではない場合であっても，そのオブジェクトがInvariant confluentとなるセグメントに分解することで，セグメント内では調停フリーな実行が可能になることが知られている．しかし，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなるセグメントに分解するためのアルゴリズムはまだ研究がなされていない．本論文では，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなることが保証されるセグメントに分解する手法を提案する．提案手法は (1) Invariant confluenceの十分条件を満たすように不変条件を制限してセグメントを作成する技術と，(2) その存在によりオブジェクトがInvariant confluentとならないことが保証されるトランザクションをすべて制限してセグメントを作成する技術を用いて，セグメント分解を求める．提案手法により，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなるセグメントに分解が可能であることを複数の具体例を用いて確認した．, In transaction processing, invariant confluence is a necessary and sufficient condition to preserve application invariants by coordination-free transaction execution. A segmentation for object was proposed to make coordination-free execution possible, even if an object is not invariant confluent. If a object is invariant confluent within a segment, coordination-free execution is possible within the segment. However, there is no algorithm for a non-invariant confluent object to construct a segmentation from segments within each of which the object is invariant confluent. In this paper, we propose an algorithm for a non-invariant confluent object to construct a segmentation that consists of invariant confluent segments. The proposed method segments an object by (1) restricting the invariant in each segment to satisfy a sufficient condition for invariant confluence or (2) excluding transactions that their existence leads to the violation of invariant confluence from a segment. We applied the proposed method to several common examples and confirmed that the proposed method constructs a segmentation that consists of segments within each of which the object is invariant confluent.},
 pages = {75--86},
 title = {Coordination Avoidanceのためのセグメント分解作成手法},
 volume = {15},
 year = {2022}
}