位置：成果数据库 > 期刊 > 期刊详情页
Mapping integrity constraint ontology to relational databases
  • ISSN号：1005-8885
  • 期刊名称：《中国邮电高校学报：英文版》
  • 时间：0
  • 分类：TP311.13[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] O175.29[理学—数学;理学—基础数学]
  • 作者机构：[1]College of Computer Science and Technology, Jilin University, Changchun 130012, China, [2]Key Laboratory of Symbol Computation and Knowledge Engineering, Ministry of Education, Jilin University, Changchun 130012, China
  • 相关基金：supported by the National Natural Science Foundation of China （60973089 60873148）; the Jilin Province Science and Technology Development Plan （20101501 20100185）; the Erasmus Mundus External Cooperation Window’s Project （EMECW）： Bridging the Gap （155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12）; the Foundation of Key Laboratory of SCKE of Ministry of Education （450060326019）
作者： OUYANG Dan-tong[1,2] CUI Xian-ji[1,2] YE Yu-xin[1,2]
关键词： 关系数据库, 映射方法, 完整性约束, 本体论, 传统方法, WEB应用, 应用程序, 数据中心, Semantic Web, integrity constraint, ontology, relational database
中文摘要：

Corresponding author： YE Yu-xin, E-mail： yuxin.ye@hotmail.com DOI： 10.1016/S 1005-8885（09）60534-3

同期刊论文项目
基于模型的诊断若干关键问题研究及其在配置中的应用
期刊论文 65 会议论文 6
模型不完备情形下离散事件系统诊断方法的研究
期刊论文 82 会议论文 12 专利 1
同项目期刊论文
基于GPU的混合精度平方根共轭梯度算法
基于缩减信念状态的Conformant规划方法
基于路标隐式分解的前向搜索规划方法
广义KRA抽象模型
基于GPU的稀疏矩阵向量乘优化
扩展的G-KRA抽象模型
An artificial bee colony approach for clustering
离散事件系统的同步诊断算法
混成系统的分布式诊断方法
基于GPU的共享信息素矩阵多蚁群算法
不完备模型下的离散事件系统诊断方法
智能世界的建模与诊断
基于本体的分层抽象模型
基于系统中心本体的分层抽象模型
结合约束满足消除误判的等价性验证方法
一种约束粒子群优化的无线传感器网络节点定位算法
Deriving all minimal consistency-based diagnosis sets using SAT solvers
基于因果关系的模型诊断
结合增量与启发式搜索的多目标问题处理方法
不确定区域间方向关系的相似性度量方法
三个简单区域间的拓扑关系的推理及应用模型
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
一种改进的基于结构抽象的分层模型诊断方法
一种双嵌套区域与简单区域间的拓扑关系模型
Formal model extraction for combinational equivalence checking
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
混合语义约简和选择估值优化SPARQL
一个结合多方面定性空间信息的新方法
凹形区域和带单洞区域间拓扑关系的表示
Integrity maintenance of continually changed OWL ontology
一种动态定性空间关系自动规划方法
基于动态极大度的极小碰集求解方法
动态不确定环境下多目标路径规划方法
一种用于常识空间信息处理的定性空间关系模型
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
The Parallel Theorem Proving Algorithm Based on Semi-Extension Rule
利用标志传播求解基于模型的故障诊断
结合look-ahead值排序的自适应分支求解算法
基于极性的非循环术语集调试
路标计数启发式引导的分解规划方法
基于分割的超树分解方法
通用化和个性化在线学习新模式的研究与探讨
一种基于环切割的约束满足问题求解算法
一种基于冲突的增量诊断方法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
基于语义的主题爬行策略
基于GPU的混合精度平方根共轭梯度算法
不完备模型下的离散事件系统诊断方法
Optimize Diagnosability and Sensor Placement in Discrete Event System
A Novel Hybrid Differential Evolution and Particle Swarm Optimization Algorithm for Unconstrained Op
Deriving all minimal consistency-based diagnosis sets using SAT?solvers
基于等价类划分的配置求解与解释计算研究
产品配置器的设计
图分割在Singleton弧相容算法中的应用
在离散事件系统中寻找诊断路径的方法
基于模型诊断的改进贝叶斯方法
离散时间系统的同步诊断算法
Model Counting with Boolean algebra and Extension Rule
结合增量与启发式搜索的多目标问题处理方法
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
基于ATMS的冲突识别及诊断测量方法
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
间接使用扩展规则求解#SAT问题
混合语义约简和选择估值优化SPARQL
Dynamic Theorem Proving Algorithm for Consistency-based Diagnosis
无环配置问题研究
一个结合多方面定性空间信息的新方法
一种动态定性空间关系自动规划方法
电子细胞Analog-Cell的并发机制
The Modeling Procedures for Model-Based Diagnosis of Slowly Changing Fault in Hybrid System
An Efficient Lightweight RFID Authentication Protocol for Low-cost Tags
Verilog Combinational Equivalence Checking based on SMT Constraint Solver
A new qualitative spatial reasoning model for natural language understanding
基于动态极大度的极小碰集求解方法
基于模型的混杂系统中控制器故障诊断方法
关于改进求解约束满足问题粗粒度弧相容算法的研究
约束分解技术回顾与展望.
一种基于环切割的约束满足问题求解算法.
Eliminating Repeated Constraint Checks in MaxRPC Algorithms.
基于AC-4的动态值启发式约束满足问题求解算法.
动态不确定环境下多目标路径规划方法
A Self-adaptive Differential Evolution Algorithm for Binary CSPs
Translation of SPARQL to SQL based on Integrity Constraint
一种用于常识空间信息处理的定性空间关系模型
利用标志传播求解基于模型的故障诊断
基于分割的超树分解方法
一种基于环切割的约束满足问题求解算法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于语义的主题爬行策略
期刊信息
  • 《中国邮电高校学报：英文版》
  • 主管单位:高教部
  • 主办单位:北京邮电大学、南邮、重邮、西邮、长邮、石邮
  • 主编：LU Yinghua
  • 地址：北京231信箱（中国邮电大学）
  • 邮编：100704
  • 邮箱：jchupt@bupt.edu.cn
  • 电话：010-62282493
  • 国际标准刊号：ISSN：1005-8885
  • 国内统一刊号：ISSN：11-3486/TN
  • 邮发代号:2-629
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库
  • 被引量:127