Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Gender by Enumeration or Subtypes

First Model

SCHEMA test;
  ENTITY person;
    name : STRING;
    age : INTEGER;
    gender : gender_type;
  END_ENTITY;

  TYPE gender_type = ENUMERATION OF (man, woman);
  END_TYPE;
END_SCHEMA;

Second Model

SCHEMA test;
  ENTITY person ABSTRACT SUPERTYPE OF (ONEOF (man, woman));
    name : STRING;
    age : INTEGER;
  END_ENTITY;

  ENTITY man SUBTYPE OF (person);
  END_ENTITY;

  ENTITY woman SUBTYPE OF (person);
  END_ENTITY;
END_SCHEMA;

Experimental Results

Output (Mode E)

• CCUS output (execution trace)
• Summarised CCUS output

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

• model_frame
• schema_frame
• entity_type
• oneof_supertype_expression
• explicit_attribute
• defined_type
• enumeration_symbol
• correspondence

• choice_set
• non_null
• type_hlc
• domain_rules_hlc