Disk file is an associated set of records of the same format on disk, identified by a unique label.

• 磁盘文件是磁盘上具有相同格式的相关记录的集合，用一个唯一的标号来识别。