Satisfiability of Constraint Specifications on XML Documents.
Marisa NavarroFernando OrejasElvira PinoPublished in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
- xml documents
- xml data
- bounded model checking
- data model
- xml queries
- xml databases
- phase transition
- xml information retrieval
- satisfiability problem
- structured data
- high level
- computational complexity
- formal specification
- integrity constraints
- labeling scheme
- content and structure
- relational data
- keyword search
- semantic information
- xml schema
- np complete
- xpath queries
- databases
- propositional logic
- sql queries
- sat problem
- document structure
- functional dependencies