جناب آقای سید کامیار ایزدی دانشجوی دکترای جناب آقای دکتر مصطفی حق جو روز یکشنبه مورخ 25/2/1390ساعت  13 در اتاق 304 واقع در طبقه سوم دانشکده مهندسی کامپیوتر از رساله دکتری خود تحت  عنوان مدیریت تراکنش در پایگاه داده های ذاتا XML  دفاع خواهد کرد.

چکیده پایان نامه:

افزایش حجم و تعداد اسناد XML نیاز به استفاده از پایگاه داده‌های ویژه این ساختار را الزامی می‌نماید. روش‌های پردازش پرس و جو و کنترل همروندی موجود در قلمرو XML استفاده مناسبی از اطلاعات ساختاری سند نمی‌کنند. در نتیجه روش‌های موجود پردازش پرس و جو نیاز به بازیابی حجم زیادی از سند دارند و روش‌های کنترل همروندی قابلیت اجرای موازی دسته‌ای از تراکنش‌ها را از دست می‌دهند. همچنین عملیاتی کردن این روش‌ها به دلیل آنکه به صورت مستقل از روش‌های پردازش پرس و جو طراحی گردیده‌اند به راحتی امکان‌پذیر نیست. ارائه روشی برای افزایش کارایی پردازش پرس و جو و کنترل همروندی با بهره‌گیری بیشتر از ساختار سند XML هدف اصلی در انجام این رساله می‌باشد. به این منظور ابتدا مدلی مناسب جهت ذخیره‌سازی اسناد XML معرفی گردیده است. در این مدل از روشی برای تعیین برچسب‌های عناصر استفاده شده است که امکان تشخیص نوع رابطه مکانی بین عناصر در سند و برچسب اجداد یک عنصر، بدون دسترسی اضافی به سند را فراهم می‌کند. علاوه براین در هنگام ذخیره‌سازی یک سند، ساختاری به نام خلاصه‌ساختار ایجاد می‌گردد که تمامی مسیرهای موجود در سند را به صورت یکتا نگهداری می‌کند. پرس و جوهای XML شامل تعدادی عنصر می‌باشند که به صورت درختی با یکدیگر ارتباط دارند و الگوی درختی پرس و جو را تشکیل می‌دهند. بخش اصلی فرایند پردازش پرس و جو یافتن عناصری از سند می باشد که روابط مکانی آنها، روابط موجود در الگوی درختی پرس و جو را ارضاء می‌کنند. در روش پیشنهادی در این رساله الگوی درختی پرس و جو بر خلاف روش‌های موجود ابتدا بر روی خلاصه‌ساختار سند اجرا می‌گردد. نتیجه حاصل امکان دسترسی هدفمند به سند و پردازش سریع عناصر بازیابی شده را فراهم می‌آورد. همچنین با استفاده از ساختاری به نام درخت ارزیابی، بر خلاف روش‌های موجود بستری یکسان برای پردازش الگوهای درختی پرس و جو که دارای عملگرهای منطقی مانند OR و NOT می باشند، نیز فراهم می‌گردد. روش کنترل همروندی پیشنهادی در این رساله به گونه‌ای طراحی شده است که همگام با اجرای پرس و جو قفل‌های مورد نیاز خود را اخذ می‌کند. درنتیجه علاوه بر عملیاتی شدن آن، با استفاده از اطلاعات ساختاری سند سطح همزمانی تراکنش‌ها افزایش یافته است.

  واژه‌های کلیدی: خلاصه‌ساختار، الگوی درختی پرس و جو، درخت ارزیابی، پردازش پرس و جو، کنترل همروندی .

  Project Title: Transaction Managmenet In Native XML Databases

  Abstract:

  The Increasing usage of XML docuemnts emphasizes the need of databases designed especially for this data structure. Current query prcessinig and comcurrency control methods in XML domain do not use structural information of the documents properly. Therefore, current query processing methods need to extract large portions of XML documents and concurrency control methods do not allow some kinds of transactions to be executed concurrently. Moreover, making these methods practical is not possible easily because they are designed dependant of query processing methods. Proposing a method to increase the efficiency of query processing and concuurency control using more information of document structure is our main in this thesis. As a result, first a proper model for storing XML documents is introduced. In this model a method is used to label document elements which enables us to identify the positional relation of elements in the document. Also, the label of ancestors of an element could be identified without further access to the document. Morover, during the storing of a document a structure named Structural Summary is constructed which uniquely records every path in the document in itself. XML queries are frequently based on path expressions where their elements are connected to each other in a tree-pattern structure, called query tree pattern (QTP). Therefore, a key operation in XML query processing is finding those elements which match the given QTP. In our proposed method, unlike all previous methods, path expressions are not directly executed on the XML document, but first they are evaluated against Structural Summary of the docuemnt. The outcoming result provides us a focused document access and fast prcessing of extracted elements. Furthermore, using a structure, called Evaluation Tree, unlike previous methods, a unique method is propsed in order to prceosess queries having different kinds of logical operators. The proposed concurrency control method in this thesis is designed in a way which aqquires needed lockes synchronous to the steps of query prcossing. Therefore, the concurrency control is practical and the level of concurrency is inceased using the document structure information

   Keywords: Structural Summary, Query Tree Pateern, Evaluation Tree, Query Processing, Concurrency Control

ارائه­دهنده:

  سید کامیار ایزدی

  استاد راهنما:

  دکتر مصطفی حق جو

  هیات داوران:

1- دکتر رسول جلیلی 2-دکتر مسعود رهگذر3- دکتر محسن شریفی4- دکتر سعید پارسا 5-دکتر محمدعبدالهی ازگمی

زمان : یکشنبه25اردیبهشت ماه 1390

  ساعت 13

  مکان: دانشکده مهندسی کامپیوتر- طبقه سوم- اتاق 304

  از اساتید بزرگوار، دانشجویان گرامی و دیگر متخصصان و علاقه مندان به موضوع دفاعیه دعوت
می شود با حضور خود موجبات غنای علمی و ارتقای کیفی را فراهم سازند.

  دانشکده مهندسی کامپیوتر مدیریت تحصیلات تکمیلی