| Item type |
Symposium(1) |
| 公開日 |
2019-09-01 |
| タイトル |
|
|
タイトル |
A Declarative Framework for Updatable Views in Relational Databases |
| タイトル |
|
|
言語 |
en |
|
タイトル |
A Declarative Framework for Updatable Views in Relational Databases |
| 言語 |
|
|
言語 |
eng |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
論文賞セッション，最優秀学生論文賞 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
The Graduate University for Advanced Studies (SOKENDAI)／National Institute of Informatics |
| 著者所属 |
|
|
|
National Institute of Informatics |
| 著者所属 |
|
|
|
Peking University／National Institute of Informatics |
| 著者所属(英) |
|
|
|
en |
|
|
The Graduate University for Advanced Studies (SOKENDAI) / National Institute of Informatics |
| 著者所属(英) |
|
|
|
en |
|
|
National Institute of Informatics |
| 著者所属(英) |
|
|
|
en |
|
|
Peking University / National Institute of Informatics |
| 著者名 |
Van-Dang, Tran
Hiroyuki, Kato
Zhenjiang, Hu
|
| 著者名(英) |
Van-Dang, Tran
Hiroyuki, Kato
Zhenjiang, Hu
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this paper, we present the design and implementation of a framework for updatable views in relational databases. Our framework allows developers to use Datalog, a declarative language, for programming update strategies in order to make relational views updatable. We firstly implement an algorithm for automatically verifying the correctness of the user-written update strategy. Secondly, the verified strategy is translated into SQL trigger procedures that are automatically invoked in response to view update requests. We have successfully integrated our framework with PostgreSQL as the backend database system. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this paper, we present the design and implementation of a framework for updatable views in relational databases. Our framework allows developers to use Datalog, a declarative language, for programming update strategies in order to make relational views updatable. We firstly implement an algorithm for automatically verifying the correctness of the user-written update strategy. Secondly, the verified strategy is translated into SQL trigger procedures that are automatically invoked in response to view update requests. We have successfully integrated our framework with PostgreSQL as the backend database system. |
| 書誌情報 |
WebDB Forum 2019論文集
巻 2019,
p. 85-88,
発行日 2019-09-01
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-WebDBF2019022.pdf (1.2 MB)
