Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
IEEE Transactions on Software Engineering
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Situation monitoring for active databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Organizing long-running activities with triggers and transactions
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Set-oriented constructs: from Rete rule bases to database systems
SIGMOD '91 Proceedings of the 1991 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
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)
Termination analysis of OPS5 expert systems
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SQL: 1999, formerly known as SQL3
ACM SIGMOD Record
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
Journal of the ACM (JACM)
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
An Improved Algorithm for the Incremental Recomputation of Active Relational Expressions
IEEE Transactions on Knowledge and Data Engineering
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
A Path Removing Technique for Detecting Trigger Termination
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Run-time Detection of Non-Terminating Active Rule Systems
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Deriving Production Rules for Incremental View Maintenance
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
Queries Independent of Updates
VLDB '93 Proceedings of the 19th 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
Using Delta Relations to Optimize Condition Evaluation in Active Databases
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
Using the Properties of Datalog to Prove Termination and Confluence in Active Databases
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
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
Proceedings of the thirteenth ACM conference on Hypertext and hypermedia
Effect Preservation as a Means for Achieving Update Consistency
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
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
AH '02 Proceedings of the Second International Conference on Adaptive Hypermedia and Adaptive Web-Based Systems
Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Integrity constraints in an active database environment
Database integrity
Refined rules termination analysis through transactions
Information Systems
Towards effect preservation of updates with loops
Integrity and internal control in information systems V
Active rules and active databases: concepts and applications
Effective databases for text & document management
The convergence of AOP and active databases: towards reactive middleware
Proceedings of the 2nd international conference on Generative programming and component engineering
Management of business process constraints using BPTrigger
Computers in Industry
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
An approach to grid resource selection and fault management based on ECA rules
Future Generation Computer Systems
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Events and streams: harnessing and unleashing their synergy!
Proceedings of the second international conference on Distributed event-based systems
Journal of Systems and Software
Active Grid Information Server for grid computing
The Journal of Supercomputing
Management of composite event for active database rule scheduling
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
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
Termination analysis of active rules - a Petri net based approach
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Active rules termination analysis through conditional formula containing updatable variable
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Active database systems for monitoring and surveillance
ISI'03 Proceedings of the 1st NSF/NIJ conference on Intelligence and security informatics
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
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Fuzzy colored time Petri net and termination analysis for fuzzy Event-Condition-Action rules
Information Sciences: an International Journal
Modeling and verifying DML triggers using event-B
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part II
Implementing Business Processes: A Database Trigger Approach
International Journal of Knowledge-Based Organizations
| Hi-index | 0.00 |
Rules in active database systems can be very difficult to program due to the unstructured and unpredictable nature of rule processing. We provide static analysis techniques for predicting whether a given rule set is guaranteed to terminate and whether rule execution is confluent (guaranteed to have a unique final state). Our methods are based on previous techniques for analyzing rules in active database systems. We improve considerably on the previous techniques by providing analysis criteria that are much less conservative: our methods often determine that a rule set will terminate or is confluent when previous methods could not make this determination. Our improved analysis is based on a “propagation” algorithm, which uses an extended relational algebra to accurately determine when the action of one rule can affect the condition of another, and determine when rule actions commute. We consider both conditon-action rules and event-condition-action-rules, making our approach widely applicable to relational active database rule languages and to the trigger language in the SQL:1999 standard.