Functional dependency maintenance and lossless join decomposition in XML model decomposition | IEEE Conference Publication | IEEE Xplore