Verifying Temporal Relational Models with Pardinus.
Nuno MacedoJulien BrunelDavid ChemouilAlcino CunhaPublished in: ABZ (2023)
Keyphrases
- relational models
- temporal information
- relational model
- relational data
- graphical models
- relational databases
- spatial and temporal
- temporal dimension
- probabilistic graphical models
- spatio temporal
- temporal data
- bayesian networks
- temporal patterns
- probabilistic reasoning
- efficient learning
- statistical models
- databases
- temporal databases
- database technology
- distributed systems
- object oriented
- relational learning
- probabilistic model
- relational structures
- data model
- xml documents