王宇君
- 作品数:18 被引量:33H指数:4
- 供职机构:复旦大学信息科学与工程学院计算机科学系更多>>
- 发文基金:国家自然科学基金上海市科学技术发展基金更多>>
- 相关领域:自动化与计算机技术理学建筑科学更多>>
- F-logic语言表达能力的研究被引量:1
- 1997年
- F-logic语言是一种基于框架逻辑的逻辑数据语言,它在表示面向对象的特征方面具有较强的能力,但是讨论其操作复杂对象能力的工作还不多见.本文比较了以COL,(complexobjectlanguage)为代表的逻辑数据语言与F-logic语言操作复杂对象的能力.通过两对保持语义的变换,能够将F-logic程序及其Herbrand解释与COL,程序及其Herbrand解释互相转变,且保持程序在相应解释下的真值性质.最后,讨论了否定的影响.本文的工作说明:在不考虑F-logic语言oid生成影响的情况下,F-logic语言与COL,LDL1和ELPS等逻辑数据语言在操作复杂对象方面具有相同的能力.
- 田增平王宇君曲云尧施伯乐
- 关键词:面向对象
- Lotus Notes与关系数据库的接口
- tes数据库与关系数据库在数据存储管理上各有特色.本文设计了Notes和关系库间基于ODBC的接口模块,并以DB2为例,给出了建立ODBC数据源的方法,并基于Notes Script中的ODBC类,给出了建立ODBC数据...
- 方盛禅王宇君
- 关键词:NOTES数据库关系数据库数据库接口ODBC
- 一个客户/服务器MIS系统开发中的若干数据库设计问题被引量:5
- 1998年
- 考察了一个实际的信息系统,分析了数据库设计中的需求分析、整体设计、关系表确立等方面出现的问题、并提出解决方案、以使开发人员在数据库设计时避免这些问题,设计一个适用的数据库.
- 胡乃静王宇君朱扬勇
- 关键词:数据库管理信息系统MIS
- 约束与数据库新应用
- 1999年
- 约束提供一种灵活、统一、简洁的方式来表达时空对象的特性,描述对象连续的变化,表示不完整的信息和满足复杂建模的要求。约束数据库克服了现有数据库技术的不足,在众多的领域有广阔的应用前景。但现有工作主要集中在表达能力和复杂性等理论研究上,本文以市政建设应用为例,提出了一个关系数据库的扩充框架,描述了相应的约束演算和约束查询语言,为约束数据库技术在这些领域中的应用打下了基础。
- 方盛禅王宇君施伯乐
- 关键词:约束数据库SQL语言数据库城市建设
- 区间约束数据库语言ISQL
- 2001年
- 描述了区间约束数据库的语法和语义 ,给出了相应的实例和说明 .简要讨论了 ISQL
- 徐贵红陈良刚王宇君
- 关键词:查询语言SQL语言关系数据库嵌套查询
- 基于Internet的地图系统
- 一、约束数据库简介约束数据库是由Kanellakis,Kuper和Revesz在1990年提出的一个理论。它克服了现有数据库技术的不足,在众多的领域有广阔的应用前景。在理论方面,现有的工作主要有表达能力和复杂性、模式设计...
- 王琦王宇君施伯乐
- 关键词:INTERNET约束数据库
- 区间约束数据库查询语言:ISQL被引量:7
- 2000年
- 区间约束数据库可以统一处理空间和非空间数据,它基于关系数据库,增加了对区间约束数据的支持.为了管理区间约束数据,在这个模型基础上,提出了一个区间约束数据库语言ISQL.ISQL完全保留了数据库中非空间数据的SQL查询能力,同时集成了对空间数据的管理.定义了ISQL的语法和语义,它扩充了SQL2的语法和语义,增加了对区间约束数据的查询.通过嵌套查询、并差查询、插入、删除、更新等情形,给出了相应的实例和说明.最后讨论了ISQL语言的封闭性.
- 陈良刚徐贵红王宇君施伯乐
- 关键词:数据库查询约束数据库关系数据库
- 约束数据库:模式设计、代数查询语言及索引
- 王宇君
- 关键词:约束数据库索引
- 约束数据库中的分解与无损连接被引量:1
- 1997年
- 约束数据模型作为一种新的数据库模型正受到广泛关注,为了约束数据库的有效应用,需要研究的设计。为此对密序约束数据中的变量独立函数依赖,模式设计,分解,无损连接规范表示概念给出了严格的定义。给出了计算规范表示的算法,它能保持约束元 组的变量独立,并证明了它的正确性。
- 王宇君田增平
- 关键词:数据库函数依赖数据模型
- 可视能力和软件学习被引量:2
- 1996年
- 本文讨论了可视能力的概念及其在软件学习中的作用和影响。并指出通过改善人机界面和有效的用户培训能充分发挥人的可视能力,帮助用户取得良好的学习效果。
- 王宇君胡美琛
- 关键词:人机系统