A Rule-Based Database Verification System Based on the Integrity Constraints


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 3, No. 1, pp. 77-86, Jan. 1996
10.3745/KIPSTE.1996.3.1.77,   PDF Download:

Abstract

In managing a certain database, the integrity of data is very important. The integrity constraints thus should be considered carefully when a database is designed and, after the database is created, it is required for a database manager to check continuously if some data contained in the database violate the integrity constraints considered. It is however not easy to check the violation of integrity constraints when the size and the complexity of database are increased. This paper suggests a rule-based database verification system to relax the difficulty of checking the integrity violation, in which a database is coupled with a rule-based system including the knowledge about the integrity constraints. The rule-based database verification system suggested accepts the model descriptions of an application domain, generates the knowledge base consisting of rules and facts by analyzing the model description and proceeds the verification process to check the integrity of the database.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
R. M. Chun and P. C. Hyeon, "A Rule-Based Database Verification System Based on the Integrity Constraints," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 3, no. 1, pp. 77-86, 1996. DOI: 10.3745/KIPSTE.1996.3.1.77.

[ACM Style]
Ryoo Myung Chun and Park Chang Hyeon. 1996. A Rule-Based Database Verification System Based on the Integrity Constraints. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 3, 1, (1996), 77-86. DOI: 10.3745/KIPSTE.1996.3.1.77.