Conference paperARIES/LHS: A concurrency control and recovery method using write-ahead logging for linear hashing with separators