| 講演名 | 1995/7/18 メッセージ通信に基づく並列トランザクション管理 横田 治夫, 荒井 竜一, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 高機能な並列トランザクション管理システムを構成するためのモデルの提案を行ない、並列論理型言語KL1でシステムを記述する場合の実現方法を示す。まず、高機能化のため、データベースの各項目は自律的に動作するオブジェクトとして扱う。と同時に、ネストが可能なトランザクション、各アクティブルールの発火制御、ロックテーブルのエントリーもそれぞれ自律的なオブジェクトとする。これらのオブジェクトの集合間でどのようなメッセージ通信が必要なのか解析を行ない、デッドロック検出の実現方法やログの取り扱いについても考察する。更に、KL1の永続プロセスと論理変数を用いたメッセージ通信によってスマートに実現できることを示す。 |
| 抄録(英) | We propose a model for an intelligent parallel transaction management system, and an implementation method of the system using a parallel logic programming language, KL1. Items in a database, nested transactions themselves, firing controls of active rules, and entries of a lock table are treated as sets of autonomous objects. We analyze messages among these objects, and mechanisms for detecting deadlocks and logging. KL1 is suitable for representing the system, since a perpetual process of KL1 directly corresponds to an object, and logical variables shared among the processes can be used for passing messages. |
| キーワード(和) | |
| キーワード(英) | |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | DE |
|---|---|
| 開催期間 | 1995/7/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Data Engineering (DE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | メッセージ通信に基づく並列トランザクション管理 |
| サブタイトル（和） | |
| タイトル（英） | Parallel Transaction Management using Message Communication |
| サブタイトル（和） | |
| キーワード(1)（和/英） | |
| 第 1 著者 氏名（和/英） | 横田 治夫 / Haruo Yokota |
| 第 1 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 School of Information Science Japan Advanced Institute of Science and Technology, Hokuriku |
| 第 2 著者 氏名（和/英） | 荒井 竜一 / Ryuichi Arai |
| 第 2 著者 所属（和/英） | 北陸先端科学技術大学院大学情報科学研究科 School of Information Science Japan Advanced Institute of Science and Technology, Hokuriku |
| 発表年月日 | 1995/7/18 |
| 資料番号 | |
| 巻番号（vol） | vol.95 |
| 号番号（no） | 147 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |