Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Dynamic functional dependencies and database aging
Journal of the ACM (JACM)
Triggers and inference in database systems
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
A self-controlling interpreter for the relational production language
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
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
A transaction-based approach to relational database specification
Journal of the ACM (JACM)
Efficiently monitoring relational databases
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
Discrete Event Systems: Models and Applications
Discrete Event Systems: Models and Applications
Behaviour Management in Database Applications
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Hi-index | 0.00 |
Behavior of relational databases is studied within the framework of Relational Discrete Event Systems (RDE-Ses) and Models (RDEMs). Production system and recurrence equation RDEMs are introduced, and their expressive powers are compared. Non-deterministic behavior is defined for both RDEMs and the expressive power of deterministic and non-deterministic production rule programs is also compared. This comparison shows that non-determinism increases expressive power of production systems. A formal concept of a production system interpreter is defined, and several specific interpreters are proposed. One interpreter, called parallel deterministic, is shown to be better than others in many respects, including the conflict resolution module of OPS5.