Alignment Completeness for Relational Hoare Logics.
Ramana NagasamudramDavid A. NaumannPublished in: CoRR (2021)
Keyphrases
- expressive power
- relational databases
- image alignment
- relational data
- modal logic
- propositional calculus
- data model
- database schema
- inference rules
- relational model
- statistical relational learning
- sequence alignment
- nonmonotonic logics
- order sorted
- relational calculus
- procrustes analysis
- data sets
- data quality
- relational learning
- ontology matching
- integrity constraints
- machine translation
- pairwise
- propositional dynamic logic
- bayesian networks
- neural network