%0 Conference Proceedings
%T Klaim-DB: A Modeling Language for Distributed Database Applications
%+ East China Normal University [Shangaï] (ECNU)
%+ Danmarks Tekniske Universitet = Technical University of Denmark (DTU)
%A Wu, Xi
%A Li, Ximeng
%A Lafuente, Alberto, Lluch
%A Nielson, Flemming
%A Nielson, Hanne, Riis
%Z Part 5: Shared Spaces
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 197-212
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_13
%K Local Database
%K Semantic Rule
%K Database Operation
%K Tuple Space
%K Logical Locality
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X We present the modelling language, Klaim-DB, for distributed database applications. Klaim-DB borrows the distributed nets of the coordination language Klaim but essentially re-incarnates the tuple spaces of Klaim as databases, and provides high-level language abstractions for the access and manipulation of structured data, with integrity and atomicity considerations. We present the formal semantics of Klaim-DB and illustrate the use of the language in a scenario where the sales from different branches of a chain of department stores are aggregated from their local databases. It can be seen that raising the abstraction level and encapsulating integrity checks (concerning the schema of tables, etc.) in the language primitives for database operations benefit the modelling task considerably.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774934/document
%2 https://inria.hal.science/hal-01774934/file/978-3-319-19282-6_13_Chapter.pdf
%L hal-01774934
%U https://inria.hal.science/hal-01774934
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037