Constraint-based Relational Verification.
Hiroshi UnnoTachio TerauchiEric KoskinenPublished in: CoRR (2021)
Keyphrases
- relational data
- relational databases
- model checking
- formal verification
- signature verification
- data model
- constraint satisfaction
- social networks
- relational learning
- relational model
- face verification
- genetic algorithm
- database schema
- probabilistic model
- multi relational
- formal analysis
- bayesian networks
- relational queries