Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
The DADO production system machine
Journal of Parallel and Distributed Computing
Designing efficient algorithms for parallel computers
Designing efficient algorithms for parallel computers
Artificial intelligence (2nd ed.)
Artificial intelligence (2nd ed.)
Partitioning in parallel processing of production systems
Partitioning in parallel processing of production systems
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Exploiting concurrency in a DBMS implementation for production systems
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
TREAT: a new and efficient match algorithm for AI production systems
TREAT: a new and efficient match algorithm for AI production systems
Parallelism in Production Systems
Parallelism in Production Systems
Principles of Database Systems
Principles of Database Systems
AI and Expert System Myths, Legends, and Facts
IEEE Expert: Intelligent Systems and Their Applications
Join Index, Materialized View, and Hybrid-Hash Join: A Performance Analysis
Proceedings of the Sixth International Conference on Data Engineering
The constraint-based paradigm: the integration of the object-oriented and the rule-based programming paradigms
Index support for rule activation
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Reengineering a complex application using a scalable data structure compiler
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
On isolation, concurrency, and the Venus rule language
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Eliminating redundant barrier synchronizations in rule-based programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
P2: A Lightweight DBMS Generator
Journal of Intelligent Information Systems
On the Reliability of AI Planning Software in Real-Time Applications
IEEE Transactions on Knowledge and Data Engineering
The Design and Implementation of the Ariel Active Database Rule System
IEEE Transactions on Knowledge and Data Engineering
Hyperlog: A Graph-Based System for Database Browsing, Querying, and Update
IEEE Transactions on Knowledge and Data Engineering
R++: Adding Path-Based Rules to C++
IEEE Transactions on Knowledge and Data Engineering
An Expert System Shell for Aerospace Applications
IEEE Expert: Intelligent Systems and Their Applications
Parallel/Distributed Simulation with the COMPOSE Object-Relational Database
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Optimizing Real-Time Equational Rule-Based Systems
IEEE Transactions on Software Engineering
The no inference engine theory - Performing conflict resolution during development
Decision Support Systems
Incremental pattern matching in the viatra model transformation system
Proceedings of the third international workshop on Graph and model transformations
Applying incremental graph transformation to existing models in relational databases
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |
An ensemble of techniques that compile OPS5 production system programs to executable machine code is described and an increase in the execution speed of production system programs by two orders of magnitude over the commonly used list processing (LISP)-based OPS5 system is demonstrated. The computer is based on the TREAT incremental match algorithm. A version of the TREAT algorithm, formulated in relational algebra, is presented. The compiler employs optimization techniques derived from relational database system. The combination of the TREAT algorithm and the compiling techniques reduces the proportion of time spent in the match phase below the 'greater than 90%' figure often cited by developers of other production system environments.