- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
A Declarative Framework for Updatable Views in Relational Databases
Description
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.
Journal
-
- WebDB Forum 2019論文集
-
WebDB Forum 2019論文集 2019 85-88, 2019-09-01
情報処理学会
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050292572094429184
-
- NII Article ID
- 170000150683
-
- Text Lang
- en
-
- Article Type
- conference paper
-
- Data Source
-
- IRDB
- CiNii Articles