Divergences on monads for relational program logics.

Tetsuya Sato Shin-ya Katsumata

Published in: Math. Struct. Comput. Sci. (2023)

Keyphrases

relational data
relational databases
static analysis
data model
expressive power
modal logic
database
relational model
inference rules
integrity constraints