Formal verification and performance evaluation of user query pattern-based relational schema-to-XML schema translation algorithm

Jinhyung Kim, Dongwon Jeong, Doo Kwon Baik

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes formal verification and quantitative performance evaluation for validating of query pattern-based relational schema-to-XML Schema translation (QP-T) algorithm. Many translation algorithms such as FT, NeT, CoT, ConvRel, and VP-T have been introduced on structural and/or semantic aspect for exact and effective translation. However, conventional algorithms consider only explicit referential integrity specified by relational schema or limitations regarding on reflection of implicit referential integrity information. It causes several problems such as incorrect translation, abnormal relational model transition, and so on. The QP-T algorithm analyzes query pattern and extract implicit referential integrities by interrelationship of equi-join in user queries. The QP-T algorithm can make up for weak points of the VP-T algorithm and create more exact XML Schema as a result by using with VP-T algorithm together.

Original languageEnglish
Title of host publicationParallel and Distributed Processing and Applications - 5th International Symposium, ISPA 2007, Proceedingsq
PublisherSpringer Verlag
Pages337-346
Number of pages10
ISBN (Print)3540747419, 9783540747413
DOIs
Publication statusPublished - 2007
Event5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007 - Niagara Falls, Canada
Duration: 2007 Aug 292007 Aug 31

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4742 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007
CountryCanada
CityNiagara Falls
Period07/8/2907/8/31

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Formal verification and performance evaluation of user query pattern-based relational schema-to-XML schema translation algorithm'. Together they form a unique fingerprint.

  • Cite this

    Kim, J., Jeong, D., & Baik, D. K. (2007). Formal verification and performance evaluation of user query pattern-based relational schema-to-XML schema translation algorithm. In Parallel and Distributed Processing and Applications - 5th International Symposium, ISPA 2007, Proceedingsq (pp. 337-346). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4742 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-540-74742-0_32