NDLI: Comparing XML path expressions

Please wait, while we are loading the content...

Minimum sized text containment shapes

Print-n-link: weaving the paper web

Comparing XML path expressions

Modeling context Information for capture and access applications

Meta-algorithmic systems for document classification

NEWPAR: an automatic feature selection and weighting schema for category ranking

Describing and querying hierarchical XML structures defined over the same textual data

Live editing of hypermedia documents

SmartPublisher: document creation on pen-based systems via document element reuse

Templates, microformats and structured editing

The portrait of a common HTML web page

XSLT working session

Measuring aesthetic distance between document templates and instances

Carrot and stick: combining information retrieval models

Knowledge engineering from frontline support to preliminary design

Fast and simple XML tree differencing by sequence alignment

Resolving layout interdependency with presentational variables

Content based SMS spam filtering

Extending the single words-based document model: a comparison of bigrams and 2-itemsets

Describing multistructured XML documents by means of delay nodes

The limsee3 multimedia authoring model

ALDAI: active learning documents annotation interface

Every page is different: a new document type for commercial printing

Text block geometric shape analysis

Standards based high resolution Document editing using low resolution proxy images

An XML interaction service for workflow applications

Filtering XML documents using XPath expressions and aspect-oriented programming

Application of syntactic properties to three-level recognition of polish hand-written medical texts

Benefits of structured multimedia documents in IDTV: the end-user enrichment system

The ambulant annotator: empowering viewer-side enrichment of multimedia content

Profile-based web document delivery

Processing XML documents with pipelines

Evaluating invariances in document layout functions

Engineering better voting systems

Customizable detection of changes for XML documents using XPath expressions

Quality enhancement in information extraction from scanned documents

From video to photo albums: digital publishing workflow for automatic album creation

An OAI data provider for JEMS

Solving the simple continuous table layout problem

Preservation-centric and constraint-based migration of digital documents

Document annotation by active learning techniques

Combining linguistic and structural descriptors for mining biomedical literature

Comparing XML path expressions

Content Provider	ACM Digital Library
Author	Genevès, Pierre Layaïda, Nabil
Abstract	XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type checking, XPath decision problems arise naturally. They notably include XPath comparisons such as equivalence (whether two queries always return the same result), and containment (whether for any tree the result of a particular query is included in the result of a second one).XPath decision problems have attracted a lot of research attention, especially for studying the computational complexity of various XPath fragments. However, what is missing at present is the constructive use of an expressive logic which would allow capturing these decision problems, while providing practically effective decision procedures.In this paper, we propose a logic-based framework for the static analysis of XPath. Specifically, we propose the alternation free modal μ-calculus with converse as the appropriate logic for effectively solving XPath decision problems. We present a translation of a large XPath fragment into μ-calculus, together with practical experiments on the containment using a state-of-the-art EXPTIME decision procedure for μ-calculus satisfiability. These preliminary experiments shed light, for the first time, on the cost of checking the containment in practice. We believe they reveal encouraging results for further static analysis of XML transformations.
Starting Page	65
Ending Page	74
Page Count	10
File Format	PDF
ISBN	1595935150
DOI	10.1145/1166160.1166182
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2006-10-10
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Xpath Analysis Experimentation
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in