XPath satisfiability in the presence of DTDs

Journal of the ACM

Volumn 55, Issue 2, 2008, Pages

  Benedikt, Michael ^a   Fan, Wenfei ^b,c   Geerts, Floris ^b,d,e  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

^c LUCENT TECHNOLOGIES   (United States)

^d HASSELT UNIVERSITY   (Belgium)

^e HASSELT UNIVERSITY   (Belgium)

Author keywords

Containment; DTDs; Satisfiability; XML; XPath

Indexed keywords

EXPTIME; SATISFIABILITY; TRACTABILITY; XPATH;

COMPUTATIONAL COMPLEXITY; DATA REDUCTION; MATHEMATICAL OPERATORS; PROBLEM SOLVING; QUERY PROCESSING;

XML;

EID: 43949103102     PISSN: 00045411     EISSN: 1557735X     Source Type: Journal    
DOI: 10.1145/1346330.1346333     Document Type: Article

References (40)