Checking Topological Integrity Constraints Imposed on Objects in Real-Time Databases

被引:0
|
作者
Chung Pham Van [1 ]
Phong Vu Thanh [2 ]
机构
[1] Ind Univ HCM City, Fac Informat Technol, Ho Chi Minh Cit, Vietnam
[2] HCM City Univ Informat Technol, Ho Chi Minh Cit, Vietnam
关键词
full-state sequence; topological integrity constraint; transition graph;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Checking integrity constraints in real-time databases is an important field of investigation. This paper investigates the approaches to check topological integrity constraints depending on objects select a different integrity constraint on different times for many existing constraints. The topological integrity constraints are order Hamiltonian paths in directed graphs. Moreover, in a fixed period of time objects must satisfy topological integrity constraints imposed on them. First, it reviews several approaches of some researches. Second, it proposes a procedure to find out the integrity constraints that are installed on a directed graph, it also proposes a check procedure an object satisfies a sequence of integrity constraints in real-time yet? Third, it constructs a method on checking integrity constraints by transition graphs. Finally, it presents the procedures to check integrity constraints, and implements these procedures in real-time school databases.
引用
收藏
页码:17 / 21
页数:5
相关论文
共 50 条
  • [41] Correctness of efficient real-time model checking
    Reif, W
    Schellhorn, G
    Vollmer, T
    Ruf, J
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (02) : 194 - 209
  • [42] MODEL-CHECKING IN DENSE REAL-TIME
    ALUR, R
    COURCOUBETIS, C
    DILL, D
    INFORMATION AND COMPUTATION, 1993, 104 (01) : 2 - 34
  • [43] Compositional Abstraction in Real-Time Model Checking
    Berendsen, Jasper
    Vaandrager, Frits
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 233 - 249
  • [44] Symbolic model checking of real-time systems
    Logothetis, G
    Schneider, K
    EIGHTH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2001, : 214 - 223
  • [45] On expressiveness and complexity in real-time model checking
    Bouyer, Patricia
    Markey, Nicolas
    Ouaknine, Joeal
    Worrell, James
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT 2, PROCEEDINGS, 2008, 5126 : 124 - +
  • [46] Real-time model checking: Algorithms and complexity
    Worrell, James
    TIME 2008: 15TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2008, : 19 - 19
  • [47] Real-time model checking is really simple
    Lamport, L
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, 2005, 3725 : 162 - 175
  • [48] Incremental Methods for Checking Real-Time Consistency
    Jeron, Thierry
    Markey, Nicolas
    Mentre, David
    Noguchi, Reiya
    Sankur, Ocan
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 : 249 - 264
  • [49] Partition refinement in real-time model checking
    Spelberg, RL
    Toetenel, H
    Ammerlaan, M
    FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1998, 1486 : 143 - 157
  • [50] Local model checking for real-time systems
    Sokolsky, OV
    Smolka, SA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 211 - 224