4.3. Instances and classes

DB-Model

Table 4.3. Instance class

ClassIDThis is the ID to manage the instanceclasses in the DB.
NameIs the class name wich is shown in the GUI.
DescriptionIs the description of the class and is shown in the GUI.
SourceIs an boolean flag. It's true, if the class is a source class.


Table 4.4. Instance

InstanceIDThis is an ID to mange the instances in the DB.
NameIs the name of the instance wich is shown in the GUI.
InstanceIs the instancefile (e.g. the textfile).
md5Is the calculated md5-checksum of the saved file.
AtomsIs the number of variables in the instance.
ClausesIs the number of clauses in the instance.
RatioIs the value of atoms / clauses
Clause LengthIs the maximal length of a clause in the instance.
ClassIDIs the ID of the appendent class.


Boundary Conditions