This project specifies a set of normalized schema tables for JPL's Ontological Modeling Language. By normalize schema tables, we mean precisely a 4th Normal Form database schema. This schema is ...

We explain the arguments of install-not-normalized below, but first let us illustrate its use with an example. (DEFTHM FOO$NOT-NORMALIZED (EQUAL (FOO X) (RETURN-NIL X ...