Trends in Relational Program Verification.
Bernhard BeckertMattias UlbrichPublished in: Principled Software Development (2018)
Keyphrases
- relational databases
- relational data
- relational learning
- data model
- machine learning
- trend detection
- statistical relational learning
- inductive logic programming
- artificial intelligence
- social networks
- relational queries
- first order logic
- artificial neural networks
- database schema
- multi relational
- genetic algorithm
- relational models
- emerging trends
- databases
- databases and data warehouses