ROWS按物理行数切片，RANGE按排序键值范围切片；前者严格计数，后者受重复值影响大，且必须有ORDERBY和可比较类型字段。

TypeScript严格类型检查由tsconfig.json的"strict"等编译选项控制，VSCode仅读取该配置；需确保其位于项目根目录、启用关键子选项、选用工作区TS版本并重启TS服务器以生效。

优先写在SQL里。数据库层校验能早暴露问题、避免脏数据入库，且批量校验更高效；但复杂业务规则应放应用层，SQL适合CHECK约束、格式、范围、外键等校验，需注意性能、兼容性与可维护性。

单射要求不同输入对应不同输出，即x₁≠x₂时f(x₁)≠f(x₂)，如f(x)=2x+1；满射要求值域等于陪域，每个陪域元素都有原像，如f:ℝ→[0,∞)，f(x)=x²；双射同时满足单射和满射，存在一一对应且可逆。

表设计应拒绝大宽表，按业务变更频率拆分；外键需显式声明但避免跨服务强依赖；枚举字段须建独立表并加CHECK约束；视图仅用于简单过滤，复杂聚合用物化视图；索引须匹配真实查询模式，复合索引顺序关键；迁移脚本必须可重入且带验证。

首先通过水平线测试判断单射：若任意水平线与函数图像至多一个交点，则为单射；再通过垂直范围检查满射：若图像纵坐标覆盖陪域所有值，则为满射。以f(x)=x²为例，在R上画水平线y=4与图像有两个交点，故非单射；但值域为[0,+∞)，当陪域也为[0,+∞)时，满足满射。