著者

鬼塚真 磯部 成二

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告データベースシステム(DBS) (ISSN:09196072)

巻号頁・発行日

vol.1997, no.7, pp.33-40, 1997-01-21

---

設計業務や分析業務では手戻りが頻繁に起きやすいため,ある時点での一貫性のあるデータをデータベース管理システムが自動的に保持することが要求される.また業務処理の手順が決定している場合は,この手順をデータベースで管理することによってデータの一貫性を保障することも要求される.前者の要求を実現するため,本稿では共用データベース上に,オブジェクトの状態とオブジェクト間に関する静的制約を定義することによって,チェックイン・チェックアウトを自動化する方式を提案する.一方後者の要求を実現するため,事象の事前条件・事後条件をデータベース上に定義することによって,長期トランザクションを構成する短期トランザクションの実行順序を保障する方式を提案する.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.