A Declarative Framework for Updatable Views in Relational Databases

• Van-Dang, Tran

• Hiroyuki, Kato

• Zhenjiang, Hu

抄録

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

キーワード

• 論文賞セッション，最優秀学生論文賞

詳細情報

• CRID: 1050292572094429184
• NII論文ID: 170000150683
• Web Site: http://id.nii.ac.jp/1001/00198977/
• 本文言語コード: en
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles