| 講演名 | 1996/7/25 プロセス代数によるイベント処理機構を持つアクティブデータベース言語 小島 功, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | アクテイブデータベースを扱うための、プロセス代数を元としたデータモデルによるイベント処理と、その言語について述べる。これは、従来のデータベース言語で扱いにくいイベントの処理/記述と、それに伴う並行制御の処理/記述にプロセス代数を用いるものである。プロセス代数を使うことで、データベースの振舞いの記述を自然に行なえると共に、等価性などの性質を持つためデータベース処理の最適化や検証に用いられる点に特色がある。プロセス代数表現により、複合イベントを構成する基本要素を定義し、結合モードを利用者がプログラム可能な形で提供できることとなった。次に、この記述モデルを基礎としたアクティプデータベース言語を実現した。特徴は、ECAアーキテクチャにおける条件/動作記述にSQLを用いることと、上記プロセス代数ベースのモデルに従った並行制御記述を持つことである。この言語ECA-SQLにより、・述語による条件記述表現と、集合操作によるデータベース処理 ・代数表現による複合的なイベント記述/処理 ・結合モードと並列処理の支援。また、並列処理の振る舞いの部分的な検証などが可能となった。既存のSQLサーバをシステムのl要素として用いることができる。また、CCSの処理系と接続し、振舞いのシミュレーションや操作の等価変換など、ルールの実行前の検証に用いることもできる。これらはWeb インターフェイスを実現しており、ネットワークアクセスが可能である。 |
| 抄録(英) | This paper presents the implementation of an active database system supporting ECA architecture. The model is based on the CCS process algebra. Process algebra is used for representing events and concurrent processing of active rules. Complex representations of events are supported using the process algebra. Operators for constructing complex events and parallel operations are defined. Equivalence is used for verifing the behavior of the database rules. Coupling modes are supported as macros of the operations of the algebra. Also, these are provided as user programmable components. ECA-SQL is provided as an extension of the SQL. SQL representations are treated as processes and some transaction programming functions are extended. Web interface for the system is also provided. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | DE96-32 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DE |
|---|---|
| 開催期間 | 1996/7/25(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Data Engineering (DE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プロセス代数によるイベント処理機構を持つアクティブデータベース言語 |
| サブタイトル（和） | |
| タイトル（英） | An Active Database Language Based on the Process Algebra Event Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 小島 功 / Isao Kojima |
| 第 1 著者 所属（和/英） | 電総研情報ベース研究室 Information Base Section Electrotechnical Laboratory |
| 発表年月日 | 1996/7/25 |
| 資料番号 | DE96-32 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 176 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |