A refutation procedure for proving satisfiability of constraint specifications on XML documents.
Marisa NavarroFernando OrejasPublished in: SCSS (2014)
Keyphrases
- xml documents
- relational databases
- np complete
- xml queries
- xml data
- theorem proving
- integrity constraints
- linear constraints
- satisfiability problem
- database
- document structure
- structured data
- multi dimensional
- propositional logic
- decision procedures
- xml databases
- high level
- xml information retrieval
- phase transition
- delay insensitive
- sql queries
- xml schema
- search algorithm
- databases