21 关系: 域关系演算,埃德加·科德,多元组,多重集,存在量化,宣告式編程,属性,一阶逻辑,信头,函数,全称量化,关系代数 (数据库),关系模型,关系演算,关系数据库,De facto,關聯式資料庫管理系統,SQL,有序对,数据库,数据库表。
域关系演算
在计算机科学中,域关系演算(DRC)是Michel Lacroix和 Alain Pirotte为关系数据模型发明的的作为声明性数据库查询语言Michel Lacroix, Alain Pirotte: Domain-Oriented Relational Languages.
新!!: 元组关系演算和域关系演算 · 查看更多 »
埃德加·科德
埃德加·弗兰克·科德(Edgar Frank Codd, ) ,小名泰德·科德(Ted Codd),生于英国英格兰多塞特郡的波特兰,计算机科学家。他为关系型数据库理论做出了奠基性的贡献。他在IBM工作期间,首创了关系模型理论。他一生中为计算机科学做出了很多有价值的贡献,而关系模型,作为一个在数据库管理方面非常具有影响力的基础理论,仍然被认为是他最引人瞩目的成就。.
新!!: 元组关系演算和埃德加·科德 · 查看更多 »
多元组
多元組泛指有限個元素所組成的序列。在數學上及計算機科學上分別有其特殊的意義。 数学上,n元组或多元组是对象个数有限的序列。元组由三部分组成:边界符、分隔符和元素。通常采用的边界符是小括号“(\)”,分隔符是逗号。 多元组被数学家用来描述包含特定部件的数学对象。例如,有向图被定义成一个二元组(V, E),这里V是节点的集合,E是V × V的子集,表示边。 在類型論中,多元組與重類別相關。.
新!!: 元组关系演算和多元组 · 查看更多 »
多重集
多重集或多重集合是数学中的一个概念,是集合概念的推广。在一个集合中,相同的元素只能出现一次,因此只能显示出有或无的属性。在多重集之中,同一个元素可以出现多次。正式的多重集的概念大约出现在1970年代。.
新!!: 元组关系演算和多重集 · 查看更多 »
存在量化
在谓词逻辑中,存在量化是对一个域的至少一个成员的性质或关系的论断。使用叫做存在量词逻辑算子符号∃来指示存在量化。 它相对于声称某些事物对所有事物都为真的全称量化。.
新!!: 元组关系演算和存在量化 · 查看更多 »
宣告式編程
宣告式編程(Declarative programming)是一種编程范式,与指令式編程相對立。它描述目標的性質,讓電腦明白目標,而非流程。声明式编程不用告诉电脑问题领域,从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。 声明式编程通常被看做是形式逻辑的理论,把计算看做推导。声明式编程因大幅简化了并行计算的编写难度,自2009起备受关注。 声明式语言包括数据库查询语言(SQL,XQuery),正则表达式,逻辑编程,函数式编程和组态管理系统。 宣告式編程透過函數、推論規則或项重写(term-rewriting)規則,來描述變數之間的關係。它的語言執行器(編譯器或解释器)採用了一個固定的算法,以從這些關係產生結果。 宣告式編程語言通常用作解決人工智能和約束滿足問題。.
新!!: 元组关系演算和宣告式編程 · 查看更多 »
属性
属性,共同的性质和特点。例如,一个对--象的颜色和形式,人的能力,身份,以及社会的基础关系等等。属性是用在许多领域的术语。 经院哲学的经典,如亚里士多德系谱哲学中的术语:人的属性的本质是属于,我们一起构成本质属性...,相对的,属性本质并不属于个体所有,而称拥有的这一特点。然而,这种区别在近代混淆,因此在现代不再常用。 目前一些哲学家根据不同的,比如属性的所述种类性质(例如颜色),属性性质的值(比如红色)的等,在某些情况下定义一个唯一的分别法则要考虑到上述的典型定义或细微差别,所以没有一致的区分,大多数情况通用。.
一阶逻辑
一阶逻辑是使用於数学、哲学、语言学及電腦科學中的一种形式系统。 過去一百多年,一階邏輯出現過許多種名稱,包括:一阶斷言演算、低階斷言演算、量化理論或斷言逻辑(一個較不精確的用詞)。一階邏輯和命題邏輯的不同之處在於,一階邏輯有使用量化變數。一個一階邏輯,若具有由一系列量化變數、一個以上有意義的斷言字母及包含了有意義的斷言字母的純公理所組成的特定論域,即是一個一階理論。 一階邏輯和其他高階邏輯不同之處在於,高階邏輯的斷言可以有斷言或函數當做引數,且允許斷言量詞或函數量詞的(同時或不同時)存在。在一階邏輯中,斷言通常和集合相關連。在有意義的高階邏輯中,斷言則會被解釋為集合的集合。 存在許多對一階邏輯是可靠(所有可證的敘述皆為真)且完備(所有為真的敘述皆可證)的演繹系統。雖然一階邏輯的邏輯歸結只是半可判定性的,但還是有許多用於一階邏輯上的自動定理證明。一階邏輯也符合一些使其能通過證明論分析的元邏輯定理,如勒文海姆–斯科倫定理及緊緻性定理。 一階邏輯是數學基礎中很重要的一部份,因為它是公理系統的標準形式邏輯。許多常見的公理系統,如一階皮亞諾公理和包含策梅洛-弗蘭克爾集合論的公理化集合論等,都可以形式化成一階理論。然而,一階定理並沒有能力去完整描述及範疇性地建構如自然數或實數之類無限的概念。這些結構的公理系統可以由如二階邏輯之類更強的邏輯來取得。.
新!!: 元组关系演算和一阶逻辑 · 查看更多 »
信头
在信息技术中,頭(header)指的是在一块数据存储或传输之际在頭追加的数据,这些信息是对数据区的描述。 数据传输时,頭之後的数据有时被称为负载或信体。 頭描述清晰无歧义的规范和公式是非常重要的。他们使得頭可以解析。.
函数
函數在數學中為兩集合間的一種對應關係:輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素。例如實數x對應到其平方x2的關係就是一個函數,若以3作為此函數的輸入值,所得的輸出值便是9。 為方便起見,一般做法是以符號f,g,h等等來指代一個函數。若函數f以x作為輸入值,則其輸出值一般寫作f(x),讀作f of x。上述的平方函數關係寫成數學式記為f(x).
全称量化
在谓词逻辑中,全称量化是尝试形式化某个事物(逻辑谓词)对于所有事物或所有有关的事物都为真的概念。结果的陈述是全称量化后的陈述,我们在谓词上有了全称量化。在符号逻辑中,全称量词(典型的"∀")是用来指示全称量化的符号。.
新!!: 元组关系演算和全称量化 · 查看更多 »
关系代数 (数据库)
关系代数是一阶逻辑的分支,是闭合于运算下的关系的集合。运算作用于一个或多个关系上来生成一个关系。关系代数是计算机科学的一部分。 在纯数学中的关系代数是有关于数理逻辑和集合论的代数结构。.
新!!: 元组关系演算和关系代数 (数据库) · 查看更多 »
关系模型
于数据库管理的关系模型(Relational model)是基于谓词逻辑和集合论的一种数据模型,廣泛被使用於資料庫之中。最早於1970年由埃德加·科德提出。.
新!!: 元组关系演算和关系模型 · 查看更多 »
关系演算
关系演算包括元组关系演算和域关系演算,是数据库的关系模型的一部分,提供了查询数据库的声明性方式。关系演算与关系模型中的关系代数相反,因为关系代数提供的是查询数据库的过程性方式。 关系代数和关系演算是逻辑等价的:对于任何代数表达式,都有一个等价的演算表达式,反之亦然。.
新!!: 元组关系演算和关系演算 · 查看更多 »
关系数据库
关系数据库(Relational database),是建立在关系模型基础上的数据库,借助于集合代数等数学概念和方法来处理数据库中的数据。现实世界中的各种实体以及实体之间的各种联系均用关系模型来表示。关系模型是由埃德加·科德于1970年首先提出的,並配合“科德十二定律”。现如今虽然对此模型有一些批评意见,但它还是数据存储的传统标准。标准数据查询语言SQL就是一种基于关系数据库的语言,这种语言执行对关系数据库中数据的检索和操作。 关系模型由关系数据结构、关系操作集合、关系完整性约束三部分组成。.
新!!: 元组关系演算和关系数据库 · 查看更多 »
De facto
de facto(,),為拉丁語法學詞彙,意思指「事實上」或者「執行上」,而法律上並未宣告。 De facto與拉丁語的de jure相對。De jure意指「法律上」,即由法律、政府干預、技術性的手段(例如規格、標準、協議等)等明文規定的方法;而de facto的意義則著重於該方法是由通俗的經驗所構成,不由規範所構成,甚至方法本身亦與規範互相違反。 當發生於法律上的情況時,de jure表明法律上的明文規定,而de facto則表明實際運作上的方法和行為。 De facto一詞亦可用於無法律或標準可跟從、有一套習以為常、但又非萬能或廣為人知的實作情況或共識。.
新!!: 元组关系演算和De facto · 查看更多 »
關聯式資料庫管理系統
聯式資料庫管理系統(Relational Database Management System,縮寫為RDBMS)是管理关系数据库的数据库管理系统。关系数据库是將数据间的关系以数据库表的形式加以表达,并将数据存儲在表格中,以便于查询。.
新!!: 元组关系演算和關聯式資料庫管理系統 · 查看更多 »
SQL
SQL(, or;结构化查询语言)是一种特定目的程式语言,用于管理关系数据库管理系统(RDBMS),或在(RDSMS)中进行流处理。 SQL基于关系代数和元组关系演算,包括一个数据定义语言和数据操纵语言。SQL的范围包括数据插入、查询、更新和删除,创建和修改,以及数据访问控制。尽管SQL经常被描述为,而且很大程度上是一种声明式编程(4GL),但是其也含有过程式编程的元素。 SQL是对埃德加·科德的关系模型的第一个商业化语言实现,这一模型在其1970年的一篇具有影响力的论文《一个对于大型共享型数据库的关系模型》中被描述。尽管SQL并非完全按照科德的关系模型设计,但其依然成为最为广泛运用的数据库语言。 SQL在1986年成为美国国家标准学会(ANSI)的一项标准,在1987年成为国际标准化组织(ISO)标准。在此之后,这一标准经过了一系列的增订,加入了大量新特性。虽然有这一标准的存在,但大部分的SQL代码在不同的数据库系统中并不具有完全的跨平台性。.
新!!: 元组关系演算和SQL · 查看更多 »
有序对
在数学中,有序对是两个对象的搜集,使得可以区分出其中一个是“第一个元素”而另一个是“第二个元素”(第一个元素和第二个元素也叫做左投影和右投影)。带有第一个元素a和第二个元素b的有序对通常写为(a, b)。 符号(a, b)也表示在实数轴上的开区间;在有歧义的场合可使用符号\langle a,b\rangle。.
新!!: 元组关系演算和有序对 · 查看更多 »
数据库
--,簡而言之可視為電子化的檔案櫃——儲存电子檔案的處所,使用者可以對檔案中的資料執行新增、擷取、更新、刪除等操作。 所謂「資料庫」係以一定方式储存在一起、能予多个用户共享、具有尽可能小的冗余度、与应用程序彼此独立的数据集合。.
新!!: 元组关系演算和数据库 · 查看更多 »
数据库表
在关系数据库中,数据库表是一系列二维数组的集合,用来代表和储存数据对象之间的关系。它由纵向的列和横向的行组成,例如一个有关作者信息的名为 authors 的表中,每个列包含的是所有作者的某个特定类型的信息,比如“姓氏”,而每行则包含了某个特定作者的所有信息:姓、名、住址等等。 对于特定的数据库表,列的数目一般事先固定,各列之间可以由列名来识别。而行的数目可以随时、动态变化,每行通常都可以根据某个(或某几个)列中的数据来识别,称为候选键。.
新!!: 元组关系演算和数据库表 · 查看更多 »