An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
Knowledge systems design
A model for developing large shared knowledge bases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
IEA/AIE '95 Proceedings of the 8th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Verification and validation with ripple-down rules
International Journal of Human-Computer Studies - Special issue: verification and validation
Integrating knowledge base and database
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
ISMIS '96 Proceedings of the 9th International Symposium on Foundations of Intelligent Systems
Understanding Expert Systems Maintenance
DEXA '95 Proceedings of the 6th International Conference on Database and Expert Systems Applications
Maintenance of Knowledge Bases
DDEXA '93 Proceedings of the 4th International Conference on Database and Expert Systems Applications
| Hi-index | 0.00 |
Maintaining the integrity of the knowledge represented within database rules is a complex business. In order to analyse the maintenance of integrity, a uniform framework for the representation of both data and database rules is introduced. A conceptual model is constructed using this uniform framework. The maintenance of the integrity of this conceptual model is analysed. In particular a generalised form of normalisation enables both the data and the database rules to be engineered so that they are maintainable in a technical sense. Database integrity is also protected by a comprehensive range of constraints including knowledge constraints.