Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and History.
David A. NaumannPublished in: ISoLA (2) (2020)
Keyphrases
- years ago
- fifty years
- relational databases
- database language
- relational data
- data model
- multi valued
- relational model
- modal logic
- statistical relational learning
- relational structures
- probabilistic logic
- database
- logic programming
- artificial intelligence
- neural network
- multi agent systems
- case study
- predicate logic
- data sets