Querying ATSQL databases with temporal logic.
Jan ChomickiDavid TomanMichael H. BöhlenPublished in: ACM Trans. Database Syst. (2001)
Keyphrases
- temporal logic
- databases
- model checking
- satisfiability problem
- modal logic
- database
- concurrent systems
- database systems
- computation tree logic
- transition systems
- verification method
- relational databases
- mazurkiewicz traces
- data retrieval
- data sources
- data model
- query language
- automata theoretic
- formal specification
- query interface
- data management
- model checker
- reactive systems
- knowledge base
- bounded model checking
- dynamic constraints
- domain specific
- data integration
- temporal knowledge
- graph databases
- inference rules