View on GitHub BIRDS

BIdirectional transformation for Relational view update Datalog-based Strategies

Overview

BIRDS (BIdirectional transformation for Relational view update Datalog-based Strategies) is a declarative framework that allows developers to program update strategies on relational views, hence, making views updatable. The framework is based on the theory of (putback-based) bidirectional transformations (BX) but specifically developed for relational database management systems (RDBMSs). BIRDS supports Datalog, a highly declarative language, thus frees programmers from the burden of manually

View update strategy: How to write ?

We are given schemas of tables and a view. Traditionally, over the base tables, we write a query that defines the view. However, this defining query is not enough to determine how view updates are propagated to the base tables.

BIRDS allows developers to focus on the reverse direction, view update strategy, which is more essential for updatable views. An update strategy is no more than a Datalog program over the base tables and the view that results in updates (insertions/deletions) on the base tables. In fact, this update strategy captures both the view update propagation and the defining query of the view.

Note that an update strategy should make full use of data on the view in updating the source tables. We must ensure that no information on the view is lost in the updated source. BIRDS supports us to verify the correctness of the written update strategy.

Update strategies by example: The basics

The Datalog core Syntax: Syntax

Installation and Usage

There are two ways to use BIRDS to write and compile Datalog programs of view update strategies

You can also build from the source code or download BIRDS’s docker image for using both the command line tool and WebUI editor of BIRDS. The PostgreSQL database in BIRDS’s docker image runs on port 5432 and has a default user postgres (password: 12345678)

Case studies