Sequence Group Validation based on Boundary Locking for Valid XML Documents

유효한 XML 문서에 대한 경계 로킹에 기반한 시퀀스 그룹 검증 기법

  • 최윤상 (서강대학교 컴퓨터학과) ;
  • 박석 (서강대학교 컴퓨터학과)
  • Published : 2005.12.01

Abstract

The XML is well accepted in several different Web application areas. As soon as many users and applications work concurrently on the same collection of XML documents, isolating accesses and modifications of different transactions becomes an important issue. When an XML document correctly corresponds to the rules laid out in a DTD or XML schema, it is also said to be valid. The valid XML document's validity should be guaranteed after the document is updated. The validation method mentioned above, however, results in lower degree of concurrency. For getting higher degree of concurrency and minimizing the range of the XML document validity, a new validation method based on a specific locking method is required. In this paper we propose the sequence group validation method for minimizing the range of the XML document validity. We also propose the boundary locking method for isolating accesses and modifications of different transactions while supporting the valid XML document's validity. Finally, the results of some experiments show the validation and locking methods increase the degree of transaction concurrency.

많은 웹 응용 영역에 XML이 적용되면서 트랜잭션의 변경과 접근에 대한 고립성을 만족시키는 XML 문서에 대한 병행수행은 중요한 이슈가 되고 있다. DTD(혹은 XML 스키마)의 규칙을 잘 지키는 문서를 유효한 XML 문서라 하는데, 유효한 XML 문서에 대한 갱신 연산은 연산 후의 XML 문서가 원래 DTD의 규칙을 그대로 유지해야하는 유효성 문제를 앉고 있다. 일반적인 유효성 검증 방법은 갱신 후의 XML 문서 전체에 대해 유효성을 검증하는 방법이다. 그러나, 위에서 언급한 유효성 검증 방법은 낮은 병행수행의 결과를 낳는다. 따라서, XML 문서의 유효성 검증 범위를 최소화하면서 높은 병행수행 정도를 보이는 새로운 유형성 검증 방법과 로킹 방법이 요구된다. 본 논문은 유효성 검증의 검증 범위를 최소화 시켜 유효성 검증이 효율적으로 수행될 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확성을 보장하면서 로킹되는 데이타 아이템의 수를 최소화 할 수 있는 경계 로킹 기법을 제안한다. 마지막으로 제안된 유효성 검증 기법과 경계 로킹 기법이 기존의 방법에 비해 트랜잭션의 병행수행 성능을 향상시키고 있음을 실험을 통해 보인다.

Keywords

References

  1. James Clark, Steve DeRose, 'XML Path Language (XPath) Version 1.0,' http://www.w3.org/TR/xpath, W3C Recommendation, November 1999
  2. Soctt Boag, et. al., 'XQuery 1.0:An XML query language,' http://www.w3c.org/TR/XQuery/, W3C working draft, November 2002
  3. Igor Tatarinov, Zachary G. Ives, Alon Y. Halevy, Daniel S. Weld, 'Updating XML,' ACM SIGMOD, pp.413-424, Santa Barbara, California, USA, May 2001 https://doi.org/10.1145/376284.375720
  4. Jonathan Robie, Ratrick Lehti, 'Updates in XQuery,' In Proceeding of XML Conference, 2001
  5. Sven Helmer, Carl-Christian Kanne, Guido Moerkotte, 'Isolation in XML Bases,' Technical report, University of Mannheim, Germany, 2001
  6. Sven Helmer, Carl-Christian Kanne, Guido Moerkotte, 'Evaluating Lock-based Protocols for Cooperation on XML Documents,' SIGMOD Record, Vol.33, No.1, March 2004 https://doi.org/10.1145/974121.974132
  7. Torsten Grabs, Klemens Bohrn, Hans-Jorg Schek, 'XMLTM: Efficient Transaction Management for XML Documents,' CIKM'02, McLean, Virginia, USA, November 2002 https://doi.org/10.1145/584792.584819
  8. Stijn Dekeyser, Jan Hidders, 'Path Locks for XML Document Collaboration,' WISE, pp.105-114, 2002 https://doi.org/10.1109/WISE.2002.1181648
  9. Stijn Dekeyser, Jan Hidders, Jan Paredaens, 'A Transaction Model for XML Databases,' World Wide Web Journal, Kluwer, 2003 https://doi.org/10.1023/B:WWWJ.0000015864.75561.98
  10. Sang-Kyun Kim, Myungcheol Lee, Kyu-Chul Lee, 'Immediate and Partial validation Mechanism for the Conflict Resolution of Update Operations in XML Databases,' WAIM 2002, Lecture Notes in Computer Science, Vol.2419, pp.387-396, Aug 2002 https://doi.org/10.1007/3-540-45703-8_36