Automata-and Logic-Based Pattern Languages for Tree-Structured Data

@inproceedings{Neven2001AutomataandLP,
  title={Automata-and Logic-Based Pattern Languages for Tree-Structured Data},
  author={Frank Neven and Thomas Schwentick},
  booktitle={Semantics in Databases},
  year={2001}
}
This paper surveys work of the authors on pattern languages for tree-structured data with XML as the main application in mind. The main focus is on formalisms from formal language theory and logic. In particular, it considers attribute grammars, query automata, treewalking automata, extensions of first-order logic, and monadic secondorder logic. It… CONTINUE READING