A Declarative Framework for Updatable Views in Relational Databases
説明
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.
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論文集
-
WebDB Forum 2019論文集 2019 85-88, 2019-09-01
情報処理学会
- Tweet
キーワード
詳細情報 詳細情報について
-
- CRID
- 1050292572094429184
-
- NII論文ID
- 170000150683
-
- 本文言語コード
- en
-
- 資料種別
- conference paper
-
- データソース種別
-
- IRDB
- CiNii Articles