public static class RecordFile
extends java.lang.Object
This class represents a random access file as a set of fixed size
records. Each record has a physical record number, and records are
cached in order to improve access.
The set of dirty records on the in-use list constitutes a transaction.
Later on, we will send these records to some recovery thingy.