The Next 700 Relational Program Logics.
Kenji MaillardCatalin HritcuExequiel RivasAntoine Van MuylderPublished in: CoRR (2019)
Keyphrases
- relational databases
- test cases
- data model
- expressive power
- program execution
- programming environment
- learning algorithm
- relational learning
- inference rules
- modal logic
- information systems
- relational data
- multi agent systems
- high level
- statistical relational learning
- relational queries
- epistemic logic
- data sets
- database language
- propositional calculus