Alignment Completeness for Relational Hoare Logics.
Ramana NagasamudramDavid A. NaumannPublished in: LICS (2021)
Keyphrases
- relational databases
- expressive power
- relational data
- image alignment
- modal logic
- data model
- data quality
- relational learning
- inference rules
- conditional logic
- statistical relational learning
- database
- temporal logic
- relational calculus
- relational queries
- database language
- dynamic time warping
- multiple sequence alignment
- nonmonotonic logics
- classical logic
- relational model
- databases