Reasoning about XML with Temporal Logics and Automata.
Leonid LibkinCristina SirangeloPublished in: LPAR (2008)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- xml documents
- mazurkiewicz traces
- modal logic
- markup language
- satisfiability problem
- finite state
- modal operators
- xml schema
- concurrent systems
- xml data
- cellular automata
- predicate logic
- regular expressions
- reactive systems
- verification method
- object oriented
- transition systems
- relational databases
- metadata
- spatial reasoning
- data model
- semistructured data
- data exchange
- temporal resolution
- linear temporal logic
- temporal knowledge
- query processing