范式理论的程序设计(四)

最新推荐文章于 2021-07-23 15:11:17 发布

三分高冷七分装帅

最新推荐文章于 2021-07-23 15:11:17 发布

阅读量502

点赞数

分类专栏：数据库文章标签：数据库范式范式理论 Java

本文链接：https://blog.csdn.net/qiyuanguren/article/details/80522296

版权

这篇博客探讨了数据库范式理论在程序设计中的应用，主要关注ArmstrongUtils工具类。文章详细介绍了该工具类的接口设计，以及自反律、增补律、传递律、合并律、分解律和伪传递律这六大公理的实现方法和测试代码。内容以Java编程语言为载体，展示了如何将这些理论融入实际编程中。

摘要由CSDN通过智能技术生成

关于数据库范式理论的程序设计 - ArmstrongUtils

这里我使用的工具类全部都是使用接口，public interface ArmstrongUtils extends CollectionUtils是关于Armstrong公理的工具，因为后面算法都不用就算F+，所有这些性质都很少会直接用到重点内容。

Utils工具的继承关系

这里写图片描述

ArmstrongUtils接口

import com.ruoxing.dbs.bean.FunctionalDependency;

/**
 * @author :ruoxing
 * @type :Interface
 * @date :2018年5月
 * @description :Armstrong公理
 */
public interface ArmstrongUtils extends CollectionUtils {
   
}

这里写图片描述

自反律（reflexivity）

1. 方法代码

    /**
     * 描述:自反律: β包含于α  => α → β
     * @param sequenceA α
     * @param sequenceB β
     * @return FunctionalDependency  α → β
     */
    default FunctionalDependency reflexivity(CharSequence sequenceA, CharSequence sequenceB) {
        if (contains(sequenceA, sequenceB)) {
            return new FunctionalDependency(sequenceA, sequenceB);
        }
        return null;
    }

2. 测试代码（Junit）

import com.ruoxing.dbs.bean.FunctionalDependency;
import com.ruoxing.dbs.util.ArmstrongUtils;
import org.junit.Test;

import java.util.Arrays;

/**
 * 描述：测试Armstrong公理的实现
 */