关系演算相关论文
不完全信息数据库是数据库理论的一个重要研究方向.现实世界中不完全信息是普遍存在的.数据库是对客观世界的模拟,必须考虑不完全......
查询包含问题是查询优化的基本算法问题。在数据库理论方面,约束关系模型的不等式合取查询包含问题已经得到解决。然而,由于数据库......
rCOS是A Refinement Calculus for Object Systems(对象系统的精化演算)的简称。它以统一程序设计理论(Unifying Theories of Prog......
Web服务编排描述语言(Web Services Choreography Description Language,简称WS-CDL)从全局的视点描述服务组合各个参与方的行为规......
在分析关系演算运行机制的同时,介绍了一种易于正确理解和设计关系演算表达式的方法,并通过实例揭示了它与SQL语言之间的密切联系......
文章以Visual FoxPro 6.0数据库管理系统为软件平台,通过查询实例阐述结构化查询语言(Structured Query Language,简称SQL)如何反映......
近年来,随着信息技术、网络搜题平台的兴起,智能化手机终端的普及,初中学生使用网络搜题、查答案的现象不在少数,有时会碰到少数学......
在我国,“逻辑和法律进行交叉研究”被称为“法律逻辑”。多年来,国内外学者将法律逻辑看成形式逻辑对法律领域的渗透与应用,将“......
本文对诸如逻辑方式描述关系操作的内涵、逻辑表达式进行了明确的描述或者定义.同时,对关系代数中的各种关系操作,结合例子进行了......
首先给出了模糊数据库的模糊关系数据模型,它允许属性值和元组具有模糊性。在此基础上,构造了两类不同的模糊数据库查询语言:模糊关系......
分析了面向对象类与对象间的关系,在此基础上建立了对应的属性模型并且以关系演算的方法进行捕获模型的对象关系;讨论并实现了动、......
离散数学作为有力的数学工具,对计算机的发展,计算机科学的研究起着重大的作用.计算机科学中普遍地采用离散数学中的一些基本概念,......
在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自......
随着信息技术的深入发展,蜂拥而至的信息演变成了各个领域和行业分析、处理以及应用的关键,成为左右决策最重要的因素。几乎所有信......
《数据库系统概论》课程的重、难点分析金汉均数据库技术的应用越来越广泛,几乎深入到日常生活的各个领域、各个部门。《数据库系统......