Changes

The name index contains all element and attribute names of a database, and the fixed-size index ids are stored in the main database table. If a database is updated, new names are automatically added. The Additionally, the index is further enriched with statistical information, which will get out-such as the distinct (categorical) or minimum and maximum values of-dated its elements and attributes. The maximum number of categories to store per name can be changed via [[Options#MAXCATS|MAXCATS]]. Currently, statistics are discarded after new database updates.

The name index is e.g. applied to pre-evaluate location steps that will never yield results: