datalog相关论文
文中提出了Ｄａｔａｌｏｇ程序的正规变换，并构造了Ｄａｔａｌｏｇ程序的约束模型图，从而把正规变换的求解转化为对约束模式图的搜索．约束模式图搜索算法与经典的ＡＯ＊搜......
该文对目前研究得比较多的数据库更新理论作了综合性介绍,主要内容包括列新规则、更新语言等.针对其中存在的一些问题,研究人员给......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
With the internet development, querying data on the Web is an attention problem of involving information from distribute......
知识库语言是一类适应人工智能和知识工程领域的、具有符号处理和逻辑推理能力的计算机程序设计语言。它能够用来编写程序求解非数......
对RBAC的角色激活过程增加情景约束，建立了感知情景的存取控制策略；利用Datalog逻辑语言来建立感知情景存取控制策略模型的形式化规......
与因特网开发，在网上查询数据是包含信息从的一个注意问题分布式，并且经常动态地，相关的网来源。基本上，一些亚质问能有效地从以前的询......
逻辑语言由于其表达力和灵活性,是访问控制中授权语言的基础之一。针对Datalog语言缺乏表达事务和多方决策模型的能力,对Datalog进......
为了快速精确测量模拟芯片总谐波失真，转换速率等参数指标，设计了一款基于模拟IC测试仪的数据采集系统，模拟信号经过数据采集卡后变成......
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形......
重点论述了DOOD中对象的方法查询，首先运用一组转换规则把以演绎对象语言（DOOL）表示的查询和相应的规则转换成Datalog中谓词的表达形......
基于视图的查询求解是解决PDMS(Peer Data Management Systems)中数据共享的一个重要手段.基于成熟的Datalog技术,设计了基于场地......
Datalog作为关系数据模式中用来扩充逻辑查询语言的一种重要形式.提出并解决了Datalog规则、Datalog规则的安全条件、Datalog规则......
重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用,给出了求解Datalog递归规则的两种通用算法,并通过......
重点探讨了基于逻辑的数据模型Datalog在以关系数据库为基础的递归查询上的应用,给出了求解Datalog递归规则的两种通用算法,并通过......
Datalog工艺技术公司提供了该信息系统，这是在无人参与情况下由织机自行收集性能数据的在线生产监控系统。该数据被进一步加工，由计......
带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此......
本刊讯：2006年4月6日，大港油田集团地质录井公司与加拿大DATALOG技术公司合作签字仪式在天津大港举行，就双方联合生产DML-DATALOG综合......
Dalalog是关系数据模式中用来扩充逻辑查询语言的一种重要形式.文章论述Datalog规则、Datalog规则的安全条件、Datalog规则对关系......
本文旨在通过描述DATALOG和关系代数的概念,以及DATALOG与关系代数的区别,经过从关系代数到逻辑规则和从逻辑到关系的论述,并比较D......
提出一种新的、基于逻辑的数据集成应用方案：用描述逻辑表达中介模式，能实现基于LAV源描述法的虚拟数据集成技术与物化数据仓库技术......
提出了一种用于分布式计算环境的语言安全策略语言SSPL。SSPL通过OWL DL描述，支持各种安全策略的基本类型，包括肯定和否定授权，肯定和......
递归查询为包含多重层次结构的关系数据提供了一种非常灵活而有效的处理方法.本文运用关系代数和基于逻辑的Datalog规则对递归查询......
研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分......
归纳学习是一种重要的知识发现手段。本文介绍一种新型的基于Datalog程序的归纳学习系统LFIO,在此归纳学习系统中,对于给定的背景......
文章提出了一个建立在传统关系数据库基础上的能支持ANSI SQL与嵌入式SQL的演绎规则解释嚣。利用这个解释嚣。用户能够定义一个蕴......
文章提出了一个建立在传统关系数据库基础上的能支持ANSI SQL与嵌入式SQL的演绎规则解释嚣。利用这个解释嚣。用户能够定义一个蕴......
适应井场数据共享的需要，不同型号的进口综合录井仪都提供了相应的符合wITs标准的实时数据传输程序软件，但由于软件各具特色且数据接......
