A Logic Language for Distributed SQL Queries (osohq.com)