给出了结构化查询语句的定义,将查询的过程形式化描述,提出了一种基于SFDDs间逻辑运算实现分布式防火墙规则有效性检测算法。该算法在保持原始规则完整性、一致性、紧凑性的基础上,消除独立防火墙规则间异常,保持原始规则语义上的一致。仿真结果表明,基于SFDDs间逻辑运算实现分布式防火墙规则有效性检测算法可以快速有效对规则进行检测.