Please use this identifier to cite or link to this item: http://hdl.handle.net/11455/19547
標題: XML資料庫系統之語意式並行控制機制及其模擬實驗模型
A Semantic-based Protocol and Simulation Model for Concurrency Control in XML Database Systems
作者: 張翠蘋
Chang, Tsui-Ping
關鍵字: XML
XML
DOM
semantics
concurrency control
simulation platform
generic simulation model
database systems
DOM
語意
並行控制
模擬平台
模擬模型
資料庫系統
出版社: 資訊科學與工程學系所
引用: References [1] "Bloodshed Dev-C++," http://www.bloodshed.net/devcpp.html. [2] "Document Object Model," http://www.w3.org/DOM. [3] "DTD Tutorial," http://www.w3schools.com/dtd/default.asp. [4] "ebXML," http://ebxml.xml.org/. [5] "MySQL Database Software," MySQL Enterprise, http://www.mysql.com/. [6] "Natix," http://www.data-ex-machina.com/natix.html. [7] "SAX," http://www.saxproject.org/. [8] "The SGML/XML Web Page," http://www.Oasis-open.org/cover/. [9] "Tamino," http://www.softwareag.com/corporate/products/tamino. [10] "Transaction Processing over XML (TPoX)," http://tpox.sourceforge.net/. [11] UML 2.0: Superstructure Specification. Version 2.0: The Object Management Group., 2005. [12] "World Wide Web Consortium," http://www.w3c.org. [13] "The World Wide Web Consortium," http://www.w3.org. [14] "XCheck," http://ilps.science.uva.nl/Resources/XCheck/. [15] "XMark Project," http://www.xml-benchmark.org. [16] "XML," http://www.w3.org/XML. [17] "XML Path Language (XPath) 2.0," http://www.w3.org/TR/2007/REC-xpath20-20070123/ [18] "XQuery," http://www.w3.org/XML/Query. [19] "XUpdate," http://xmldb-org.sourceforge.net/xupdate/. [20] 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. [21] R. Agrawal, M. J. Carey, and D. J. DeWitt, "Deadlock Detection is Cheap," SIGMOD Record, vol. 13, pp. 19 - 34, 1983. [22] 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. [23] 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. [24] B. Badrinath and K. Ramamrithan, "Semantics-based Concurrency Control: beyond Commutativity," ACM Transactions on Database Systems, vol. 17, pp. 163 - 199, 1992. [25] 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. [26] P. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database System: Addison-Wesley, 1987. [27] Y. Breitbart, H. Garcia-Molina, and A. Silberschatz, "Overview of Multidatabase Transaction management," VLDB Journal, vol. 1, pp. 181 - 239, 1992. [28] 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. [29] 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. [30] S. Dekeyser and J. Hidders, "A Commit Scheduler for XML Databases," in Proceedings of the 5th Asian-Pacific Web Conference, 2003, pp. 83-88. [31] 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. [32] 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. [33] 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. [34] 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. [35] 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. [36] 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. [37] 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. [38] 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. [39] 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. [40] M. Haustein and T. Harder, "Optimizing Lock Protocols for Native XML Processing," Data & Knowledge Engineering, vol. 65, pp. 147-173, 2008. [41] M. Haustein and T. Harder, "A Synchronization Concept for The DOM API," in Proceedings of the GI-Workshop, 2003, pp. 80-84. [42] 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. [43] 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. [44] 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. [45] 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. [46] 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. [47] 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. [48] 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. [49] 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. [50] H. F. Korth, "Locking Primitives in a Database System," Journal of ACM, vol. 30, pp. 55 - 79, 1983. [51] H. F. Korth, W. Kim, and F. Bancilhon, "On Long Duration CAD Transactions," Information Sciences, vol. 46, pp. 73 - 105, 1988. [52] H. F. Korth and G. Speegle, "Formal Model of Correctness without Serializabilty," ACM SIGMOD Record vol. 17, pp. 379 - 386, 1988. [53] 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. [54] A. Silberschatz and H. Korth, Database System Concepts 5th ed: McGraw-Hill, 2006. [55] E. Song, S. Yin, and I. Ray, "Using UML to Model Relational Database Operations," Computer Standards & Interfaces, vol. 29, pp. 343 - 353, 2007. [56] B. Willard, "UML for Systems Engineering," Computer Standards & Interfaces, vol. 29, pp. 69 - 81, 2007. [57] 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. [58] 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.
摘要: 隨著XML語言成為網際網路上訊息傳遞及資料交換的重要技術,如何提昇XML文件的存取效能已成為重要議題。目前有許多研究者提出新的XML並行控制機制來提昇XML文件的存取效能,然而這些現有XML並行控制機制皆忽略某些非序列化的排程(non-serializable schedules)能在維持使用者可接受的XML資料正確性前提下,更加提昇交易間並行程度。本論文定義了新的語意式XML資料正確性標準,這個標準放寬了序列化標準的要求,使得某些非序列化排程得以在使用者可接受的資料正確性條件下產生。透過新的語意式XML資料正確性標準,我們提出一個新的XML語意式並行控制機制,稱為SCD。SCD能產生非序列化的排程來提昇XML文件存取效能。除此之外,本論文提出一個新的XML並行控制機制模擬實驗模型,稱為XSM。XSM考慮了系統環境、效能量測及各種不同XML並行控制機制之規則,並透過UML標準語言中的狀態、循序、元件及類別圖加以呈現。XSM可由任何物件導向程式語言加以實作並產生相對應的XML並行控制機制模擬實驗平台。在此實驗平台上,各種XML並行控制機制可被公平的評估效能。
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.
URI: http://hdl.handle.net/11455/19547
其他識別: U0005-2101200900005400
文章連結: http://www.airitilibrary.com/Publication/alDetailedMesh1?DocID=U0005-2101200900005400
Appears in Collections:資訊科學與工程學系所

文件中的檔案:

取得全文請前往華藝線上圖書館



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.