A rule language compiler for SQL database servers

摘要

This paper presents the design and the implementation of a rule language compiler for databases. The RDL/C language supports both declarative programming based on a production rule language and C-based procedural programming. The language supports domain variables which can appear in rules. These variables are monitored by the inference engine and included in the semantics of rule firing. A partial ordering among rules is available to the user. The RDL/C compiler translates RDL/C source code into C code with embedded SQL statements. Its implementation is compared to fully integrated deductive databases and to loosely coupled systems. The contribution of the paper is to show how the rule based paradigm for database can be used as a framework for a general purpose database application generator.