Formal Verification and Performance Evaluation of User Query Pattern-Based Relational Schema-to-XML Schema Translation Algorithm.

Jinhyung Kim Dongwon Jeong Doo-Kwon Baik Formal Verification and Performance Evaluation of User Query Pattern-Based Relational Schema-to-XML Schema Translation Algorithm. 337-346 2007 conf/ispa/2007 ISPA http://dx.doi.org/10.1007/978-3-540-74742-0_32 db/conf/ispa/ispa2007.html#KimJB07