The rule language RL/1

  • Sieger van Denneheuvel
  • Peter van Emde Boas


In this paper we introduce and illustrate the rule language RL/1. This language was designed as an intermediate step towards implementing the more extensive rule language RL intended to become a tool for integrating logical and functional programming and constraint solving with relational databases into a relational framework.


Relational Database Logic Programming Return Variable Domain Object Logical Object 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Albano, A., Giannotti, F., Orsini,R., Pedreschi,D., Figure 15: Functional objects in a type hierarchy. The Type System of Galileo, Data Types and Persistence, (Eds. Atkinson, Buneman, Morrison ), Springer-Verlag 1988, 102–119.Google Scholar
  2. [2]
    van Denneheuvel, S. and van Elude Boas, P., Constraint solving for databases, Proc. of NAIC 1, 1988Google Scholar
  3. [3]
    Hansen, M.R., Hansen, B.S., Lucas, P. and van Etude Boas, P., Integrating Relational Databases and Constraint Languages, in Comput. Lang. Vol. 14, No. 2, 63–82, 1989.MATHGoogle Scholar
  4. [4]
    Meertens, L., Draft proposal for the B programming language, MC Series, printed at the Mathematical Center, Amsterdam, 1981Google Scholar
  5. [5]
    Naqvi, S. and Tsur, S., A Logical Language for Data and Knowledge bases, Computer Science Press, 1989.Google Scholar
  6. [6]
    Ullman, J.D., Principles of Data and Knowledge - Base Systems, Volume II: The New Technologies, Computer Science Press, 1989.Google Scholar
  7. [7]
    van Emde Boas, P., RL, a Language for Enhanced Rule Bases Database Processing,Working Document, Rep IBM Research, RJ 4869 (51299)Google Scholar
  8. [8]
    van Etude Boas, P., A semantical model for the integration and modularization of rules, Proceedings MFCS 12, Bratislava, August 1986, Springer Lecture Notes in Computer Science 233 (1986), 78–92CrossRefGoogle Scholar
  9. [9]
    van Emde Boas, II. and van Elude Boas, P., Storing and Evaluating Horn-Clause Rules in a Relational Database, IBM J. Res. Develop. 30 (1), (1986), 80–92Google Scholar

Copyright information

© Springer-Verlag/Wien 1990

Authors and Affiliations

  • Sieger van Denneheuvel
    • 1
  • Peter van Emde Boas
    • 1
  1. 1.Department of Mathematics and Computer ScienceUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations