Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.entcs.2005.07.039
DC FieldValue
dc.titleAlgorithmic Design Using Object-Z for Twig XML Queries Evaluation
dc.contributor.authorLiu, Y.
dc.contributor.authorSun, J.
dc.date.accessioned2013-07-04T07:48:16Z
dc.date.available2013-07-04T07:48:16Z
dc.date.issued2006
dc.identifier.citationLiu, Y., Sun, J. (2006). Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science 151 (2 SPEC. ISS.) : 107-124. ScholarBank@NUS Repository. https://doi.org/10.1016/j.entcs.2005.07.039
dc.identifier.issn15710661
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/39731
dc.description.abstractWeb 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. © 2006 Elsevier B.V. All rights reserved.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.entcs.2005.07.039
dc.sourceScopus
dc.subjectObject-Z
dc.subjectSpecification
dc.subjectTwig Query Evaluation
dc.subjectXML
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1016/j.entcs.2005.07.039
dc.description.sourcetitleElectronic Notes in Theoretical Computer Science
dc.description.volume151
dc.description.issue2 SPEC. ISS.
dc.description.page107-124
dc.identifier.isiut000214161200008
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Page view(s)

98
checked on Aug 4, 2020

Google ScholarTM

Check

Altmetric


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