索引与约束 | 自在学