Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version
This work continues previous work of equipping the NeoJoin view definition language with a formal semantics that is based on triple graph grammars (TGGs), and introduces a skip semantics for TGG rules, i.e., allowing to skip certain actions a rule prescribes, depending on the application context.