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
Pages337-346
Number of pages10
Publication statusPublished - 2007 Dec 1
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

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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).