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 条
  • [31] OPERATIONAL FORECASTING WITH REAL-TIME DATABASES
    BAE, DH
    GEORGAKAKOS, KP
    NANDA, SK
    JOURNAL OF HYDRAULIC ENGINEERING-ASCE, 1995, 121 (01): : 49 - 60
  • [32] Real-time databases and data services
    Ramamritham, K
    Son, SH
    DiPippo, LC
    REAL-TIME SYSTEMS, 2004, 28 (2-3) : 179 - 215
  • [33] Real-time constraints with the OCL
    Flake, S
    ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 425 - 426
  • [34] On Using Real-Time Static Locking Protocols for Distributed Real-Time Databases
    Kam-Yiu Lam
    Sheung-Lun Hung
    Sang H. Son
    Real-Time Systems, 1997, 13 : 141 - 166
  • [35] On using real-time static locking protocols for distributed real-time databases
    Lam, KY
    Hung, SL
    Son, SH
    REAL-TIME SYSTEMS, 1997, 13 (02) : 141 - 166
  • [36] Recovery schemes based on real-time logs for embedded real-time databases
    Liao, Guo-Qiong
    Liu, Yun-Sheng
    Jisuanji Xuebao/Chinese Journal of Computers, 2007, 30 (04): : 672 - 679
  • [37] Preface to the Special Section on real-time programming and active and real-time databases
    Halang, WA
    Frigeri, AH
    Son, SH
    CONTROL ENGINEERING PRACTICE, 2000, 8 (06) : 673 - 674
  • [38] High integrity real-time software
    Allerton, D. J.
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART G-JOURNAL OF AEROSPACE ENGINEERING, 2007, 221 (G1) : 145 - 161
  • [39] Data Integrity in Real-time Datawarehousing
    Lebdaoui, Imane
    Orhanou, Ghizlane
    El Hajji, Said
    WORLD CONGRESS ON ENGINEERING - WCE 2013, VOL III, 2013, : 1516 - 1519
  • [40] Compositional Model Checking for Real-Time Systems
    Hou, J.
    Li, X.
    Fan, X.
    Zheng, G.
    Software Engineering Notes, 23 (01):