Theory of sketches for database mappings. (2015)