Beaver: Towards a Declarative Schema Mapping
Synthesizing highly expressive SQL queries from input-output examples