Alignment complete relational Hoare logics for some and all.

Ramana Nagasamudram Anindya Banerjee David A. Naumann

Published in: CoRR (2023)

Keyphrases

relational databases
expressive power
modal logic
pairwise
data model
relational data
linearly ordered
multi relational
relational model
graphical models
knowledge base
information retrieval
database schema
neural network
image alignment
sequence alignment
data sets