Automatic data integration with generalized mapping definitions