Constraint-based deadlock checking of high-level specifications.

Stefan Hallerstede Michael Leuschel

Published in: Theory Pract. Log. Program. (2011)

Keyphrases

high level specifications
schema mappings
database schema
constraint satisfaction
data exchange
decision making
consistency checking