Fernando de Ferreira Rezende Theo Härder Exploiting Abstraction Relationships Semantics for Transaction Synchronization in KBMSs. 233-259 1997 22 Data Knowl. Eng. 3 db/journals/dke/dke22.html#RezendeH97 http://dx.doi.org/10.1016/S0169-023X(96)00049-3