A coordination language for databases

DOI10.23638/LMCS-13(1:10)2017zbMATH Open1398.68124MaRDI QIDQ2980974FDOQ2980974

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

Publication date 8 May 2017

Full work available at URL https://arxiv.org/abs/1610.02364

zbMATH Keywords

distributiondatabasecoordination language

Mathematics Subject Classification ID

Database theory (68P15) Distributed systems (68M14)

Recommendations

• Coordination Models and Languages
• scientific article; zbMATH DE number 2087411
• Coordination Models and Languages
• A process algebraic view of shared dataspace coordination
• From flow logic to static type systems for coordination languages

Cites work

• A Coq formalization of the relational data model
• A coordination language for databases
• A relational model of data for large shared data banks
• A structural approach to operational semantics
• From flow logic to static type systems for coordination languages
• Information flow analysis for valued-indexed data security compartments
• Klava: a Java package for distributed and mobile applications
• On the Power of Attribute-Based Communication
• Programming and verifying component ensembles
• Toward a verified relational database management system
• Types and programing languages

Cited in

(3)

• The COIL data mediator definition language
• A coordination language for databases
• Coordination Models and Languages

Describes a project that uses

Uses Software

• Klava
• KLAIM
• SCEL

This page was built for publication: A coordination language for databases

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980974)