A coordination language for databases

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

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

Publication date: 8 May 2017

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

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

zbMATH Keywords

distributiondatabasecoordination language

Mathematics Subject Classification ID

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

Cites Work

• Klava: a Java package for distributed and mobile applications
• A structural approach to operational semantics
• A relational model of data for large shared data banks
• Types and programing languages
• Toward a verified relational database management system
• From flow logic to static type systems for coordination languages
• A Coq Formalization of the Relational Data Model
• On the Power of Attribute-Based Communication
• Programming and Verifying Component Ensembles
• Title not available (Why is that?)
• Information Flow Analysis for Valued-Indexed Data Security Compartments

Cited In (3)

• The COIL data mediator definition language
• Coordination Models and Languages
• Title not available (Why is that?)

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)