这一章，重要的是几个关系求解算法，这个要会去求。每个算法做好整理记录。{X→Y，Y→Z}⊨X→Z\{X→Y，Y→Z\}⊨ X→Z{X→Y，Y→Z}⊨X→Z 其中: ⊨表示逻辑蕴涵。定义6.6（逻辑蕴涵）：设F是由关系模式R(U)满足的一个函数依赖集，X→Y是R的一个函数依赖，且不包含在F，如果满足F中所有函数依赖的任一具体关系r，也满足X→YX→YX→Y，则称函数依赖集F逻辑地蕴涵函数依赖X→Y，

防碰撞技术碰撞鉴于多个RFID标签工作在同一频率，当它们处于同一个阅读器的作用范围内时，在没有防碰撞机制的情况下，信息传输过程将产生碰撞，导致信息读取失败。同时多个阅读器之间工作范围重叠也将造成碰撞。为了防止这些碰撞的产生，RFID系统中需要设置一定的相关命令，这些命令被称为“防碰撞命令或算法”（anti-collision algorithms）。RFID系统中防碰撞实现方法有以下四种：频分多路