Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Logic programming and databases
Logic programming and databases
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Object-oriented modeling and design
Object-oriented modeling and design
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Deriving incremental production rules for deductive data
Information Systems
Oracle's symmetric replication technology and implications for application design
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Termination analysis of OPS5 expert systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
Informix guide to SQL
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Design of Active Rule Applications: Issues and Approaches
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
ACM Computing Surveys (CSUR)
A case study of Venus and a declarative basis for rule modules
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
Improving the Refined Triggering Graph Method for Active Rules Termination Analysis
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Active rules for XML: A new paradigm for E-services
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Integrity constraints in an active database environment
Database integrity
Using business rules within a design process of active databases
Data warehousing and web engineering
Active rules and active databases: concepts and applications
Effective databases for text & document management
Modeling of business rules for active database application specification
Advanced topics in database research vol. 1
The Knowledge Engineering Review
A stratified approach for supporting high throughput event processing applications
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
The cause-effect rules of ROSES
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Business rules management in healthcare: A lifecycle approach
Decision Support Systems
Hi-index | 0.00 |
Active database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded in application programs can be abstracted and assigned to active rules. This trend is sometimes called “knowledge independence” a nice consequence of achieving full knowledge independence is that data management policies can then effectively evolve just by modifying rules instead of application programs. Active rules, however, may be quite complex to understand and manage: rules react to arbitrary event sequences, they trigger each other, and sometimes the outcome of rule processing may depend on the order in which events occur or rules are scheduled. Although reasoning on a large collection of rules is very difficult, the task becomes more manageable when the rules are few. Therefore, we are convinced that modularization, similar to what happens in any software development process, is the key principle for designing active rules; however, this important notion has not been addressed so far. This article introduces a modularization technique for active rules called stratification; it presents a theory of stratification and indicates how stratification can be practically applied. The emphasis of this article is on providing a solution to a very concrete and practical problem; therefore, our approach is illustrated by several examples.