Li, Ximeng and Wu, Xi and Lafuente, Alberto Lluch and Nielson, Flemming and Nielson, Hanne Riis - A Coordination Language for Databases

lmcs:3205 - Logical Methods in Computer Science, March 17, 2017, Volume 13, Issue 1
A Coordination Language for Databases

Authors: Li, Ximeng and Wu, Xi and Lafuente, Alberto Lluch and Nielson, Flemming and Nielson, Hanne Riis

We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of localities and nets of the coordination language Klaim but re-incarnates the tuple spaces of Klaim as databases. It provides high-level abstractions and primitives for the access and manipulation of structured data, with integrity and atomicity considerations. We present the formal semantics of Klaim-DB and develop a type system that avoids potential runtime errors such as certain evaluation errors and mismatches of data format in tables, which are monitored in the semantics. The use of the language is illustrated in a scenario where the sales from different branches of a chain of department stores are aggregated from their local databases. Raising the abstraction level and encapsulating integrity checks in the language primitives have benefited the modeling task considerably.


Source : oai:arXiv.org:1610.02364
DOI : 10.23638/LMCS-13(1:10)2017
Volume: Volume 13, Issue 1
Published on: March 17, 2017
Submitted on: March 17, 2017
Keywords: Computer Science - Logic in Computer Science,D.3.2


Share

Consultation statistics

This page has been seen 595 times.
This article's PDF has been downloaded 403 times.