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 


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