摘要：We present a coordination language for the modeling of distributed databaseapplications. The language, baptized Klaim-DB, borrows the concepts oflocalities and nets of the coordination language Klaim but re-incarnates thetuple spaces of Klaim as databases. It provides high-level abstractions andprimitives for the access and manipulation of structured data, with integrityand atomicity considerations. We present the formal semantics of Klaim-DB anddevelop a type system that avoids potential runtime errors such as certainevaluation errors and mismatches of data format in tables, which are monitoredin the semantics. The use of the language is illustrated in a scenario wherethe sales from different branches of a chain of department stores areaggregated from their local databases. Raising the abstraction level andencapsulating integrity checks in the language primitives have benefited themodeling task considerably.
关键词：D.3.2;Computer Science - Logic in Computer Science
