A formal framework for prefetching based on the type-level access pattern in object-relational DBMSs | IEEE Journals & Magazine | IEEE Xplore