Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Abrial, J.-R.: Formal methods: Theory becoming practice. J. UCS 13(5), 619–628 (2007)
De Nicola, R., Ferrari, G.L., Pugliese, R.: KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng. (1998)
Dwork, C.: Differential privacy. In: Encyclopedia of Cryptography and Security, 2nd edn., pp. 338–340 (2011)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1985)
Kuhn, E., Ludwig, T.: Vip-mdbs: A logic multidatabase system. In: Proceedings of the First International Symposium on Databases in Parallel and Distributed Systems, DPDS 1988, pp. 190–201. IEEE Computer Society Press (1988)
Kühn, E., Elmagarmid, A.K., Leu, Y., Boudriga, N.: A parallel logic language for transaction specification in multidatabase systems. Journal of Systems Integration 5(3), 219–252 (1995)
Lourenço, L., Caires, L.: Information flow analysis for valued-indexed data security compartments. In: Trustworthy Global Computing - 8th International Symposium, TGC 2013, pp. 180–198 (2013)
Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61:17–139 (2004)
Thirukonda, M.M., Menezes, R.: On the use of linda as a framework for distributed database systems (2002)
Tolstrup, T.K., Nielson, F., Hansen, R.R.: Locality-based security policies. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol. 4691, pp. 185–201. Springer, Heidelberg (2007)
Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Comput. Surv. 41(4) (2009)
Zloof, M.M.: Query by example. In: Proceedings of the National Computer Conference and Exposition, AFIPS 1975, pp. 431–438. ACM, New York (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wu, X., Li, X., Lafuente, A.L., Nielson, F., Nielson, H.R. (2015). Klaim-DB: A Modeling Language for Distributed Database Applications. In: Holvoet, T., Viroli, M. (eds) Coordination Models and Languages. COORDINATION 2015. Lecture Notes in Computer Science(), vol 9037. Springer, Cham. https://doi.org/10.1007/978-3-319-19282-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-19282-6_13
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19281-9
Online ISBN: 978-3-319-19282-6
eBook Packages: Computer ScienceComputer Science (R0)