Applying model-checking to solve queries on semistructured data.
Agostino DovierElisa QuintarelliPublished in: Comput. Lang. Syst. Struct. (2009)
Keyphrases
- model checking
- semistructured data
- query language
- temporal logic
- tree patterns
- data model
- semistructured databases
- regular expressions
- semi structured
- formal specification
- structured data
- symbolic model checking
- model checker
- bounded model checking
- formal verification
- automated verification
- regular path queries
- query evaluation
- query processing
- computation tree logic
- formal methods
- database
- epistemic logic
- verification method
- modal logic
- object oriented
- alternating time temporal logic
- conjunctive queries
- expressive power
- data sources
- metadata
- web pages
- databases