WEKO3
アイテム
Transformational Object - Relational Database Model in Formal Methods
https://ipsj.ixsq.nii.ac.jp/records/17326
https://ipsj.ixsq.nii.ac.jp/records/173264d9d5762-c366-4d78-8e87-97c23d8be562
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-TOM4205010.pdf (2.0 MB)
|
Copyright (c) 2001 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Trans(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2001-05-15 | |||||||
| タイトル | ||||||||
| タイトル | Transformational Object - Relational Database Model in Formal Methods | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Transformational Object - Relational Database Model in Formal Methods | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | オリジナル論文 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| Department of Computer Science and Communication Engineering Graduate School of Information Science and Electrical Engineering Kyushu University/Indonesian Aerospace (Iae) Bandung Indonesia | ||||||||
| 著者所属 | ||||||||
| Department of Computer Science and Communication Engineering Graduate School of Information Science and Electrical Engineering Kyushu University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University/Indonesian Aerospace (IAe), Bandung, Indonesia | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science and Communication Engineering, Graduate School of Information Science and Electrical Engineering, Kyushu University | ||||||||
| 著者名 |
Pujianto, Yugopuspito
Keijiro, Araki
× Pujianto, Yugopuspito Keijiro, Araki
|
|||||||
| 著者名(英) |
Pujianto, Yugopuspito
Keijiro, Araki
× Pujianto, Yugopuspito Keijiro, Araki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | The transformation of a Relational Database to an Object-Relational Database is a preferable choice for a relational database in order to support object-orientation. Object-Relational Database is an emerging breed of database that combine the state-of-the-art Relational Database with object-oriented capabilities. The transformation should be guaranteed to be correct and complete. Since the ambiguity of conventional representations of database model e.g. UML diagrams and the diversities of SQLs the use of formal methods can overcome those problems. Furthermore formal specification offers a further reasoning and considered cases can be proven. We propose the transformation model and the database process in a new sequence. The formal specification is given in Z notation. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11464803 | |||||||
| 書誌情報 |
情報処理学会論文誌数理モデル化と応用（TOM） 巻 42, 号 SIG05(TOM4), p. 71-80, 発行日 2001-05-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7780 | |||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
