Type-based detection of XML query-update independence
نویسندگان
چکیده
منابع مشابه
Type-Based Detection of XML Query-Update Independence
This paper presents a novel static analysis technique to detect XML query-update independence, in the presence of a schema. Rather than types, our system infers chains of types. Each chain represents a path that can be traversed on a valid document during query/update evaluation. The resulting independence analysis is precise, although it raises a challenging issue: recursive schemas may lead t...
متن کاملXML Query Based on Ontology
November 2005 Vol.6 No.2 IEEE Intelligent Informatics Bulletin Abstract—Document Type Definition (DTD) is a fundamental tool that enables users to constrain the structure of XML documents. This tool does not support semantic query. Therefore, it has recently become an active research topic in Web intelligence to endow XML with semantics for query quality. In this paper, we develop an extension ...
متن کاملRegular Expression Subtyping for XML Query and Update Languages
XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be equivalent: a declarative version in which the subsumption rule may be used anywhere, and an algorithmic version in which the use of subsumption is limited in order to make typechecking syntax-directed and decidable. However, ...
متن کاملSchema-Based Independence Analysis for XML Updates
Query-update independence analysis is the problem of determining whether an update affects the results of a query. Query-update independence is useful for avoiding recomputation of materialized views and for checking for interference among concurrent queries and updates. This paper develops static analysis techniques for query-update independence problems involving core XQuery queries and updat...
متن کاملDynamic interval-based labeling scheme for efficient XML query and update processing
XML data can be represented by a tree or graph structure and XML query processing requires the information of structural relationships among nodes. The basic structural relationships are parent-child and ancestor-descendant, and finding all occurrences of these basic structural relationships in an XML data is clearly a core operation in XML query processing. Several node labeling schemes have b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the VLDB Endowment
سال: 2012
ISSN: 2150-8097
DOI: 10.14778/2311906.2311914