On CSS Unsatisfiability Problem in the Presense of DTDs.

Nobutaka Suzuki Takuya Okada Yeondae Kwon

Published in: IEICE Trans. Inf. Syst. (2021)

Keyphrases

xml documents
xml schema
regular expressions
xml data
max sat
pattern matching
integrity constraints
finite automata
relational databases
consistency checking
query optimization
stochastic local search
xml databases
normal form
data sets
building blocks
data model
database systems
high level