It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a second-order tgd (SO tgd). We consider the question of what happens when target constraints are allowed. Specifically, we consider the question ... View more
 F. Afrati and N. Kiourtis. Query Answering Using Views in the Presence of Dependencies. In New Trends in Information Integration (NTII), pages 8-11, 2008.
 F. Afrati and P. Kolaitis. Repair Checking in Inconsistent Databases: Algorithms and Complexity. In International Conference on Database Theory (ICDT), pages 31-41, 2009.
 F. Afrati, C. Li, and V. Pavlaki. Data Exchange in the Presence of Arithmetic Comparisons. In Extending Data Base Technology (EDBT), pages 487-498, 2008.
 F. Afrati, C. Li, and V. Pavlaki. Data Exchange: Query Answering for Incomplete Data Sources. In 3rd International Conference on Scalable Information Systems, 2009.
 M. Arenas, P. Barcelo´, R. Fagin, and L. Libkin. Locally Consistent Transformations and Query Answering in Data Exchange. In 23rd ACM Symposium on Principles of Database Systems (PODS), pages 229-240, 2004.
 M. Arenas, R. Fagin, and A. Nash. Composition with Target Constraints. In 13th International Conference on Database Theory (ICDT), pages 129-142, 2010.
 M. Arenas, J. P´erez, and C. Riveros. The Recovery of a Schema Mapping: Bringing Back Exchanged Data. In 27th ACM Symposium on Principles of Database Systems (PODS), pages 13-22, 2008.