Verifying Relational Properties using Trace Logic.

Gilles Barthe Renate Eilers Pamina Georgiou Bernhard Gleiss Laura Kovács Matteo Maffei

Published in: CoRR (2019)

Keyphrases

logic programming
formal language
relational databases
desirable properties
relational data
modal logic
learning algorithm
decision trees
programming language
relational learning
entity relationship
database language
sound and complete axiomatization