An approach to schema integration and query formulation in federated database systems | IEEE Conference Publication | IEEE Xplore