检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]南京航空学院计算机科学与工程系,210016
出 处:《小型微型计算机系统》1993年第4期19-25,共7页Journal of Chinese Computer Systems
基 金:航空航天部科学基金
摘 要:本文讨论了关系代数及SQL语言表示Horn子句规则的能力与方法,指出关系数据库的视图与规则有很强的相似性。Horn子句及完整性约束条件可以表示成视图的形式,SQL具有表示、存储、管理和演绎规则的能力。This paper discusses the capabilities and methods rules of Horn clause are expressed in relational algebra and SQL, and points out that deductive rules have a strong affinity to views in relational databases. We demonstrate that Horn clauses and integrity constrains can be formulated as views, and that SQL has the capabilities of expressing, storing, managing and deducing rules.
分 类 号:TP311.13[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117