日历显示有空,不代表加上归还检查和准备时间后仍能出租。采购设备租赁预约网站前,应先定义设备身份、时段边界与周转规则。本文只讨论一件有明确ID的实物,不预测整队设备,也不代表真实预约集成。
技术事实与商业假设分开
PostgreSQL 17范围类型文档说明时段边界及防重叠排除约束,核对日期为2026年10月16日。这只是一种可选实现机制,不证明数据库已经部署,也不是所有租赁商通用政策;周转时长由经营者明确提供。
已填写时段矩阵
合成同日例子,使用AEDT:A设备09:00出租,12:00归还,区间采用左闭右开,结束点不包含。经营者另要求归还后60分钟准备,因此A到13:00才可继续安排。此例不计运输。
窄屏可横向滚动查看完整表格。
| 新申请 | 不加周转 | 加60分钟周转 | 应作判断 |
|---|---|---|---|
| A,11:30–12:30 | 重叠 | 重叠 | 不得确认 |
| A,12:00–13:00 | 相邻但不重叠 | 13:00前冲突 | 按周转规则不得确认 |
| A,13:00–14:00 | 不重叠 | 相邻但不重叠 | 可以继续其他核对 |
| B,10:00–11:00 | 不同设备 | 不同设备 | 查B自己的记录 |
| A,归还时间缺失 | 未知 | 未知 | 人工核对 |
选择诚实的预约方式
设备身份或周转未知时,申请式表单可以收集意向时间,但不确认库存。即时确认需要权威分配机制,前端日历不够。共享设备池还需要容量模型,不能原样套用单件约束。
验收步骤
- 向供应方提供准确设备ID和经营者认可的周转时长。
- 复现全部行,特别测试12:00与13:00边界。
- 在隔离环境同时申请同一时段,要求一个权威结果,不能出现两个独立的绿色日历确认。
- 自动确认前,另测取消、延迟归还及准备超时。
交付输出
保存资源ID、时区、开始、归还、准备结束、冲突记录ID及分配状态。拒绝申请时可给替代时间或咨询路径,不泄露其他客户资料。“继续核对”仍有其他条件,不等于已付款或已确认租赁。
边界
下载模型仅串行比较数字时段,不执行SQL、不锁库存、不转换时区,也不测试生产并发。人员、维护、配送、押金及法律条款另行确认。墨尔本预约时区资源解决时间解释,与设备区间冲突是不同问题。
复核本页教学例子
以下文件可在本地离线复核,只模拟本页说明的情况,不代表真实平台集成。 已填写输入及预期结果 · 可检查的教学函数
把两份文件存入同一文件夹,使用Node 22.13或更新版本运行:
node decision-check.mjs hire-availability-overlap-test.json