RUI: Research in Database Foundations and Logic Programmingat an Undergraduate Institution

RUI：本科院校数据库基础与逻辑编程研究

• 批准号: 8921951
• 负责人: John Grant
• 金额: $ 8.92万
• 依托单位: Towson University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-07-15 至 1992-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8921951&HistoricalAwards=false
• 关键词: RUI; Research; Database; Foundations; Logic

This research is primarily theoretical, building foundations and developing algorithms for various aspects of knowledge base systems. The topics addressed are: view updates, the theory of multidatabases, logic programming with null values, and efficient search of disjunctive databases. The view update problem is concerned with the appropriate translation of the user's request to update a particular view into an update of the underlying relations. Presently known solutions for relational database systems will be extended to knowledge base systems. A multidatabase is a collection of different databases that a user may wish to access simultaneously. A theoretical framework is needed to provide robustness in this complex environment. A null value is a special value that typically stands for unknown or inapplicable data. A new approach to the treatment of null values, using logic programming, is developed. Disjunctive databases allow for the representation of indefinite information. A new algorithm is developed for searching disjunctive databases. The cooperation between Towson State University and a major graduate university, the University of Maryland at College Park, will strengthen the research environment in the Department of Computer and Information Sciences at the former undergraduate institution.

这项研究主要是理论性的，建立基础， 为知识库的各个方面开发算法 系统.讨论的主题是：视图更新， 多数据库，空值逻辑编程，以及 有效搜索析取数据库。视图更新 问题在于如何恰当地翻译 用户请求将特定视图更新为 潜在的关系。目前已知的解决方案， 数据库系统将扩大到知识库系统。一 多数据库是一个不同的数据库的集合， 可以同时访问。一个理论框架是 需要在这种复杂的环境中提供鲁棒性。空 value是一个特殊的值，通常代表未知或 不适用的数据。一种处理null的新方法 值，使用逻辑编程，开发。析取 数据库允许表示不确定的信息。 提出了一种新的析取数据库搜索算法。 陶森州立大学与一个专业的合作 研究生院，马里兰州大学帕克分校， 将加强系内的研究环境 计算机和信息科学在前本科 机构。