INTEGRITY CONSTRAINTS IN LOGIC DATABASES.

被引：19

作者：

Asirelli, Patrizia ^{[1
]}

de Santis, Michele ^{[1
]}

Martelli, Maurizio ^{[1
]}

机构：

[1] CNR, IEI, Pisa, Italy, CNR, IEI, Pisa, Italy

来源：

Journal of Logic Programming | 1985年 / 2卷 / 03期

关键词：

COMPUTER PROGRAMMING - LOGIC DESIGN;

D O I：

10.1016/0743-1066(85)90020-2

中图分类号：

学科分类号：

摘要：

We consider logic databases as logic programs and suggest how to deal with the problem of integrity constraint checking. Two methods for integrity constraint handling are presented. The first one is based on a metalevel consistency proof and is particularly suitable for an existing database which has to be checked for some integrity constraints. The second method is based on a transformation of the logic program which represents the database into a logic program which satisfies the given integrity constraints. The method is specifically suggested for databases that have to be built specifying, separately, which are the deductive rules and the facts and which are the integrity constraints on a specific relation. Different tools providing for the two mechanisms are proposed for a flexible logic database management system.

引用

页码：221 / 232