表空间（数据文件shrink）收缩示例