XPath satisfiability in the presence of DTDs

XPath satisfiability in the presence of DTDs

We study the satisfiability problem associated with XPath in the presence of DTDs. This is the problem of determining, given a query p in an XPath fragment and a DTD D, whether or not there exists an XML document T such that T conforms to D and the answer of p on T is nonempty. We consider a variety...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors:	Benedikt, M, Fan, W, Geerts, F
Format:	Journal article
Sprog:	English
Udgivet:	2008

Lignende værker

On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
af: Frank Neven, et al.
Udgivet: (2006-07-01)

XPath Leashed
af: Benedikt, M, et al.
Udgivet: (2008)

Which DTDs are streaming repairable?
af: Bourhis, P, et al.
Udgivet: (2013)

Building TEI DTDs and Schemas on demand
af: Rahtz, S
Udgivet: (2003)

Designing and validating the Dubai Tool for Developmental Screening (DTDS)
af: Fatma Mohammad Alolama, et al.
Udgivet: (2022-08-01)

XPath for DL ontologies
af: Kostylev, E, et al.
Udgivet: (2015)

XPath Query Processing
af: Gottlob, G, et al.
Udgivet: (2003)

Axiomatizing Hybrid XPath with Data
af: Carlos Areces, et al.
Udgivet: (2021-07-01)

XPath Processing in a Nutshell
af: Gottlob, G, et al.
Udgivet: (2003)

XPath processing in a nutshell
af: Gottlob, G, et al.
Udgivet: (2003)

The complexity of XPath query evaluation
af: Gottlob, G, et al.
Udgivet: (2003)

An extension of data automata that captures XPath
af: Mikołaj Bojańczyk, et al.
Udgivet: (2012-02-01)

Efficient Algorithms for Processing XPath Queries
af: Gottlob, G, et al.
Udgivet: (2002)

Efficient algorithms for processing XPath queries
af: Gottlob, G, et al.
Udgivet: (2005)

Dopamine Transporter Deficiency Syndrome (DTDS): Expanding the Clinical Phenotype and Precision Medicine Approaches
af: Joanne Ng, et al.
Udgivet: (2023-06-01)

Visual oXPath: robust wrapping by example.
af: Kranzdorf, J, et al.
Udgivet: (2012)

Visual oXPath: robust wrapping by example
af: Kranzdorf, J, et al.
Udgivet: (2012)

The complexity of XPath query evaluation and XML typing
af: Gottlob, G, et al.
Udgivet: (2005)

XPathTM 2.0 programmer's reference
af: 363355 Kay, Michael
Udgivet: (2004)

Efficient evaluation of frequently issued similar XPath queries
af: Ong, Chin Sin.
Udgivet: (2009)

Bottom-up automata on data trees and vertical XPath
af: Diego Figueira, et al.
Udgivet: (2017-11-01)

XPath Node Selection over Grammar-Compressed Trees
af: Sebastian Maneth, et al.
Udgivet: (2013-11-01)

Static analysis of navigational XPath over graph databases
af: Kostylev, E, et al.
Udgivet: (2016)

XPath Query Evaluation: Improving Time and Space Efficiency
af: Gottlob, G, et al.
Udgivet: (2003)

Querying XML : XQuery, XPath, and SQL/XML in context /
af: Melton, Jim, 1946-, et al.
Udgivet: (2006)

XSLT 2.0 and XPath 2.0 programmer's reference /
af: 363355 Kay, Michael
Udgivet: (2008)

FOXS-GSC—Fast Offset Xpath Service with HexagonS Communication
af: Celso A. R. L. Brennand, et al.
Udgivet: (2023-07-01)

Querying archetype-based EHRs by search ontology-based XPath engineering
af: Stefan Kropf, et al.
Udgivet: (2018-05-01)

Model-based system architecture for preventing XPath injection in database-centric web services environment
af: Asmawi, Aziah, et al.
Udgivet: (2012)

Chrome Extension untuk Data Grabber Media Sosial Twitter dengan Metode XPath Selector
af: Erinda Resha Astanti, et al.
Udgivet: (2020-11-01)

Two level security approaches for secure XML database centric web services against xpath injections
af: Asmawi, Aziah
Udgivet: (2016)

On the Satisfiability of Local First-Order Logics with Data
af: Benedikt Bollig, et al.
Udgivet: (2024-07-01)

Satisfiability
af: Hoare, C
Udgivet: (2015)

Satisfied with dissatisfaction?
af: Key, A, et al.
Udgivet: (1999)

Satisfiability vs. Finite Satisfiability in Elementary Modal Logics
af: Jakub Michaliszyn, et al.
Udgivet: (2012-10-01)

XIPS : a model-based prevention mechanism for preventing blind XPath injection in database-centric web services environment.
af: Asmawi, Aziah, et al.
Udgivet: (2013)

Evaluating Web Scraping Performance Using XPath, CSS Selector, Regular Expression, and HTML DOM With Multiprocessing Technical Applications
af: Irfan Darmawan, et al.
Udgivet: (2022-12-01)

Satisfying journey!
af: Balaji Manohar
Udgivet: (2015-01-01)

XML : a beginner's guide : go beyond the basics with Ajax, XHTML, XPath 2.0, XSLT 2.0, and XQuery /
af: 398322 Holzner, Steven
Udgivet: (2009)

SEPTORHINOPLASTY PATIENTS, ARE THEY SATISFIED?
af: Ahmed M Al-Abbasi
Udgivet: (2018-06-01)