问题标签 [tuple-relational-calculus]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
tuples - 域和元组关系演算
以上两者之间有“真正的”区别吗?除了它们的语法之间最微小的差异之外?
turing-complete - 元组关系演算
安全元组关系演算是图灵完备的语言吗?
tuples - 我如何用关系代数、域关系演算和元组关系演算找到最高/最大的东西
这是家庭作业的一部分。我有几个问题要问找到最高薪水或第二高薪员工的开斋节。找到获得最多飞机认证的飞行员。我不知道该怎么做。本章中没有任何示例,而且 google 证明没有那么有用。如果有人能告诉我如何做其中之一,那将有很大帮助。
以下是表格:
飞机(援助:整数,名称:字符串,巡航范围:整数)
认证(eid:整数,援助:整数)
员工(eid:整数,ename:字符串,薪水:int)
sql - SQL 查询(在 SQL、关系代数和元组关系演算中)
我正在做一个测试考试,在它的 SQL 代码、关系代数和元组关系演算中,我遇到了一个特定的查询。
查询状态:查找包含关系中列出的每种类型的分支的 (city,state) 对Branch
。
在哪里Branch
:
和城市是:
和分别是Branch_City
和的Branch_State
外键。City_Name
State_Name
“规则”是不能使用聚合函数,例如COUNT
,MAX
等。
MySQL 和 PostgreSQL 必须“理解”查询,但是可以使用 PostgreSQLEXCEPT
中INTERSECT
可用但 MySQL 中不可用的函数。
FROM
子句中没有子查询
如前所述,如果可以为 SQL、关系代数和元组关系演算提供答案,将不胜感激。这些问题让我停滞不前。
提前致谢!
tuples - 元组关系演算:获取一个查询的结果并将其添加到另一个
我正在寻找如何将一个查询的结果组合到另一个以 TRC 格式表示的查询中。我将在下面发布问题以及数据库的结构。
问题
数据库设置
因此,到目前为止,我已经弄清楚了如何从链接如何找到具有最低工资的员工如何找到关系代数、域关系微积分和元组关系微积分的最高/最大的东西,以及来自http://www.cs。 Princeton.edu/courses/archive/spr00/cs425/soln_from_text_midterm.pdf(第 32 页,问题 6、7 和 8 都使用此逻辑,并在后面给出答案)。
我的问题是,我很难获取最低员工的结果,然后将其添加 10000。我相信其余的查询应该很简单。我有以下来生成最低工资员工,但显然这不会返回高于此的员工。
任何帮助,将不胜感激。
非常感谢!
mysql - 如何在元组关系演算中实现 sql “where not in”?
我想将具有 where not in 子句的 sql 查询转换为元组关系演算。Existential 和 Universal 量词仅实现 where exists 和 where not exists 子句,所以我想知道如何实现 where not in?
我的表是serves(bar,beer),frequents(drinker,bar),likes(drinker,beer)
。以下查询选择只经常光顾提供他们喜欢的啤酒的酒吧的饮酒者。
如果有人可以解释我如何在 TRC 中实现不需要转换整个查询就足够了。我正在使用http://www-rohan.sdsu.edu/~eckberg/relationalcalculusemulator.html
来检查我的关系演算和将其转换为 sql 查询。
笔记:
如果您在查询中使用含义。
它不支持蕴涵。例如蕴涵可以实现如下。(p==>q) 可以写成 (not p or q) 形式,因为两者在逻辑上是等价的。
database - 关系演算左外连接
我只是希望得到指导,而不是答案。
关系演算中的左外连接是如何写的?
这是我用代数符号写的语句:
(左外连接符号)
这是我写的微积分符号:
我知道外部连接意味着关系中的所有内容都将被显示。但我不知道怎么写它会显示在哪里。
我的微积分符号对吗?如果不是,我做错了什么?
relational - 试图理解元组关系演算
在什么情况下你会使用域关系演算而不是元组关系演算?
例如,我使用元组关系解决了这个问题:
列出 John Smith 的共同作者(与 John Smith 共同撰写文章的作者)
与这些关系:作者(作者ID,名称)和创作(文章ID,作者ID)粗体的主键和外键。
{t:文章ID,名称| ∃ a ∈ 作者 ∃ au 创作 a.authorID = au.AuthorID ∧ a.name = 'John Smith' ∧ a.authorID = au.AuthorID}
此外,您将如何表达两者的集合差异?我正在尝试解决以下问题:
哪个作者与每位作者共同撰写了至少 1 篇论文(没有聚合函数)。
sql - 如何证明某事增加了关系表达能力?
我如何证明某事增加了关系表达能力?例如,我遇到了一个问题,我需要说明向 SQL 的 select-project-join 查询添加某些功能是否会增加表达能力。我是否举了一个例子并表明它是不可表达的?