Towards transformation of integrity constraints and database states | IEEE Conference Publication | IEEE Xplore