Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report).

Marie-Christine Jakobs Tim Pollandt

Published in: CoRR (2023)

Keyphrases

data dependencies
technical report
relational databases
functional dependencies
normal form
desirable properties
database schemes
databases
multi valued
database
database systems
xml documents
probability distribution
incomplete data
inclusion dependencies