DERBY: a memory management system for distributed main memory databases | IEEE Conference Publication | IEEE Xplore