The rule language RL/1
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.
KeywordsRelational Database Logic Programming Return Variable Domain Object Logical Object
Unable to display preview. Download preview PDF.
- 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
- van Denneheuvel, S. and van Elude Boas, P., Constraint solving for databases, Proc. of NAIC 1, 1988Google Scholar
- Meertens, L., Draft proposal for the B programming language, MC Series, printed at the Mathematical Center, Amsterdam, 1981Google Scholar
- Naqvi, S. and Tsur, S., A Logical Language for Data and Knowledge bases, Computer Science Press, 1989.Google Scholar
- Ullman, J.D., Principles of Data and Knowledge - Base Systems, Volume II: The New Technologies, Computer Science Press, 1989.Google Scholar
- van Emde Boas, P., RL, a Language for Enhanced Rule Bases Database Processing,Working Document, Rep IBM Research, RJ 4869 (51299)Google Scholar
- 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