Enforcement of integrity constraints by means of minimal sufficient changes

被引：0
|
作者：
Dekhtyar, MI
Dikovsky, AY
Spyratos, N
机构：
[1] Tver State Univ, Dept Comp Sci, Tver 170013, Russia
[2] MV Keldysh Appl Math Inst, Moscow 125047, Russia
[3] Univ Paris 11, LRI, CNRS, URA 410, F-91405 Orsay, France
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 1998年 / 24卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Enforced Update Problem we investigate in this paper is as follows: given a theory T that formalizes integrity constraints and an external update Delta that specifies the data to be added and the data to be deleted, one should introduce minimal changes in the given initial database state I sufficient to accomplish Delta and to restore T if the constraints were violated. We give an axiomatic description of solutions of this problem and describe a resolving algorithm.
引用
收藏
页码：63 / 70
页数：8
相关论文
共 50 条
  • [21] Dynamic enforcement of the Strict integrity policy
    Zhang, XF
    Liang, HL
    Sun, YF
    [J]. CHINESE JOURNAL OF ELECTRONICS, 2005, 14 (01) : 49 - 53
  • [22] Diversified FRAND Enforcement and TRIPS Integrity
    Guan, Wenwei
    [J]. WORLD TRADE REVIEW, 2018, 17 (01) : 91 - 120
  • [23] LIBOR INTEGRITY AND HOLISTIC DOMESTIC ENFORCEMENT
    Yu, Milson C.
    [J]. CORNELL LAW REVIEW, 2013, 98 (05) : 1271 - 1317
  • [24] EXISTENCE OF A MINIMAL SUFFICIENT SUBFIELD
    HASEGAWA, M
    PERLMAN, MD
    [J]. ANNALS OF STATISTICS, 1974, 2 (05): : 1049 - 1055
  • [25] ON THE MINIMAL DIMENSION OF SUFFICIENT STATISTICS
    BUTUROVIC, LJ
    [J]. IEEE TRANSACTIONS ON INFORMATION THEORY, 1992, 38 (01) : 182 - 186
  • [26] Integrity constraints for XML
    Fan, WF
    Siméon, J
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2003, 66 (01) : 254 - 291
  • [27] Integrity Constraints in OWL
    Tao, Jiao
    Sirin, Evren
    Bao, Jie
    McGuinness, Deborah L.
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1443 - 1448
  • [28] Managing Risks by Integrity Constraints and Integrity Checking
    Decker, Hendrik
    [J]. SOFTWARE AND DATA TECHNOLOGIES, 2011, 50 : 233 - 246
  • [29] CONSTRUCTION OF MINIMAL SUFFICIENT OR PAIRWISE SUFFICIENT SIGMA-FIELD
    GONDOCS, F
    MICHALETZKY, G
    [J]. ACTA MATHEMATICA HUNGARICA, 1985, 45 (1-2) : 201 - 212
  • [30] REDUCTION OF DISSIPATION IN A THERMAL ENGINE BY MEANS OF PERIODIC CHANGES OF EXTERNAL CONSTRAINTS
    ESCHER, C
    ROSS, J
    [J]. JOURNAL OF CHEMICAL PHYSICS, 1985, 82 (05): : 2453 - 2456
12345