M Liu, M Guo - International Conference on Conceptual Modeling, 1998 - Springer
ROL is a strongly typed deductive object-oriented database language. It integrates many
important features of deductive databases and object-oriented databases. However, it is …