کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
423198 685188 2006 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
چکیده انگلیسی

Web technologies based on XML, e.g. Semantic Web and Web Services, facilitate Web automation and universally accessible content. One of the key factors for the success of XML-based technologies is of finding an efficient query evaluation algorithm for XML-based data models. An XML twig query is a complex selection predicate on both structure and content of a labelled XML document. Several novel twig query evaluation algorithms have been proposed recently. However, these algorithms are difficult to understand and hence implement due to high complexity. In this work, we present an algorithmic design for XML queries evaluation system using Object-Z. An Object-Z specification is developed to give a concise and logical description of the XML data model and the twig queries. It makes the twig query evaluation straight-forward, and allows different evaluation algorithms to be constructed easily and independently.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 151, Issue 2, 31 May 2006, Pages 107-124