刘灵玲

摘要： 从已知的一些函数依赖，可以推导出另外一些函数依赖，这就需要一系列推理规则。函数依赖的推理规则最早出现在1974年W.W.Armstrong 的论文里，这些规则常被称作“Armstrong 公理”。 设U是关系模式R的属性集，F 是R 上成立的只涉及U中属性的函数依赖集。函数依赖的推理规则有以下三条： 阅读全文

摘要： 代码行数度量法以程序的总代码行数作为程序复杂性的度量值。 LOC是Lines of Codes的缩写，指构成软件的源代码行数。LOC主要用于估算软件成本和规模。软件估算的另外一个传统参数是功能数目。 阅读全文