DB-Model
Table 4.3. Instance class
ClassID | This is the ID to manage the instanceclasses in the DB. |
Name | Is the class name wich is shown in the GUI. |
Description | Is the description of the class and is shown in the GUI. |
Source | Is an boolean flag. It's true, if the class is a source class. |
Table 4.4. Instance
InstanceID | This is an ID to mange the instances in the DB. |
Name | Is the name of the instance wich is shown in the GUI. |
Instance | Is the instancefile (e.g. the textfile). |
md5 | Is the calculated md5-checksum of the saved file. |
Atoms | Is the number of variables in the instance. |
Clauses | Is the number of clauses in the instance. |
Ratio | Is the value of atoms / clauses |
Clause Length | Is the maximal length of a clause in the instance. |
ClassID | Is the ID of the appendent class. |
Boundary Conditions
Every instance belong to exact one source class.
It's not possible to save a instance twice because the md5-checksum is unique.
The value of the atoms, clauses and ratio will be set automaticly if you add the instace (a parser calculate them).
An Instance can belong to many userclasses.