XPath Satisfiability in the Presence of DTDs

Journal of the ACM - United States
doi 10.1145/1346330.1346333
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

XPath Processing in a Nutshell

SIGMOD Record
Information SystemsSoftware
2003English

Which DTDs Are Streaming Bounded Repairable?

2013English

XPlainer: Visual Explanations of XPath Queries

2007English

Axiomatizing the Logical Core of XPath 2.0

Theory of Computing Systems
Computational TheoryTheoretical Computer ScienceMathematics
2008English

Satisfiability of Inequalities in a Poset

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

Logic-Based XPath Optimization

2004English

Semantic Characterizations of Navigational XPath

SIGMOD Record
Information SystemsSoftware
2005English

SPEX: Streamed and Progressive Evaluation of XPath

IEEE Transactions on Knowledge and Data Engineering
Computational TheoryComputer Science ApplicationsInformation SystemsMathematics
2007English

Boolean Satisfiability in Quantum Compilation

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy