Static analysis for path correctness of XML queries.
Dario ColazzoGiorgio GhelliPaolo ManghiCarlo SartianiPublished in: J. Funct. Program. (2006)
Keyphrases
- static analysis
- xml queries
- xpath expressions
- regular expressions
- labeling scheme
- path expressions
- xml documents
- dynamic analysis
- twig pattern
- xml data
- xml databases
- source code
- structural join
- twig queries
- data exchange
- xml schema
- sql queries
- xml query processing
- relational database systems
- query language
- relational data
- xml query evaluation
- test suite
- data model
- database systems
- join algorithms
- query patterns
- database
- query optimization
- pattern matching
- database management systems
- multi dimensional
- open source
- query processing
- relational databases
- real world