The Local Relational Model: A Logical Formalization of Database Coordination