diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions.

Marie-Christine Jakobs Tim Pollandt

Published in: iFM (2023)

Keyphrases

data dependencies
database schemes
relational databases
functional dependencies
desirable properties
multi valued
model checking
normal form
incomplete data
case study
object oriented
semi automatic
database schema
inclusion dependencies