長期トランザクションにおけるチェックイン・チェックアウトの自動化と短期トランザクションの実行順序の保障方式  [in Japanese] Management of Short Transactions Execution Order and Automatic Check in/out in Long Transactions  [in Japanese]

Access this Article

Search this Article

Author(s)

Abstract

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

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.

Journal

  • IPSJ SIG Notes

    IPSJ SIG Notes 1997(7(1996-DBS-111)), 33-40, 1997-01-21

    Information Processing Society of Japan (IPSJ)

References:  8

Codes

  • NII Article ID (NAID)
    110002930678
  • NII NACSIS-CAT ID (NCID)
    AN10112482
  • Text Lang
    JPN
  • Article Type
    Technical Report
  • ISSN
    09196072
  • Data Source
    CJP  NII-ELS  IPSJ 
Page Top