| 講演名 | 1996/7/24 データベースカーネルの設計と仕様の代数的記述 三浦 康史, 奥井 順, 菊野 亨, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では,個人向けマルチメディアデータベースカーネルについて述べる.データベースカーネルの設計目標として次のものを掲げた.(1) 単純で基本的な構造を持つ.(2) 高速処理が可能である.(3) マルチメディアデータを扱える.また,設計した仕様を実現に依存しない形で曖昧なく正確に記述するため,抽象的順序機械型代数的仕様記述法を用いて記述をおこなった. |
| 抄録(英) | This paper presents a database management system kernel (DB kernel) for personal multimedia database terminals. We consider the following design goals:(1) The DB kernel has simple and fundamental structure. (2) The DB kernel has high-speed processing capability. (3) The DB kernel have adaptability to media variations. We describe specifications of the kernel with algebraic specification method of abstract sequential machines in order to realize no dependency on any implementations and no ambiguity. |
| キーワード(和) | データベースシステム / オペレーティングシステム / マルチメディア / 仕様記述 |
| キーワード(英) | database system / operating system / multimedia / specification language |
| 資料番号 | SS96-14 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 1996/7/24(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | データベースカーネルの設計と仕様の代数的記述 |
| サブタイトル（和） | |
| タイトル（英） | Design and Algebraic Specifications of a Database Kernel |
| サブタイトル（和） | |
| キーワード(1)（和/英） | データベースシステム / database system |
| キーワード(2)（和/英） | オペレーティングシステム / operating system |
| キーワード(3)（和/英） | マルチメディア / multimedia |
| キーワード(4)（和/英） | 仕様記述 / specification language |
| 第 1 著者 氏名（和/英） | 三浦 康史 / Kouji MIURA |
| 第 1 著者 所属（和/英） | 松下電器産業(株)研究本部 中央研究所 Central Research Laboratories,Matsushita Electric Industrial Co., Ltd. |
| 第 2 著者 氏名（和/英） | 奥井 順 / Jun OKUI |
| 第 2 著者 所属（和/英） | 松下電器産業(株)研究本部 中央研究所 Central Research Laboratories,Matsushita Electric Industrial Co., Ltd. |
| 第 3 著者 氏名（和/英） | 菊野 亨 / Tohru KIKUNO |
| 第 3 著者 所属（和/英） | 大阪大学 基礎工学部 情報工学科 Faculty of Engineering Science, Osaka University |
| 発表年月日 | 1996/7/24 |
| 資料番号 | SS96-14 |
| 巻番号（vol） | vol.96 |
| 号番号（no） | 173 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |