Testing XML constraint satisfiability.
Nicole BidoitDario ColazzoPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- xml documents
- markup language
- xml data
- xml databases
- xml format
- data model
- metadata
- xml queries
- data integration
- databases
- satisfiability problem
- np complete
- computational complexity
- software testing
- test cases
- semi structured
- test suite
- semantic web
- data exchange
- object oriented databases
- relational databases
- linear constraints
- twig queries