Data warehousing design: Automatic verification of conformity and summarizability constraints | IEEE Conference Publication | IEEE Xplore