Intensional query processing in data integration systems under integrity constraints