Deciding whether a production rule is relational computable
In this paper, we consider the problem of integrating a production rule language, named RDL1, with a relational DBMS. A production rule in RDL1, consists of a condition part which is a relational calculus expression and of an action part which is a sequence of database updates. The main problem addressed in this paper is to determine whether a rule program can be computed as a relational algebra program, i.e., whether the initial semantics of the program is not modified by a set-oriented or relational computation. First, we define the syntax and the semantics of the RDL1 language which is given as the sequence of database states reachable by the computation of the program. We conjecture that deciding if a rule is relational computable is an undecidable problem and then, propose sufficient conditions to decide if a rule is relational computable. We present a general method to check the validity of these conditions. Finally, we propose two algorithms which are derived from the previous method. The first one gave sufficient syntactic conditions for a rule to be relational computable. The second one gave sufficient semantic conditions and leads to check integrity constraints over the database to decide whether a rule is relational computable.
KeywordsProduction Rule Integrity Constraint Relational Schema Relational Computation Database Schema
Unable to display preview. Download preview PDF.
- [Abiteboul87]S. Abiteboul, V. Vianu: "Transaction languages for database update and specification", INRIA Research Report, No 715, 64 pages, Sept. 1987.Google Scholar
- [Apt86]K.R. Apt, H. Blair, A. Walker: "Towards a Declarative Knowledge" IBM Research Report RC 11681, April 1986.Google Scholar
- [Codd71]E.F. Codd: "A Data Base Sublanguage founded on the relational calculus." Proc. of ACM-SIGFIDET, 1971.Google Scholar
- [Chandra80]K.A Chandra, D. Harel: "Computable Queries for Relational Databases", Journal of Computer and Systems Science, 1980.Google Scholar
- [Maindreville87]C. de Maindreville, E. Simon: "A Predicate Transition Net for Evaluating Queries against Rules in a DBMS." INRIA Research Report No 604, Feb 1987. Also Extended abstract in Adavances in Data Bases, Port Camargue, France May 1987.Google Scholar
- [Maindreville88a]C. de Maindreville, E. Simon: "A Production Rule based approach to Deductive Databases." Proc of 4th Int. Conf. on Data Engineering, Los Angeles 1988.Google Scholar
- [Maindreville88b]C. de Maindreville, E. Simon: "Modelling Non Deterministic Queries and Updates in Deductive Databases", Proc. Int. Conf. on VLDB, Los Angeles, 1988.Google Scholar
- [Nicolas82]J.M. Nicolas, R. Demolombe: "On the stability of relational queries", Proc of Int Workshop: Logical bases for Databases, CERT, Toulouse, 1982.Google Scholar
- [Simon87a]E. Simon, P. Valduriez: "Design and Analysis of a Relational Integrity Subsystem." MCC Technical Report DB-O15, 51 pages, Austin, Texas, Jan. 87.Google Scholar
- [Simon87b]E. Simon: "Simplifying integrity constraints by generating differential pre-tests", INRIA Research Report No 742, 54 pages, Nov. 1987.Google Scholar
- [Simon88]E. Simon, C. de Maindreville: "Deciding whether a production rule is relational computable", Research Report INRIA.Google Scholar