On the Language of Nested Tuple Generating Dependencies

During the past 15 years, schema mappings have been extensively used in formalizing and studying such critical data interoperability tasks as data exchange and data integration. Much of the work ha...