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 条
  • [21] OBJECTS IN REAL-TIME
    KAGAN, H
    BYTE, 1992, 17 (08): : 187 - 188
  • [22] Tabled resolution plus constraints: A recipe for model checking real-time systems
    Du, XQ
    Ramakrishnan, CR
    Smolka, SA
    21ST IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2000, : 175 - 184
  • [23] Efficient real-time model checking using tabled logic programming and constraints
    Pemmasani, G
    Ramakrishnan, CR
    Ramakrishnan, IV
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 100 - 114
  • [24] Misconceptions about real-time databases
    Stankovic, JA
    Son, SH
    Hansson, J
    COMPUTER, 1999, 32 (06) : 29 - +
  • [25] Real-Time Databases and Data Services
    Krithi Ramamritham
    Sang H. Son
    Lisa Cingiser DiPippo
    Real-Time Systems, 2004, 28 : 179 - 215
  • [26] Mutual consistency in real-time databases
    Jha, Abhay Kumar
    Xiong, Ming
    Ramamritham, Krithi
    27TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2006, : 335 - +
  • [27] STRUCTURAL MODEL OF REAL-TIME DATABASES
    Idoudi, Nizar
    Duvallet, Claude
    Sadeg, Bruno
    Bouaziz, Rafik
    Gargouri, Faiez
    ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 319 - +
  • [28] TEMPORAL AND REAL-TIME DATABASES - A SURVEY
    OZSOYOGLU, G
    SNODGRASS, RT
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (04) : 513 - 532
  • [29] Issues in active real-time databases
    Berndtsson, M
    Hansson, J
    ACTIVE AND REAL-TIME DATABASE SYSTEMS (ARTDB-95), 1996, : 142 - 157
  • [30] Real-time and active databases: A survey
    Eriksson, J
    ACTIVE, REAL-TIME, AND TEMPORAL DATABASE SYSTEMS, PROCEEDINGS, 1998, 1553 : 1 - 23