因此，我有一个Rodin event-b项目，并希望定义一个已知的静态关系。例如，假设我有一个集合{a，b，c}，并希望在上下文公理中指定等于{(a,1)，(a,2)，(b,3)}的关系常数。CONTEXT
a c
axm2
浏览 9提问于2020-05-29得票数 2
回答已采纳
所以我得到了R (A, B, C, D, E, F)和FD = {AB -> C, AD->B, C->B, F-> AD, F-> E}的关系，我需要使用阿姆斯特朗的公理来证明F是一个超级密钥。我理解阿姆斯特朗的公理(在一定程度上)，但我不确定如何在这个应用程序中使用它们。任何指导都是值得感谢的。
谢谢
浏览 3提问于2015-12-11得票数 0
A l A
find_axioms(Specific, BaseSet, Fullfill)BaseSet是我们可能的公理列表，[A l A, (B l A) x (A l B)]变量完全填充应该是一些返回代码，例如Z和特定是由<em
浏览 6提问于2022-01-20得票数 0
回答已采纳
如您所知，有三个Armstrong公理可以推断出关系数据库上的所有函数依赖关系。是一组属性)增强:如果X→Y，则对于任意Z，则XZ→YZ我理解增强和传递性，例如，如果我们有这样的模式：具有这样的功能依赖性：B→c
通过使用增强，我们可以得到ac→bc，或者用传递性可以得到→c和更多，但是我不知道如何用自反公理
浏览 0提问于2013-01-22得票数 1
回答已采纳
假设我们有这样的本体： equivalentTo: hasRel D
equivalentTo: A and hasRel C
使用访问者模式get hasRel C axiom (作为OWLObjectSomeValuesFrom)：
OWLOb
浏览 0提问于2020-01-30得票数 0
1回答
导出推断公理
、、、、
我创建了一个由A、B和C类组成的基本本体。这种传递性的关系在被保护者中运作得很好。我还尝试通过Protege的“活动本体”选项卡将导出的文件导入到我的原始本体中，然后执行了“文件->导出推理公理作为本体”，但是输出文件仍然不包含推断的三重。"OWL RDF/XML语法不像等效类那样支持n进制构造函数，因为所有东
浏览 1提问于2017-10-23得票数 3
1回答
如您所知，有三个用于推断关系数据库上的所有函数依赖关系。→X
通过使用增强，我们可以得到ac→bc，或者用传递性可以得到→c和更多，但是我不知道如何用自反公理推断更多的函数依赖？
浏览 1提问于2013-01-23得票数 5
回答已采纳
1 subgoalf : A → B______________________________________(1/1)当然，函数g是否存在取决于是否接受所选择的公理，那么它从何而来呢？所以，我想知道的是：
您如何在</e
浏览 2提问于2021-06-24得票数 1
回答已采纳
我想在伊莎贝尔/霍尔中用quotient_type创建一个商类型，在这个类型中，我会留下“非构造”的非空集S和等价关系≡。我的目标是导出泛型属性w.r.t。我不能定义equiv与definition或fun命令的任意等价关系，因为它们只允许我定义“建设性-强规范化-归纳性”定义。
浏览 6提问于2015-02-26得票数 0
回答已采纳
1回答
这就是我要问的问题：T ((A, B), C, E, F, G)
A, B → C, EB → BC, F → E所以，我想到了这个：X((A,B), C, E)
W (
浏览 4提问于2017-05-14得票数 0
回答已采纳
A-->BCDB-->D a.计算B+。
B+表示B的闭包。B->DD->AA-> BCDBC -> DE关系的所有属性都可以由B找到，因此，B是关系</em
浏览 3提问于2011-02-19得票数 4
1回答
我有以下关系和函数依赖关系。F: C->AB, D->A, BE->CE, E->B我以为唯一的超级钥匙是DE。这是正确的吗？
如果唯一的超级键是DE，那么关系不在BCNF中，因为没有一个函数依赖项在左边有超键。
浏览 0提问于2012-12-04得票数 2
1回答
利用OWL本体通过推理进行类传播
、、、、
例如：Node B -(rdfs:type)-> Sensitive ElementNode A -(rdfs:type)-> Sensitive Element作为一个推理引擎，我使用Apach
浏览 2提问于2021-06-19得票数 2
我有一个C关系，它有三个参数。它代表了我理论的一种运作。所以C(a，b，c)表示a=b@ c，但是我没有(成功地)在Coq中定义这个运算符，所以我只使用关系C：(d @ e) @f=d@ (e @ f)。我必须用C来表达，我想到了两个公理，但我不知道哪一个是最好的(如果它们都是正确的)。 ((exists b, C a b c
浏览 3提问于2022-07-03得票数 1
回答已采纳
1回答
关系数据库，多到多
、、、
如何在关系数据库(如MySQL )中以图表的形式表示以下情况：2)事件只能有一个组织者4)用户可以参与多个事件(只有当事件没有从开始到结束与另一个事件发生冲突时)
浏览 3提问于2016-11-04得票数 0
回答已采纳
在斯坦福CoreNLP Semgrex中，我能够找到除nmod rel之外的所有其他关系。任何其他关系，如：工作正常。但如果我尝试匹配nmod关系，它无法识别该关系：在关系中匹配nmod:时抛出错误：如何在CoreNLP Semgrex中找到nmod
浏览 3提问于2016-09-18得票数 3
该应用程序使用了几个非AMD库(如jquery和bootstrap)。RequireJS通过填充程序配置维护这样的库。如何在webpack中声明非AMD库的依赖关系？
浏览 1提问于2015-06-08得票数 0
我有两个组合盒A和B。B中的值是根据A中的选定值填充的，当我单击组合框A并选择一个项目时，我的代码工作正常，相应的值将在组合框B中填充。我已经将其写在了change事件中。但是，当我使用tab键导航并选择组合框A中的项并按下键盘进行更改时，组合框B中的key...the项不会填充新值。现有值不会更改，，，ie更改事件</
浏览 2提问于2010-10-29得票数 0
回答已采纳
1回答
谷歌应用引擎:围棋中的一对多关系
、、、、
我目前正在决定在一个(小型)社交网络中使用哪个堆栈。我很乐意在golang上用golang语言编写代码，因为这将带来干净、快速的代码，并具有现代云服务和托管的所有优点。你将如何在GAE中实现一对多和/或多对一的关系？根据文档，您可以在数据存储-结构中使用您自己的类型，只要它们的属性是文档中提到的属性。，如果我是对的，我怎么能：( b)以方便的方式向照片中添加评论？(如Mong
浏览 1提问于2014-09-25得票数 0
回答已采纳
云服务器
ICP备案
云直播
对象存储
实时音视频
腾讯云开发者
