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...

Deskribapen osoa

Xehetasun bibliografikoak
Egile Nagusiak:	Benedikt, M, Fan, W, Geerts, F
Formatua:	Journal article
Hizkuntza:	English
Argitaratua:	2008

Antzeko izenburuak

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

XPath Leashed
nork: Benedikt, M, et al.
Argitaratua: (2008)

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

Building TEI DTDs and Schemas on demand
nork: Rahtz, S
Argitaratua: (2003)

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

XPath for DL ontologies
nork: Kostylev, E, et al.
Argitaratua: (2015)

XPath Query Processing
nork: Gottlob, G, et al.
Argitaratua: (2003)

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

XPath Processing in a Nutshell
nork: Gottlob, G, et al.
Argitaratua: (2003)

XPath processing in a nutshell
nork: Gottlob, G, et al.
Argitaratua: (2003)

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

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

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

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

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

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

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

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

XPathTM 2.0 programmer's reference
nork: 363355 Kay, Michael
Argitaratua: (2004)

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

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

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

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

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

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

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

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

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

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

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

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

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

Satisfiability
nork: Hoare, C
Argitaratua: (2015)

Satisfied with dissatisfaction?
nork: Key, A, et al.
Argitaratua: (1999)

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

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

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

Satisfying journey!
nork: Balaji Manohar
Argitaratua: (2015-01-01)

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

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