具有扩展功能的逻辑数据库系统

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI:10.1109/CMPSAC.1996.544602

Sang-goo Lee, D.-H. Choi, Sang-Ho Lee

{"title":"具有扩展功能的逻辑数据库系统","authors":"Sang-goo Lee, D.-H. Choi, Sang-Ho Lee","doi":"10.1109/CMPSAC.1996.544602","DOIUrl":null,"url":null,"abstract":"We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: the EDB consists of a set of positive ground formula, not necessarily Horn; the IDB includes rules that are Horn and may have existential quantifiers. The IC includes range restricted Horn clauses with no existential quantification.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A logic database system with extended functionality\",\"authors\":\"Sang-goo Lee, D.-H. Choi, Sang-Ho Lee\",\"doi\":\"10.1109/CMPSAC.1996.544602\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: the EDB consists of a set of positive ground formula, not necessarily Horn; the IDB includes rules that are Horn and may have existential quantifiers. The IC includes range restricted Horn clauses with no existential quantification.\",\"PeriodicalId\":306601,\"journal\":{\"name\":\"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96\",\"volume\":\"83 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1996.544602\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1996.544602","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们介绍了一个逻辑数据库系统的架构和设计细节，该系统以多种方式扩展功能。该系统支持外延数据库(EDB)中的不确定(非角)事实和内延数据库(IDB)规则中的存在量化。语义查询优化集成为查询处理模块的一部分。该系统还处理IDB和完整性约束(IC)的有效规则管理。建议的系统支持以下数据库:EDB由一组正接地公式组成，不一定是Horn;IDB包括Horn规则，可能有存在量词。IC包括范围受限的Horn子句，没有存在量化。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A logic database system with extended functionality

We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non Horn) facts in extensional database (EDB) and existential quantification in intensional database (IDB) rules. Semantic query optimization is integrated as part of the query processing module. The system also deals with efficient rule management for IDB and integrity constraints (IC). The proposed system supports the following database: the EDB consists of a set of positive ground formula, not necessarily Horn; the IDB includes rules that are Horn and may have existential quantifiers. The IC includes range restricted Horn clauses with no existential quantification.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

自引率

0.00%

发文量