Description and implementation of strategies of incremental backup in file system

• 文件系统增量备份策略的形式化描述及实现