An Efficient VCGen-based Modular Verification of Relational Properties.

Lionel Blatter Nikolai Kosmatov Virgile Prevosto Pascale Le Gall

Published in: CoRR (2024)

Keyphrases

data model
relational data
image processing
relational databases
neural network
databases
computer vision
knowledge base
similarity measure
search algorithm
evolutionary algorithm
integrity constraints
desirable properties
verification method