Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
A framework for testing safety and effective computability of extended datalog
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Safety of datalog queries over infinite databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
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
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Behavior of database production rules: termination, confluence, and observable determinism
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A new perspective on rule support for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Modern database systems
Starburst Mid-Flight: As the Dust Clears
IEEE Transactions on Knowledge and Data Engineering
On Maintaining Priorities in a Production Rule System
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing Set-Oriented Production Rules as an Extension to Starburst
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Implementing High Level Active Rules on Top of a Relational DBMS
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A practical approach to static analysis and execution of rules in active databases
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Journal of Intelligent Information Systems
Abstract Interpretation for Termination Analysis in Functional Active Databases
Journal of Intelligent Information Systems - Special issue on functional approach to intelligent information systems
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
The JEDI Event-Based Infrastructure and Its Application to the Development of the OPSS WFMS
IEEE Transactions on Software Engineering
Design issues for general-purpose adaptive hypermedia systems
Proceedings of the 12th ACM conference on Hypertext and Hypermedia
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
Analysis and optimization of active databases
Data & Knowledge Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
Sufficient Conditions for Well-Behaved Adaptive Hypermedia Systems
WI '01 Proceedings of the First Asia-Pacific Conference on Web Intelligence: Research and Development
Detecting Termination of Active Database Rules Using Symbolic Model Checking
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Metrics for Active Database Maintainability
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
A Dynamic Approach to Termination Analysis for Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Extending SMART2 to Predict the Behaviour of PL/SQL Applications
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
An Abstract Interpretation Framework for Termination Analysis of Active Rules
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Analysis of Active Database Rules Behavior Using Rewriting Logic
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Active rules for XML: A new paradigm for E-services
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
Refined rules termination analysis through transactions
Information Systems
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
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
Transformation and reaction rules for data on the web
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Event-condition-action rules on RDF metadata in P2P environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
An adaptive active rule system for automatic service discovery and cooperation
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Event trace independence of active behavior
Information Processing Letters
A concurrent rule scheduling algorithm for active rules
Data & Knowledge Engineering
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Seamless formal verification of complex event processing applications
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
REX, the rule and event eXplorer
Proceedings of the 2007 inaugural international conference on Distributed event-based systems
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
An Adaptation Approach: Query Enrichment by User Profile
Advanced Internet Based Systems and Applications
Active Grid Information Server for grid computing
The Journal of Supercomputing
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Event Trace Independence of active behavior
Information Processing Letters
Analyzing the behavior of event processing applications
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Performance modelling of Event-Condition-Action rules in P2P networks
Journal of Computer and System Sciences
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
DBToaster: higher-order delta processing for dynamic, frequently fresh views
Proceedings of the VLDB Endowment
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Information Sciences: an International Journal
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
Hi-index | 0.00 |
This article gives methods for statically analyzing sets of active database rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique final database state, and (3) guaranteed to produce a unique stream of observable actions. If the analysis determines that one of these properties is not guaranteed, it isolates the rules responsible for the problem and determines criteria that, if satisfied, guarantee the property. The analysis methods are presented in the context of the Starburst Rule System.