An Interval Temporal Logic for Time Series Specification and Data Integration.
Piotr KosiuczenkoPublished in: Remote. Sens. (2021)
Keyphrases
- data integration
- temporal logic
- transition systems
- model checking
- reactive systems
- linear temporal logic
- data model
- databases
- formal verification
- concurrent systems
- data sources
- data management
- formal specification
- modal logic
- data warehouse
- data exchange
- query answering
- data cleaning
- data transformation
- biological databases
- dynamic constraints
- heterogeneous data sources
- heterogeneous data
- business intelligence
- belief revision
- verification method
- computation tree logic
- formal methods
- query language
- database systems
- schema mappings
- query decomposition
- data sets
- temporal knowledge