發送短信: Inverting Schema Mappings: Bridging the Gap between Theory and Practice