Please use this identifier to cite or link to this item:
A Semantic-based Protocol and Simulation Model for Concurrency Control in XML Database Systems
generic simulation model
|引用:||References  "Bloodshed Dev-C++," http://www.bloodshed.net/devcpp.html.  "Document Object Model," http://www.w3.org/DOM.  "DTD Tutorial," http://www.w3schools.com/dtd/default.asp.  "ebXML," http://ebxml.xml.org/.  "MySQL Database Software," MySQL Enterprise, http://www.mysql.com/.  "Natix," http://www.data-ex-machina.com/natix.html.  "SAX," http://www.saxproject.org/.  "The SGML/XML Web Page," http://www.Oasis-open.org/cover/.  "Tamino," http://www.softwareag.com/corporate/products/tamino.  "Transaction Processing over XML (TPoX)," http://tpox.sourceforge.net/.  UML 2.0: Superstructure Specification. Version 2.0: The Object Management Group., 2005.  "World Wide Web Consortium," http://www.w3c.org.  "The World Wide Web Consortium," http://www.w3.org.  "XCheck," http://ilps.science.uva.nl/Resources/XCheck/.  "XMark Project," http://www.xml-benchmark.org.  "XML," http://www.w3.org/XML.  "XML Path Language (XPath) 2.0," http://www.w3.org/TR/2007/REC-xpath20-20070123/  "XQuery," http://www.w3.org/XML/Query.  "XUpdate," http://xmldb-org.sourceforge.net/xupdate/.  A. Aghasaryan, C. Jard, and J. Thomas, "UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks," Lecture Notes in Computer Science, vol. 3124, pp. 841 - 847, 2004.  R. Agrawal, M. J. Carey, and D. J. DeWitt, "Deadlock Detection is Cheap," SIGMOD Record, vol. 13, pp. 19 - 34, 1983.  R. Agrawal, M. J. Carey, and M. Livny, "Concurrency Control Performance Modeling: Alternatives and Implications," ACM Transactions on Database System, vol. 12, pp. 609 - 654, 1987.  R. Agrawal, M. J. Carey, and M. Livny, "Models for Studying Concurrency Control Performance Alternatives and Implications," in Proc. ACM SIGMOD Conf. on Management of Data, 1985, pp. 108 - 121.  B. Badrinath and K. Ramamrithan, "Semantics-based Concurrency Control: beyond Commutativity," ACM Transactions on Database Systems, vol. 17, pp. 163 - 199, 1992.  F. Bancilhon, W. kim, and H. F. Korth, "A Model of CAD Transactions," in Proceedings of the 11th International Conference on Very Large Databases, Morgan Kaufmann, 1985, pp. 25 - 33.  P. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database System: Addison-Wesley, 1987.  Y. Breitbart, H. Garcia-Molina, and A. Silberschatz, "Overview of Multidatabase Transaction management," VLDB Journal, vol. 1, pp. 181 - 239, 1992.  E. H. Choi and T. Kanai, "XPath-based Concurrency Control for XML Data," in Proceedings of the 14th Data Engineering Workshop, 2003, pp. 302-313.  S. Dekeyser, J. Fiebig, C. C. Kanne, G. Moerkotte, J. Neumann, and R. Schiele, "Natix: A Technology Overview," in Proceedings of the Web and Database-Related Workshops, 2002, pp. 12-33.  S. Dekeyser and J. Hidders, "A Commit Scheduler for XML Databases," in Proceedings of the 5th Asian-Pacific Web Conference, 2003, pp. 83-88.  S. Dekeyser and J. Hidders, "Path Locks for XML Document Collaboration," in Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002, pp. 105-114.  S. Dekeyser and Hidders. J., "Instance Independent Concurrency Control for Semistructured Databases," in Proceeding of the 11th Italian Symposium on Advanced Database Systems, 2003, pp. 323-334.  S. Dekeyser and Hidders. J., "A Transaction Model for XML Databases," World Wide Web: Internet and Web Information Systems, vol. 7, pp. 29-57, 2004.  K. Eswaran, J. Gray, R. Lorie, and I. Traiger, "The Notions of Consistency and Predicate Locks in a Database System," Communication of ACM, vol. 19, pp. 624 - 633, 1976.  J. Gray and R. Lorie, "Granularity of Locks in A Large Shared Databases," in Proceedings of the International Conference on Very Large Databases, 1975, pp. 428-451.  J. Gray, R. Lorie, G. Putzolu, and I. Traiger, "Granularity of Locks and Degrees of Consistency in a Shared Database," Modeling in Database Management System, pp. 365-395, 1976.  M. Haustein and T. Harder, "Adjustable Transaction Isolation in XML Databases," in Proceedings of the 2nd International XML Database Symposium on Database and XML Technologies, 2004, pp. 173-188.  M. Haustein and T. Harder, "Adjustable Transaction Isolation in XML Databases," in Proceeding of the 2nd International XML Database Symposium on Database and XML Technologies, 2004, pp. 173 - 188.  M. Haustein and T. Harder, "A Lock Manager for Collaborative Processing of Natively Stored XML Documents," in Proceedings of the Brazilian Symposium on Databases, 2004, pp. 230-244.  M. Haustein and T. Harder, "Optimizing Lock Protocols for Native XML Processing," Data & Knowledge Engineering, vol. 65, pp. 147-173, 2008.  M. Haustein and T. Harder, "A Synchronization Concept for The DOM API," in Proceedings of the GI-Workshop, 2003, pp. 80-84.  M. Haustein and T. Harder, "taDOM: A Tailored Synchronization Concept with Tunable Lock Granularity for The DOM API," in Proceedings of the 7th Conference on Advances in Databases and Information Systems, 2003, pp. 88-102.  M. Haustein, T. Harder, and K. Luttenberger, "Contest of XML Lock Protocols," in Proceedings of the International Conference on Very Large Databases, 2006, pp. 523-534.  H. He, Y. Zhong, and C. Cai, "A Generic Framework for Modeling Heterogeneous Real-time Systems," Computer Standards & Interfaces, vol. 28, pp. 45 - 58, 2005.  S. Helmer, C. C. Kanne, and G. Moerkotte, "Evaluating Lock-based Protocols for Cooperation on XML Documents," SIGMOD Record, vol. 33, pp. 58-63, 2004.  S. Helmer, C. C. Kanne, and G. Moerkotte, "Lock-based Protocols for Cooperation on XML Documents," in Proceedings of Workshop on Web Based Collaboration, 2003, pp. 230-234.  K. F. Jea and S. Y. Chen, "A High Concurrency XPath-based Locking Protocol for XML Databases," Information and Software Technology, vol. 48, pp. 708-716, 2006.  K. F. Jea, S. Y. Chen, and S. H. Wang, "Concurrency Control in XML Document Databases: XPath Locking Protocol," in Proceedings of the 9th International Conference on Parallel and Distributed Systems, IEEE Computer Society Press, 2002, pp. 551-556.  K. F. Jea, S. Y. Chen, and S. H. Wang, "Lock-based Concurrency Control for XML Document Models," in Proceedings of the 2002 International Computer Symposium, 2002, pp. 165-172.  H. F. Korth, "Locking Primitives in a Database System," Journal of ACM, vol. 30, pp. 55 - 79, 1983.  H. F. Korth, W. Kim, and F. Bancilhon, "On Long Duration CAD Transactions," Information Sciences, vol. 46, pp. 73 - 105, 1988.  H. F. Korth and G. Speegle, "Formal Model of Correctness without Serializabilty," ACM SIGMOD Record vol. 17, pp. 379 - 386, 1988.  J. Lindstrom and K. Raatikainen, "Dynamic Adjustment of Serialization Order using Timestamp Intervals in Real-time Databases," in Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications, Hong Kong, 1999, pp. 13 -20.  A. Silberschatz and H. Korth, Database System Concepts 5th ed: McGraw-Hill, 2006.  E. Song, S. Yin, and I. Ray, "Using UML to Model Relational Database Operations," Computer Standards & Interfaces, vol. 29, pp. 343 - 353, 2007.  B. Willard, "UML for Systems Engineering," Computer Standards & Interfaces, vol. 29, pp. 69 - 81, 2007.  Y. Choi and S. Moon, "Lightweight Multigranularity Locking for Transaction Management in XML Database System," Journal of System and Software, vol. 78, pp. 37 - 46, 2005.  W. Zhang, D. Liu, and W. Sun, "XR-Lock: Locking XML Data for Efficient Concurrency Control," in Proceedings of the 5th World Congress on Intelligent Control and Automation, 2004, pp. 3921-3925.|
With the rise of XML as one of the most important techniques for exchanging data on the Internet, providing efficient access to XML documents has become crucial. Several XML-based concurrency control protocols (XML protocols) for efficient access have been proposed; there are none, however, that can produce non-serializable schedules to enhance concurrency while ensuring an acceptable XML database state for the user. In this study, new semantic correctness criteria are defined to relax the serializability requirement for maintaining an acceptable XML database state for users. Based on those criteria, the operation semantics in XML databases are analyzed and a new semantic-based protocol, SCD, is proposed. With SCD and our defined semantic correctness criteria, non-serializable schedules are produced and higher concurrency is achieved simultaneously. Recognizing the need for fair evaluation in examining the performance of various XML protocols, a generic simulation model, in this case XSM, is proposed. System environment, performance metrics and protocol rules of various XML protocols are all taken into account by XSM. In order to facilitate the implementation of XSM, the state, sequence, component and class diagrams of XSM are depicted in UML 2.0 notation. XSM allows reusable components to be implemented by any object-oriented programming language, reducing development costs. In addition, an XML specific simulation platform is created by utilizing XSM, allowing various XML protocols to be implemented and evaluated in an unbiased manner.
|Appears in Collections:||資訊科學與工程學系所|
Show full item record
TAIR Related Article
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.