2024-03-28T17:12:12Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:000205812023-04-27T10:00:04Z01164:01165:01253:01256
分散データベースシステムの制御方式に関する一考察A Study of Control Methods for Distributed Database Systemsjpnhttp://id.nii.ac.jp/1001/00020581/Technical Reporthttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=20581&item_no=1&attribute_id=1&file_no=1Copyright (c) 1990 by the Information Processing Society of Japan(株)日立製作所システム開発研究所(株)日立製作所システム開発研究所(株)日立製作所システム開発研究所(株)日立製作所システム開発研究所(株)日立製作所ソフトウェア工場根岸, 和義新田, 淳木保, 清隆神田, 基博木村, 淳美分散データベースシステムにおいてそのプロトコルの正当性の検証は重要な課題である。本報告では、有限オートマトン()により記述された複数のプロトコルマシンで定義されているプロトコルの障害発生時を含む検証方式に関して述べる。各FSAに障害発生時の遷移を明示的に追加し、その組合せのFSAを分析して、不当状態(コミット、ロールバックの混在した状態)や行き止まり状態(所期の最終状態に遷移できない状態)が発生しないことを検証した。FSAの組合せに際して状態の直積でなく、異なる状態の組合せのみを考えることにより、サーバマシンの台数とは独立に上記の検証を可能とした。Verification of communication protocol is important for distributed database systems. This paper discribes a verification method of the protocol. That protocol which is defined by each finite state automata (FSA) is extended to include state transitions to failure states. 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. Reduced FSA is used to analize the protocol independently of the number of database servers.AN10112482情報処理学会研究報告データベースシステム(DBS)199063(1990-DBS-078)1091171990-07-192009-06-30