Model-Checking Techniques for Efficiently Querying Semistructured Temporal Data.
Barbara OliboniElisa QuintarelliLetizia TancaPublished in: SEBD (2002)
Keyphrases
- model checking
- temporal data
- semi structured
- semistructured databases
- temporal logic
- temporal databases
- temporal information
- structured data
- data model
- formal verification
- semistructured data
- information extraction
- web documents
- spatial data
- verification method
- text mining
- data streams
- xml databases
- database
- regular path queries
- databases
- temporal patterns
- keyword search
- database systems
- data warehouse
- query language