Verifying Relational Properties using Trace Logic.

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

Published in: FMCAD (2019)

Keyphrases

multi valued
formal language
data model
relational data
desirable properties
classical logic
multi relational
database language
relational structures
defeasible logic
logical framework
automated reasoning
data sets
modal logic
rough sets
genetic algorithm
data mining