Communications of the ACM
Efficiently updating materialized views
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Implementing large production systems in a DBMS environment: concepts and algorithms
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
Updating Derived Relations: Detecting Irrelevant and Autonomously Computable Updates
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
A new paradigm for parallel and distributed rule-processing
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
The Organization and Performance of a TREAT-Based Production System Compiler
IEEE Transactions on Knowledge and Data Engineering
Coupling Production Systems and Database Systems: A Homogeneous Approach
IEEE Transactions on Knowledge and Data Engineering
Parallel and Distributed Processing of Rules by Data-Reduction
IEEE Transactions on Knowledge and Data Engineering
Effects of Database Size on Rule System Performance: Five Case Studies
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Maintaining consistency in a stratified production system program
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On the performance of lazy matching in production systems
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
An important aspect of integration of AI and DBMS technology is identifying functional similarities in database processing and reasoning with rules. In this paper, we focus on applying concurrency techniques to rule-based production systems. We tailor DBMS concurrent execution to a production system environment and investigate the resulting concurrent execution strategies for productions. This research is in conjunction with a novel DBMS mechanism for testing if the left hand side conditions of productions are satisfied. This set-oriented mechanism uses a special data structure implemented using relational tables. To demonstrate the equivalence of a serial and a concurrent (interleaved) execution strategy, for a set of productions, we assume a locking scheme to enforce serializability and specify what locks must be obtained. We define a logical commit point for a production. After this point the execution of a production is independent of all other (executing) productions. We compare the number of possible serial and parallel execution schedules.