データベースサーバシステムの制御方式に関する一考察

• Item type: SIG Technical Reports(1)
• 公開日: 1991-07-17
• タイトル: データベースサーバシステムの制御方式に関する一考察
• タイトル / 言語: en
• タイトル: A Study of Control Methods for Database Server Systems
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: （株）日立製作所システム開発研究所
• 著者所属(英): en
• 著者所属(英): Systems Development Lab., Hitachi Ltd.
• 著者名: 根岸, 和義
• 著者名(英): Kazuyoshi, Negishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: データベースサーバシステムにおいてそのプロトコルの正当性の検証は重要な課題である。本報告では、有限オートマトン(）により記述された複数のプロトコルマシンで定義されているプロトコルの検証方式に関して述べる。各FSAの組合せのFSAを分析して、不当状態（コミット、ロールバックの混在した状態）や行き止まり状態（所期の最終状態に遷移できない状態）が発生しないことを検証し、何台のサーバマシンを用意すれば実機における動作確認が可能であるかを示した。FSAの組合せに際して状態の直積でなく、異なる状態の組合せのみを考えることにより、サーバマシンの台数とは独立にすべての台数のサーバに対して上記の検証を可能とした。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Verification of communication protocol is important for database server systems. This paper discribes a verification method of the protocol. That protocol is defined by number of finite state automata(FSA). We examine these FSA to exclude invalid states which include both commit state and rollback state, and to exclude halt states which has no transition path to final states. We show how many server machines are needed for verification of the protocol with real machines. Reduced FSA is used to analize the protocol independently of the number of database servers.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1991, 号 65(1991-DBS-084), p. 111-117, 発行日 1991-07-17
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会