LEGOL

LEGOL 2.0: A relational specification language for complex rules LEGOL is a language for writing rules such as those which might appear in legislation or system specifications, in such a way that they can be interpreted automatically and tested to discover whether they will have the desired effect. In particular it is intended for database applications where the correct handling of time is an important issue. The following paper describes a subset of the syntax of this language and makes some comparisons with other relational formalisms.