Constraint-Based Deadlock Checking of High-Level Specifications

Stefan Hallerstede Michael Leuschel

Published in: CoRR (2011)

Keyphrases

high level specifications
schema mappings
database schema
data exchange
metadata
integrity constraints
case study
database systems
data analysis
constraint satisfaction