 Within a SCHEMA various datatypes can be defined together with structural constraints and algorithmic rules.A main feature of EXPRESS is the possibility to formally validate a population of datatypes - this is to check for all the structural and algorithmic rules.EXPRESS-G is a standard graphical notation for information models.