一句话：提出数据库协调语言 Klaim-DB，给出其形式语义与类型系统，以排除求值错误和表数据格式不匹配等运行时错误。
本文提出面向分布式数据库应用建模的协调语言 Klaim-DB。它借用 Klaim 的 locality 与 net 概念，把元组空间重新演绎为数据库，为结构化数据的访问与操纵提供高层抽象和原语，并在语言层面考虑完整性与原子性。作者给出 Klaim-DB 的形式语义，并设计类型系统以排除语义中监控的潜在运行时错误，如特定求值错误与表的数据格式不匹配。论文通过连锁百货商店从各分店本地数据库聚合销售数据的场景展示语言用法，表明提高抽象层次并将完整性检查封装到语言原语中显著有利于建模任务。
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.
@article{paperbot201,
title = {A Coordination Language for Databases},
author = {Ximeng Li and Xi Wu and Alberto Lluch Lafuente and Flemming Nielson and Hanne Riis Nielson},
journal = {Logical Methods in Computer Science},
volume = {Volume 13, Issue 1},
year = {2017},
doi = {10.23638/lmcs-13(1:10)2017}
}