3 papers
cs.LO2022
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…
cs.DB2022
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 in terms of datasets ) is a logical specification involving the source dat…
cs.LO2020
Generating collection transformations from proofs
Michael Benedikt, Cécilia Pradic
Nested relations, built up from atomic types via product and set types, form a rich data model. Over the last decades the nested relational calculus, NRC, has emerged as a standard…