A formal approach to the vertical partitioning problem in distributed database design | IEEE Conference Publication | IEEE Xplore