RPP: Automatic Proof of Relational Properties by Self-composition.

Lionel Blatter Nikolai Kosmatov Pascale Le Gall Virgile Prevosto

Published in: TACAS (1) (2017)

Keyphrases

relational databases
imperative programs
semi automatic
relational data
desirable properties
artificial intelligence
data model
relational learning
multi relational
linear logic