長期トランザクションにおけるチェックイン・チェックアウトの自動化と短期トランザクションの実行順序の保障方式

• Item type: SIG Technical Reports(1)
• 公開日: 1997-01-21
• タイトル: 長期トランザクションにおけるチェックイン・チェックアウトの自動化と短期トランザクションの実行順序の保障方式
• タイトル / 言語: en
• タイトル: Management of Short Transactions Execution Order and Automatic Check in/out in Long Transactions
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTT情報通信研究所
• 著者所属: NTT情報通信研究所
• 著者所属(英): en
• 著者所属(英): NTT Information and Communication Systems Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Information and Communication Systems Laboratories
• 著者名: 鬼塚真; 磯部, 成二
• 著者名(英): Makoto, Onizuka; Seiji, Isobe
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 設計業務や分析業務では手戻りが頻繁に起きやすいため，ある時点での一貫性のあるデータをデータベース管理システムが自動的に保持することが要求される．また業務処理の手順が決定している場合は，この手順をデータベースで管理することによってデータの一貫性を保障することも要求される．前者の要求を実現するため，本稿では共用データベース上に，オブジェクトの状態とオブジェクト間に関する静的制約を定義することによって，チェックイン・チェックアウトを自動化する方式を提案する．一方後者の要求を実現するため，事象の事前条件・事後条件をデータベース上に定義することによって，長期トランザクションを構成する短期トランザクションの実行順序を保障する方式を提案する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We present two mechanisms of long transaction for engineering database management systems, one is to automate check in and check out control and the other is to insure the execution order of short transactions that compose a long transaction. The former mechanism automates the control of transferring objects from group database to private database and vice versa by the static constraints of objects. The latter mechanism insures the short transactions execution order by the dynamic constraints which manage pre-condition and post-condition of each event in short transactions.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1997, 号 7(1996-DBS-111), p. 33-40, 発行日 1997-01-21
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会