Querying TSQL2 Databases with Temporal Logic.
Michael H. BöhlenJan ChomickiRichard T. SnodgrassDavid TomanPublished in: EDBT (1996)
Keyphrases
- temporal logic
- databases
- model checking
- modal logic
- database
- temporal databases
- satisfiability problem
- verification method
- concurrent systems
- relational databases
- database systems
- computation tree logic
- query language
- temporal knowledge
- data model
- data retrieval
- linear temporal logic
- data management
- query interface
- transition systems
- model checker
- np complete
- data warehouse
- data sources