Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory

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 I) is a logical specification involving two distinguished sets o…