The next 700 relational program logics.

Kenji Maillard Catalin Hritcu Exequiel Rivas Antoine Van Muylder

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

relational databases
expressive power
computer programs
data model
relational data
case study
high level
relational model
database schema
inference rules
programming environment