• 综合性科技类中文核心期刊
    • 中国科技论文统计源期刊
    • 中国科学引文数据库来源期刊
    • 中国学术期刊文摘数据库（核心版）来源期刊
    • 中国学术期刊综合评价数据库来源期刊
Advance Search
CHANG Jin-yi, TAO Shi-qun, DENG Chao. Design and Implementation of a Deductive Database System[J]. Journal of Beijing University of Technology, 2004, 30(4): 505-509. DOI: 10.3969/j.issn.0254-0037.2004.04.025
Citation: CHANG Jin-yi, TAO Shi-qun, DENG Chao. Design and Implementation of a Deductive Database System[J]. Journal of Beijing University of Technology, 2004, 30(4): 505-509. DOI: 10.3969/j.issn.0254-0037.2004.04.025
shu

Design and Implementation of a Deductive Database System

  • 1. Department of Computer Science and Engineering, Changshu Institute of Technology, Changshu, Jiangsu 215500, Cllina;

  • 2. Department of Computer Science, Shanxi University, Taiyuan 030006, China

More Information
  • Received Date: July 01, 2003
  • Available Online: November 11, 2022
    Graphical Abstract
    • Abstract
  • In order to construct high-powered deductive database system, the authors present a design scheme to construct a deductive database system based on SQL server relationship database and adding a rule process layer on it. The system is composed of language analysis unit, rule management, agreement maintenance unit and recursion query reasoning machine, etc. Whether the design thought of rule maintenance unit, the algorithm of maintaining integrity and some resolution schemes to the key problems, or the design principle of reasoning machine which can realize recursion query, the algorithm of recursion query and its optimization technology during its realization are all discussed detailedly. Rule reasoning can deduce unknown information from known fact. Integrity maintenance is used to express all kinds of restriction relationship between rules so that in coordinated or in compatible information can be avoided. The reasoning module can implement deductive reasoning function correctly. Particularly it is effective to realize linear recursion query.
    • FullText(HTML)
    • References (0)
    • Related Articles

  • Related Articles

    [1]YANG Chunlan, ZHANG Yining, LI Zhimei, REN Jiechuan. White Matter Integrity in Temporal Lobe Epilepsy Patients Based on Diffusion Tensor Imaging[J]. Journal of Beijing University of Technology, 2022, 48(1): 85-94. DOI: 10.11936/bjutxb2020110027
    [2]XUE Tonglai, TONG Sujuan, ZHANG Weitang, TIAN Caiyun, MENG Qingyi, HOU Da, QIU Yanzhao. Effect of Aquatic Communities’ Integrity on Water Environment[J]. Journal of Beijing University of Technology, 2016, 42(10): 1540-1546. DOI: 10.11936/bjutxb2015110082
    [3]SHEN Ying, SHEN Chang-xiang. BLP Integrity Expansion Model on Lattice[J]. Journal of Beijing University of Technology, 2013, 39(3): 402-406. DOI: 10.3969/j.issn.0254-0037.2013.03.013
    [4]FANG Li-ying, YAN Jian-zhuo, WANG Pu, LIU Yu-hui. Data Integration Oriented Automatic Semantic Translation Based on Rules[J]. Journal of Beijing University of Technology, 2008, 34(3): 251-257. DOI: 10.3969/j.issn.0254-0037.2008.03.006
    [5]FANG Li-ying, WANG Pu, YAN Jian-zhuo. A Query Process Plan of Semantic Discrepancy Oriented Information Integration System[J]. Journal of Beijing University of Technology, 2007, 33(8): 819-822. DOI: 10.3969/j.issn.0254-0037.2007.08.007
    [6]CUI Ling-li, GAO Li-xin, ZHANG Jian-yu, XIAO Zhi-quan. Integrated Structure and Control Design for Flexible Manipulator System[J]. Journal of Beijing University of Technology, 2007, 33(8): 791-795. DOI: 10.3969/j.issn.0254-0037.2007.08.002
    [7]LI Ai-min. The Canonical Sysmmetry Properties of Holonomic Constrained Generalized Mechanical System[J]. Journal of Beijing University of Technology, 2005, 31(z1): 103-107,111. DOI: 10.3969/j.issn.0254-0037.2005.z1.023
    [8]LIN Tong, SHU Zhen-cai. Web Services Based Integration of Remote Heterogeneous Databases[J]. Journal of Beijing University of Technology, 2005, 31(2): 210-213. DOI: 10.3969/j.issn.0254-0037.2005.02.021
    [9]ZHANG Shu-jie, YU Xue-jun, YAN Jian-zhuo, YU Hua. Study on the System Integrating Testing of Component Software[J]. Journal of Beijing University of Technology, 2004, 30(2): 224-226. DOI: 10.3969/j.issn.0254-0037.2004.02.021
    [10]Li Ziping. Canonical Symmetries in Functional Integral Expression for Field Theories[J]. Journal of Beijing University of Technology, 1993, 19(4): 1-11.

Catalog

    Get Citation
    XML
    Article views (17) PDF downloads (1) Cited by()
    Turn off MathJax
    Article Contents
    Abstract
    Related Articles

    Copyright © Editorial Department of Journal of Beijing University of Technology京公安备11019343018-20001

    Address：No.100 Pingleyuan, Chaoyang District, Beijing 100124,ChinaE-mail：xuebao_bjut@vip.163.com

    Supported by: Beijing Renhe Information Technology Co., Ltd.  Baidu Analytics

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return