How lossless join decomposition is necessary condition in decomposition?