Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
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
Fundamental properties of deterministic and nondeterministic extensions of Datalog
Selected papers of the workshop on Deductive database theory
Starburst Mid-Flight: As the Dust Clears
IEEE Transactions on Knowledge and Data Engineering
Ode as an Active Database: Constraints and Triggers
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
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
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)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
An annotated bibliography on active databases (short version)
ACM SIGMOD Record
Query evaluation in deductive databases with alternating fixpoint semantics
ACM Transactions on Database Systems (TODS)
Semantics and expressiveness issues in active databases (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Rule based database access control—a practical approach
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Computing Surveys (CSUR)
Journal of Intelligent Information Systems
Termination analysis of active rules modular sets
Proceedings of the tenth international conference on Information and knowledge management
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Response Time Analysis of EQL Real-Time Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
The Starburst Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
A Multiagent Update Process in a Database with Temporal Data Dependencies and Schema Versioning
IEEE Transactions on Knowledge and Data Engineering
Optimization of Rule-Based Systems Using State Space Graphs
IEEE Transactions on Knowledge and Data Engineering
Response Time Analysis of OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software Engineering
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
Unrolling Cycles to Decide Trigger Termination
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Managing Semantic Heterogeneity with Production Rules and Persistent Queues
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
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Database De-Centralization - A Practical Approach
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
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
TriGS Debugger - A Tool for Debugging Active Database Behavior
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Improving Termination Analysis of Active Rules with Composite Events
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
EXACT: an extensible approach to active object-oriented databases
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
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
The convergence of AOP and active databases: towards reactive middleware
Proceedings of the 2nd international conference on Generative programming and component engineering
Modeling of business rules for active database application specification
Advanced topics in database research vol. 1
The Knowledge Engineering Review
On the decidability of the termination problem of active database systems
Theoretical Computer Science
Declarative semantics for active rules
Theory and Practice of Logic Programming
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Event-condition-action rules on RDF metadata in P2P environments
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web dynamics
Model-driven development of context-aware Web applications
ACM Transactions on Internet Technology (TOIT)
A concurrent rule scheduling algorithm for active rules
Data & Knowledge Engineering
Multiple trace composition and its uses
TCLTK '98 Proceedings of the 3rd Annual USENIX Workshop on Tcl/Tk - Volume 3
An approach to grid resource selection and fault management based on ECA rules
Future Generation Computer Systems
Exploiting Interactions among Query Rewrite Rules in the Teradata DBMS
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Records retention in relational database systems
Proceedings of the 17th ACM conference on Information and knowledge management
Epistemic Logic for Rule-Based Agents
Journal of Logic, Language and Information
A tool for minimizing update errors for workflow applications: The CARD model
Computers and Industrial Engineering
Active Grid Information Server for grid computing
The Journal of Supercomputing
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
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 complex event processing over event streams
Proceedings of the VLDB Endowment
Refined rules termination analysis through activation path
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Using UML's sequence diagrams for representing execution models associated to triggers
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
Active rules termination analysis based on activation path and enhanced formula
International Journal of Intelligent Information and Database Systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Data-Fu: a language and an interpreter for interaction with read/write linked data
Proceedings of the 22nd international conference on World Wide Web
Hi-index | 0.00 |
Static analysis methods are given for determining whether arbitrary sets of database production rules are (1) guaranteed to terminate; (2) guaranteed to produce a unique final database state; (3) guaranteed to produce a unique stream of observable actions. When 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; they will form the basis of an interactive development environment for Starburst rule programmers.