Example Model: The Employee Model

 

The Employee model can be found in the directory $CB_HOME/examples/QUERIES/. It consists out of the following files:

Employee_Classes.sml:

The class definition

Employee_Instances.sml:

Some instances for this model

Employee_Queries.sml:

Queries for this model

Note, that the files must be loaded in this order into the server.