TY - CONF A1 - Feyer, Thomas A1 - Varas, Marcela A1 - Fernandez, Marta A1 - Thalheim, Bernhard T1 - Intensional Logic for Integrity Constraint Specification in Predesign Database Modeling KW - integrity KW - database modeling Y1 - 2003 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/1406 ER -