2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2020★ 2 cited
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…