發送短信 : A utilization of schema constraints to transform predicates in XPath query

 ______    __   __     _____   _    _    __   _   
|      \\  \ \\/ //   / ___// | || | || | || | || 
|  --  //   \ ` //    \___ \\ | || | || | '--' || 
|  --  \\    | ||     /    // | \\_/ || | .--. || 
|______//    |_||    /____//   \____//  |_|| |_|| 
`------`     `-`'   `-----`     `---`   `-`  `-`