zoukankan      html  css  js  c++  java
  • 关系,表和封闭世界假定

    关系

    属性和标题

    在关系理论中,属性(attribute)由名称和类型构成,属性的集合称为标题(heading)。下图中的标题有两个属性,分别是【学号/nvarchar(50)】和【姓名/nvarchar(50)】。 标题的属性数目称为标题的度(degree),下图中的标题度为 2。

    元组和主体

    用标题的每个属性产生一个值,这些值的集合就是元组(tuple),这些值称为元组的分量(component),上图中有两个元组。元组中分量的数目称为元组的度,图中两个元组的度都为 2,因此称为二元组。两个元组相等,当且仅当他们的标题相等,且每个属性的分量相等。

    元组的集合称为主体(body)。

    关系

    标题和主体构成关系(relation)。在关系中,标题和主体的概念都依照数学上的集合论进行定义,因此,标题中没有重复的属性,且属性之间没有顺序;主体中没有重复的元组,且元组之间没有顺序。下图和上图是同一个关系,差别仅仅在于图的画法不同。

    表和关系

    关系型数据库是基于关系理论的。不严格的讲,表相当于关系,列相当于属性,行相当于元组。但是,表中的列和行都是有顺序的,并且允许重复的行存在。

    闭合世界假定

    元组表示一个命题

    关系的标题是陈述事实的模板(谓词),上面的两幅图中,标题的含义可以解释成:

    存在学生____,其学号为____

    把元组代入模板后得到的是对一件事情的陈述(命题)。图中两个元组代表的命题分别陈述了两件事:

    存在学生张三,其学号为 S01

    存在学生李四,其学号为 S02

    闭合世界假定

    命题有真假之分,闭合世界假定是说,在特定时刻,凡是出现在关系主体中的命题都是真命题,凡是没有出现在关系主体中的命题都是假命题。闭合世界假定不是关系理论,而是设计理论。在闭合世界假定下,图中的学校只有两个学生,没有第三个。

  • 相关阅读:
    gitlab10+版本删除项目工程
    Ubuntu16.04上通过anaconda3离线安装Tensorflow2.0详细教程
    android中根据smartRefeshLayout自定义上下拉刷新效果
    android高德地图根据经纬度添加标注(Marker)
    android设置状态栏颜色
    android复制内容到剪贴板
    android拨打电话的两种方式
    java集合转String数组
    解决jenkins部署TomcatManagerException问题
    SpringCloud 微服务消费者之间相互调用的方式
  • 原文地址:https://www.cnblogs.com/dongbeifeng/p/4472606.html
Copyright © 2011-2022 走看看