Spanners: A formal framework for information extractionRonald FaginBenny Kimelfeldet al.2013SIGMOD/PODS 2013
Solutions and query rewriting in data exchangeMarcelo ArenasPablo Barcelóet al.2013Information and Computation
A normal form for preventing redundant tuples in relational databasesHugh DarwenC.J. Dateet al.2012ICDT 2012
Local transformations and conjunctive-query equivalenceRonald FaginPhokion G. Kolaitis2012SIGMOD/PODS 2012
Composition with target constraintsMarcelo ArenasRonald Faginet al.2011Logical Methods in Computer Science