A refutation procedure for proving satisfiability of constraint specifications on XML documents.

Marisa Navarro Fernando Orejas

Published 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