Information Systems
Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Knowledge base management systems: discussions from the working group
Proceedings from the first international workshop on Expert database systems
Integrity constraint checking in deductive databases using the Prolog not-predicate
Data & Knowledge Engineering
Reasoning with worlds and truth maintenance in a knowledge-based programming environment
Communications of the ACM
IEEE Transactions on Software Engineering
DALI-a knowledge base management system
IEA/AIE '88 Proceedings of the 1st international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
High-speed implementations of rule-based systems
ACM Transactions on Computer Systems (TOCS)
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Integration of rules into a knowledge base management systems
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Towards a formal semantics an inference rules for conceptual data models
Data & Knowledge Engineering
Integrity checking for multiple updates
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
Semantics of update operations for an extended entity-relationship model
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Cost and performance analysis of semantic integrity validation methods
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Fast methods for testing quantified relational calculus assertions
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Knowledge-based Integrity Constraint Validation
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Semantic Integrity Dependencies and Delayed Integrity Checking
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Hi-index | 0.00 |
A rule-based approach for the automatic enforcement of consistency constraints is presented. In contrast to existing approaches that compile consistency checks into application programs, the approach centralizes consistency enforcement in a separate module called a knowledge-base management system. Exception handlers for constraint violations are represented as rule entities in the knowledge base. For this purpose, a new form of production rule called the activation pattern controlled rule is introduced: in contrast to classical forward chaining schemes, activation pattern controlled rules are triggered by the intent to apply a specific operation but not necessarily by the result of applying this operation. Techniques for implementing this approach are discussed, and experiments in speeding up the system performance are described. Furthermore, an argument is made for more tolerant consistency enforcement strategies, and how they can be integrated into the rule-based approach to consistency enforcement is discussed.