Synthesizing Nested Relational Queries from Implicit Specifications

Michael Benedikt, Cécilia Pradic, Christoph Wernhard

Derived datasets can be defined implicitly or explicitly. An implicit definition (of dataset $O$ in terms of datasets $\vec{I}$) is a logical specification involving the source dat…