A Prototype of a Schema-Based XPath Satisfiability Tester.
Jinghua GroppeSven GroppePublished in: DEXA (2006)
Keyphrases
- xpath queries
- sibling axes
- xml data
- xml documents
- regular expressions
- xpath expressions
- query evaluation
- data model
- computational complexity
- satisfiability problem
- xml streams
- propositional logic
- query language
- xml schema
- metadata schema
- semistructured data
- first order logic
- integrity constraints
- database
- black box
- query optimization
- test cases
- phase transition
- database schema
- temporal logic
- conceptual model
- xml databases
- xml queries
- transitive closure
- path expressions
- query rewriting
- schema evolution
- query processing
- relational databases
- database systems
- metadata