Pragmatics and Open Problems for Inter-schema Constraint Theory | IEEE Conference Publication | IEEE Xplore