Checking extensional constraints of federated schemata | IEEE Conference Publication | IEEE Xplore