{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00220363","sets":["934:1022:10776:11021"]},"path":["11021"],"owner":"44499","recid":"220363","title":["Coordination Avoidanceのためのセグメント分解作成手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-10-13"},"_buckets":{"deposit":"847e4dba-fc22-4ae7-a899-f7a7540726b0"},"_deposit":{"id":"220363","pid":{"type":"depid","value":"220363","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Coordination Avoidanceのためのセグメント分解作成手法","author_link":["576314","576315","576313","576317","576316","576318"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Coordination Avoidanceのためのセグメント分解作成手法"},{"subitem_title":"A Segmentation Algorithm for Coordination Avoidance","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"[研究論文] トランザクション処理，coordination avoidance","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2022-10-13","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"大阪大学大学院情報科学研究科／現在，株式会社NTTデータ"},{"subitem_text_value":"NTTコンピュータ&データサイエンス研究所"},{"subitem_text_value":"大阪大学大学院情報科学研究科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University / Presently with NTT DATA Corporation","subitem_text_language":"en"},{"subitem_text_value":"NTT Computer and Data Science Laboratories","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Information Science and Technology, Osaka University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/220363/files/IPSJ-TOD1503009.pdf","label":"IPSJ-TOD1503009.pdf"},"date":[{"dateType":"Available","dateValue":"2024-10-13"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TOD1503009.pdf","filesize":[{"value":"937.5 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"13"},{"tax":["include_tax"],"price":"0","billingrole":"39"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"9c71e6cd-83b4-4d34-bbf8-48453545ef1e","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"葛木, 優太"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中園, 翔"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"鬼塚, 真"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yuta, Katsuragi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Sho, Nakazono","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Makoto, Onizuka","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11464847","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7799","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"データベースでのトランザクション処理において，対象のオブジェクトがInvariant confluentであることは，調停フリーなトランザクションの実行でアプリケーション固有の不変条件を保つための必要十分条件である．Invariant confluentではない場合であっても，そのオブジェクトがInvariant confluentとなるセグメントに分解することで，セグメント内では調停フリーな実行が可能になることが知られている．しかし，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなるセグメントに分解するためのアルゴリズムはまだ研究がなされていない．本論文では，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなることが保証されるセグメントに分解する手法を提案する．提案手法は (1) Invariant confluenceの十分条件を満たすように不変条件を制限してセグメントを作成する技術と，(2) その存在によりオブジェクトがInvariant confluentとならないことが保証されるトランザクションをすべて制限してセグメントを作成する技術を用いて，セグメント分解を求める．提案手法により，Invariant confluentではないオブジェクトを，そのオブジェクトがInvariant confluentとなるセグメントに分解が可能であることを複数の具体例を用いて確認した．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"86","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌データベース（TOD）"}],"bibliographicPageStart":"75","bibliographicIssueDates":{"bibliographicIssueDate":"2022-10-13","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"3","bibliographicVolumeNumber":"15"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":220363,"updated":"2025-01-19T14:35:35.960699+00:00","links":{},"created":"2025-01-19T01:20:24.462976+00:00"}