Login / Signup

Detecting unsatisfiable CSS rules in the presence of DTDs.

Nobutaka SuzukiTakuya OkadaYeondae Kwon
Published in: DBPL (2019)
Keyphrases
  • xml documents
  • phase transition
  • association rules
  • regular expressions
  • background knowledge
  • integrity constraints
  • rule sets
  • xml schema
  • learning algorithm
  • orders of magnitude
  • sat solvers
  • production rules