Title: A logic-based approach to federated databases