I thought this was already implemented, but only fromMapping of type QueryExp is implemented. The paper Algebraic Data Integration specifies that given a query Q, there are two mappings F and G such that Eval Q ~ delta F ; pi G, and also dually. The task is to add these to cql.
I thought this was already implemented, but only fromMapping of type QueryExp is implemented. The paper Algebraic Data Integration specifies that given a query Q, there are two mappings F and G such that Eval Q ~ delta F ; pi G, and also dually. The task is to add these to cql.