Anchor Modeler is a database modeling tool for creating database models that handles temporalization using the sixth normal form.