プロセス代数によるアクティブデータベースの扱いについて

• Item type: SIG Technical Reports(1)
• 公開日: 1993-05-27
• タイトル: プロセス代数によるアクティブデータベースの扱いについて
• タイトル / 言語: en
• タイトル: Description of Active Database Systems Using Process Algebras
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電総研情報ベース研究室
• 著者所属: 電総研情報ベース研究室
• 著者所属: 電総研情報ベース研究室
• 著者所属(英): en
• 著者所属(英): Information Base Section, Electrotechincal Laboratory
• 著者所属(英): en
• 著者所属(英): Information Base Section, Electrotechincal Laboratory
• 著者所属(英): en
• 著者所属(英): Information Base Section, Electrotechincal Laboratory
• 著者名: 小島, 功; 磯部, 祥尚; 大蒔, 和仁
• 著者名(英): Isao, Kojima; Yoshinao, Isobe; Kazuhito, Ohmaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では、アクティブデータベースの諸問題に対する、プロセス代数の有効性について議論する。アクティブデータベースでは、イベントや更新の波及など、システムの動的な挙動などの扱いが不可欠である。また、ルール/トランザクション処理の一貫性の検証や、システムによって異なる機能の比較などのできるモデル化の道具が必要である。プロセス代数は並行処理の扱いや様々なクラスの等価性判定が可能と言った性質があり、処理の記述の検証に有効と考えられる。また、これに基づいた記述はプログラミング言語として実行可能であるので、モデルの記述と実行のメカニズムを同じ記述言語を用いて扱うことができるといった特徴がある。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents the approach for active databases using process algebras. Data models for active databases are required to support dynamic aspects of databases such as events and update propagations. Process algebras like CCS are suitable for these application. Several equalities defined on the algrebra can be used for the consistensy checking on active databases. Also, process algebra will be useful as programming language for describing the mechanism of active databases.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112482
• 書誌情報: 情報処理学会研究報告データベースシステム（DBS）; 巻 1993, 号 45(1993-DBS-093), p. 17-24, 発行日 1993-05-27
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会