A rule language compiler for SQL database servers

Abstract 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.

[1]  Michael D. Williams,et al.  A Relational Representation for Knowledge Bases , 1986, Expert Database Conf..

[2]  Eric Simon,et al.  Making deductive databases a practical technology: a step forward , 1990, SIGMOD '90.

[3]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[4]  Michael P. Georgeff,et al.  Procedural Control in Production Systems , 1982, Artif. Intell..

[5]  S. Abiteboul,et al.  Fixpoint extensions of first-order logic and datalog-like languages , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[6]  Yannis E. Ioannidis,et al.  Bermuda - An Architectural Perspective on Interfacing Prolog to a Database Machine , 1988, Expert Database Conf..

[7]  Ravi Krishnamurthy,et al.  Towards on Open Architecture for LDL , 1989, VLDB.

[8]  Michael Stonebraker,et al.  Application of Abstract Data Types and Abstract Indices to CAD Data Bases , 1986, Engineering Design Applications.

[9]  C. J. Date.  A guide to DB2 , 1984 .

[10]  Michael Stonebraker,et al.  A commentary on the POSTGRES rules system , 1989, SGMD.

[11]  Ellis Horowitz,et al.  The design of data type specifications , 1976, ICSE '76.

[12]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[13]  Hongjun Lu,et al.  A data/knowledge base management testbed and experimental results on data/knowledge base query and update processing , 1988, SIGMOD '88.

[14]  Jennifer Widom,et al.  A syntax and semantics for set-oriented production rules in relational database systems , 1989, SGMD.

[15]  Lois M. L. Delcambre,et al.  The Relational Production Language: A Production Language for Relational Databases , 1988, Expert Database Conf..

[16]  Michael Stonebraker,et al.  The POSTGRES Rule Manager , 1988, IEEE Trans. Software Eng..

[17]  Umeshwar Dayal,et al.  The HiPAC project: combining active databases and timing constraints , 1988, SGMD.