Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Mandatory Attribute/EXISTS

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : OPTIONAL INTEGER;
  WHERE
    EXISTS(age);
  END_ENTITY;
END_SCHEMA;

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : INTEGER;
  END_ENTITY;
END_SCHEMA;

Mode	E	-T	-U	-S	-H	-R	M	X
HLCs extracted from first model	2	2	2	2	0	2	2	5
HLCs extracted from second model	2	2	2	2	0	2	2	5
Comparisons	27	27	27	27	21	25	27	47
HLC-comparisons	2	2	2	2	0	1	2	12
Correspondences	7	7	7	7	5	6	7	9
HLC-correspondences	2	2	2	2	0	1	2	4
Differences	2	2	2	2	2	2	2	7
Number of FC-thesaurus lookups	0	0	0	0	0	0	0	0
Number of name-thesaurus lookups	0	0	0	0	0	0	0	4

The frames generated by the CCUS (and output as HTML-ised FIL files) follow - a file for each frame-class:

HLCs: