姚卿达
- 作品数：37 被引量：145H指数：8
- 供职机构：中山大学信息科学与技术学院更多>>
- 发文基金：国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学社会学经济管理更多>>
- 面向对象程序设计语言EIFFEL的程序正确性验证工具被引量：1
- 1994年
- 本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。
- 姚卿达唐长宁董慧红
- 关键词：程序语言程序设计EIFFEL语言
- 线性逻辑式程序设计:理论与应用
- 1997年
- 线性逻辑作为一种动作逻辑,有很强的表达能力和很好的可构造性,线性逻辑式程序设计语言为表达操作语义、并发规范等提供了新的工具和框架,Girard对线性逻辑所作的“定义”概念的扩充对状态变迁系统中模拟和双模拟提供了证明论框架,本文综述了这方面的成果。
- 倪德明姚卿达
- 关键词：证明论线性逻辑程序设计
- 数据模型的智能化扩充研究──面向对象的知识数据库模型被引量：6
- 1994年
- 数据模型的智能化扩充旨在从数据模型着手，提高数据库系统的性能与功能，使其可存贮和处理复杂对象和知识，增强结构和行为的建模能力、语义构造能力，能演绎推理．本文承接此思路，基于面向对象方法，吸收语义数据模型和人工智能中的演绎推理机制，提出一个面向对象的知识数据库模型．讨论其基本概念与性质、查询语言、与传统模型的比较和实验系统ＯＣＥＡＮＳ的体系结构及实现方案．
- 姚卿达董祖明
- 关键词：数据库面向对象知识数据库
- Web信息存储的解决方案被引量：9
- 2000年
- ＸＭＬ的出现为 Ｉｎｔｅｒｎｅｔ上数据存储和数据交换提供很大发展空间。围绕ＸＭＬ在数据库 存储方案的讨论是当今的热门话题。本文主要论述ＸＭＬ协议，比较ＸＭＬ数据与半结构 化数据的相似性。在此基础上，提出两种可能的ＸＭＬ数据库存储方案，并分析优劣。
- 陈宁琳姚卿达
- 关键词：信息存储WEBINTERNET网数据库
- 基于XML的Web信息存储解决方案被引量：12
- 2000年
- 基于Internet数据的大量涌现,而且Internet上的数据不是一种规则的、有结构的数据。这种数据被称为半结构化数据。半结构化数据可能有以下特征: ·数据是不规则的,不符合严格的模式。半结构化数据是传统的数据库难以管理的。在关系模式中,处理非规则数据的方式是用空值代替。在面向对象数据库系统中,虽然复合类型、继承机制提供更多的灵活性,但设计出合适的面向对象模式来容纳非规则数据仍然是困难的;
- 姚卿达陈宁琳
- 关键词：信息存储WEBXML关系数据库
- 数据模型的智能化扩充研究
- 1989年
- 本文就如何在关系数据模型中,引入人工智能、知识工程的成果提出了看法。工作目标是提高关系模型的概念抽象能力及引进演绎推理机制,文中给出了智能化数据库的一种体系结构以及关系模型智能化扩充的一种方法。
- 姚卿达纪岳
- 关键词：关系数据模型人工智能知识工程
- 对象式程序的正确性验证方法研究
- 1996年
- 介绍当今流行的各种程序正确性验证方法的基础上，讨论了在面向对象程序设计的正确性验证中所遇到的特殊问题，提出了类级正确性和系统级正确性的概念，将公理证明方法加以扩充，使之可以用于面向对象程序系统的证明，并用特征调用的概念解决了证明中出现的计算过程中止性的问题．
- 姚卿达唐长宁黄璇
- 关键词：程序设计面向对象
- 数据库管理系统LNE-DBMS的设计与实现
- 1997年
- ＬＮＥＤＢＭＳ是我们自己设计和实现的一个数据库管理系统，它采用了客户／服务器计算模型，多线程结构等不少先进的设计思想，以及简明有效的实现方案，整个系统独具特色。
- 姚卿达蔡王君
- 关键词：数据库管理系统多线程结构
- KDD中数据预处理的研究
- 库中知识发现(Knowledge Discovery in Databases,KDD)是一个很有应用价值的课题.它融合了统计、数据库、机器学习等多个领域的理论和技术.本文介绍了KDD的产生背景、过程和有关技术,并结合一...
- 姚卿达张俊欣
- 关键词：数据采掘数据预处理数据库知识发现
- DBMS的ODBC Driver开发方法与实现
- 1997年
- 本文首先探讨了开发ＯＤＢＣＤｒｉｖｅｒ和ＯＤＢＣＡＰＩ的一种方法，然后，结合自己的开发实践，论述了如何利用Ｆｏｘｐｒｏ的库结构工具箱（ＬＣＫ）来开发自己的ＯＤＢＣＤｒｉｖｅｒ。
- 姚卿达屈定春
- 关键词：ODBCFOXPRODBMS数据库
