Thirty-seven years of relational Hoare logic: remarks on its principles and history.
David A. NaumannPublished in: CoRR (2020)
Keyphrases
- years ago
- fifty years
- relational data
- relational databases
- database language
- logic programming
- modal logic
- multi valued
- classical logic
- theoretical framework
- design principles
- asynchronous circuits
- databases and data warehouses
- database
- database schema
- relational structures
- automated reasoning
- relational learning
- relational model
- knowledge base
- information systems