Satisfiability of Constraint Specifications on XML Documents
- 27 August 2015
- book chapter
- Published by Springer Nature
- p. 539-561
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documentsElectronic Proceedings in Theoretical Computer Science, 2015
- Symbolic graphs for attributed graph constraintsJournal of Symbolic Computation, 2011
- Correctness of high-level transformation systems relative to nested conditionsMathematical Structures in Computer Science, 2009
- XPath leashedACM Computing Surveys, 2009
- XPath satisfiability in the presence of DTDsJournal of the ACM, 2008
- Testing XML constraint satisfiabilityElectronic Notes in Theoretical Computer Science, 2007
- Rule-based verification of Web sitesInternational Journal on Software Tools for Technology Transfer, 2006
- Containment and equivalence for a fragment of XPathJournal of the ACM, 2004
- Flexible consistency checkingACM Transactions on Software Engineering and Methodology, 2003
- Ordered and Unordered Tree InclusionSIAM Journal on Computing, 1995