Database Integrity in Integrated Systems In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 132-140, 2009 , Milan, Italy