Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Mr. Jones's Garden flattened up
Summarised Output

• garden corresponds to garden
• greenhouse corresponds to greenhouse
• bed corresponds to bed
• plant corresponds to flattened_up_plant

garden corresponds to garden

• garden.has_greenhouse corresponds to garden.has_greenhouse
• 5 corresponds to 5
• 5 corresponds to 5
• SET [5 : 5] OF bed corresponds to SET [5 : 5] OF bed
• garden.has_beds corresponds to garden.has_beds

greenhouse corresponds to greenhouse

• temperature corresponds to temperature
• greenhouse.temp corresponds to greenhouse.temp
• 1 corresponds to 1
• ? corresponds to ?
• SET [1 : ?] OF greenhouse_plant corresponds to SET [1 : ?] OF flattened_up_plant
• greenhouse.holds_plants corresponds to greenhouse.holds_plants
• p corresponds to p
• attribute_qualifier#1 corresponds to attribute_qualifier#11
• attribute_qualifier#2 corresponds to attribute_qualifier#12
• interval#3 corresponds to interval#6
• query_expression#4 corresponds to query_expression#6
• QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants corresponds to QUERY(p <* holds_plants | {p.min_temp <= temp <= p.max_temp}) = holds_plants
• domain_rule#6 corresponds to domain_rule#13

• domain_rule#14 doesn't correspond to anything in the first model

• bound#8 corresponds to bound#10
• bound#9 corresponds to bound#11
• range#4 corresponds to range#5
• type_hlc#5 corresponds to type_hlc#6
• non_null#4 corresponds to non_null#5
• for_all#3 corresponds to for_all#4

bed corresponds to bed

• 0 corresponds to 0
• built_in_constant#97 corresponds to built_in_constant#102
• 14 corresponds to 14
• interval#2 corresponds to interval#5
• domain_rule#3 corresponds to domain_rule#8
• ph corresponds to ph
• bed.acidity corresponds to bed.acidity
• 1 corresponds to 1
• ? corresponds to ?
• SET [1 : ?] OF outdoors_plant corresponds to SET [1 : ?] OF flattened_up_plant
• bed.holds_plants corresponds to bed.holds_plants
• unique_rule#3 corresponds to unique_rule#5
• p corresponds to p
• attribute_qualifier#3 corresponds to attribute_qualifier#16
• attribute_qualifier#4 corresponds to attribute_qualifier#17
• interval#4 corresponds to interval#7
• query_expression#5 corresponds to query_expression#8
• QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = holds_plants corresponds to QUERY(p <* holds_plants | {p.min_acidity <= acidity <= p.max_acidity}) = holds_plants
• domain_rule#7 corresponds to domain_rule#15
• 1 corresponds to 1
• ? corresponds to ?
• SET [1 : ?] OF outdoors_plant corresponds to SET [1 : ?] OF flattened_up_plant
• bed.holds_plants corresponds to greenhouse.holds_plants
• p corresponds to p
• 1 corresponds to 1
• ? corresponds to ?
• SET [1 : ?] OF greenhouse_plant corresponds to SET [1 : ?] OF flattened_up_plant
• greenhouse.holds_plants corresponds to bed.holds_plants

• domain_rule#16 doesn't correspond to anything in the first model

• type_hlc#7 corresponds to type_hlc#6
• non_null#6 corresponds to non_null#5
• type_hlc#13 corresponds to type_hlc#10
• type_hlc#14 corresponds to type_hlc#11
• type_hlc#8 corresponds to type_hlc#15
• bound#18 corresponds to bound#16
• bound#19 corresponds to bound#17
• range#9 corresponds to range#8
• type_hlc#9 corresponds to type_hlc#16
• non_null#10 corresponds to non_null#8
• non_null#7 corresponds to non_null#11
• domain_rules_hlc#8 corresponds to domain_rules_hlc#5
• domain_rules_hlc#4 corresponds to domain_rules_hlc#9
• bound#12 corresponds to bound#14
• bound#13 corresponds to bound#15
• range#6 corresponds to range#7
• type_hlc#5 corresponds to type_hlc#12
• type_hlc#7 corresponds to type_hlc#12
• non_null#4 corresponds to non_null#9
• non_null#6 corresponds to non_null#9

plant corresponds to flattened_up_plant

• red corresponds to red
• yellow corresponds to yellow
• white corresponds to white
• flower_colour corresponds to flower_colour
• plant.colour corresponds to flattened_up_plant.colour
• plant_name corresponds to plant_name
• plant.latin_name corresponds to flattened_up_plant.latin_name
• 1 corresponds to 1
• ? corresponds to ?
• SET [1 : ?] OF plant_name corresponds to SET [1 : ?] OF plant_name
• plant.english_names corresponds to flattened_up_plant.english_names
• greenhouse_plant.min_temp corresponds to flattened_up_plant.min_temp
• greenhouse_plant.max_temp corresponds to flattened_up_plant.max_temp
• greenhouse_plant corresponds to plant_greenhouse_plant
• outdoors_plant.min_acidity corresponds to flattened_up_plant.min_acidity
• outdoors_plant.max_acidity corresponds to flattened_up_plant.max_acidity
• outdoors_plant corresponds to outdoors_plant_plant
• unique_rule#2 corresponds to unique_rule#4

• flattened_up_plant.instance_of doesn't correspond to anything in the first model
• flattened_up_plant.min_acidity doesn't correspond to anything in the first model
• flattened_up_plant.max_acidity doesn't correspond to anything in the first model
• flattened_up_plant.min_temp doesn't correspond to anything in the first model
• flattened_up_plant.max_temp doesn't correspond to anything in the first model

• Difference in slot named_frame.name:
  • entity_type#191.name = "plant"
  • entity_type#196.name = "flattened_up_plant"
• Difference in slot named_frame.name:
  • entity_type#190.name = "greenhouse_plant"
  • enumeration_symbol#47.name = "plant_greenhouse_plant"
• Difference in slot explicit_attribute.is_optional:
  • explicit_attribute#298.is_optional = false
  • explicit_attribute#312.is_optional = true
• Difference in slot explicit_attribute.is_optional:
  • explicit_attribute#299.is_optional = false
  • explicit_attribute#313.is_optional = true
• Difference in slot entity_type.is_abstract:
  • entity_type#190.is_abstract = false
  • enumeration_symbol#47.is_abstract = null
• Difference in slot entity_type.subtype_of:
  • entity_type#190.subtype_of = {entity_type#191}
  • enumeration_symbol#47.subtype_of = null
• Difference in slot entity_type.explicit_attributes:
  • entity_type#190.explicit_attributes = {explicit_attribute#298, explicit_attribute#299}
  • enumeration_symbol#47.explicit_attributes = null
• Difference in slot named_type.domain_rules:
  • entity_type#190.domain_rules = {domain_rule#5}
  • enumeration_symbol#47.domain_rules = null
• Difference in slot named_frame.name:
  • entity_type#192.name = "outdoors_plant"
  • enumeration_symbol#46.name = "outdoors_plant_plant"
• Difference in slot explicit_attribute.is_optional:
  • explicit_attribute#293.is_optional = false
  • explicit_attribute#310.is_optional = true
• Difference in slot explicit_attribute.is_optional:
  • explicit_attribute#294.is_optional = false
  • explicit_attribute#311.is_optional = true
• Difference in slot entity_type.is_abstract:
  • entity_type#192.is_abstract = false
  • enumeration_symbol#46.is_abstract = null
• Difference in slot entity_type.subtype_of:
  • entity_type#192.subtype_of = {entity_type#191}
  • enumeration_symbol#46.subtype_of = null
• Difference in slot entity_type.explicit_attributes:
  • entity_type#192.explicit_attributes = {explicit_attribute#293, explicit_attribute#294}
  • enumeration_symbol#46.explicit_attributes = null
• Difference in slot named_type.domain_rules:
  • entity_type#192.domain_rules = {domain_rule#4}
  • enumeration_symbol#46.domain_rules = null
• Difference in slot entity_type.is_abstract:
  • entity_type#191.is_abstract = true
  • entity_type#196.is_abstract = false
• Difference in slot entity_type.supertype_of:
  • entity_type#191.supertype_of = oneof_supertype_expression#26
  • entity_type#196.supertype_of = null
• Difference in slot entity_type.derived_attributes:
  • entity_type#191.derived_attributes = null
  • entity_type#196.derived_attributes = {derived_attribute#3}
• Difference in slot named_type.domain_rules:
  • entity_type#191.domain_rules = null
  • entity_type#196.domain_rules = {domain_rule#9, domain_rule#10, domain_rule#11, domain_rule#12}

• type_hlc#17 corresponds to type_hlc#24
• type_hlc#18 corresponds to type_hlc#25
• type_hlc#19 corresponds to type_hlc#26
• type_hlc#20 corresponds to type_hlc#27
• type_hlc#21 corresponds to type_hlc#28
• non_null#12 corresponds to non_null#15
• non_null#13 corresponds to non_null#16
• domain_rules_hlc#12 corresponds to domain_rules_hlc#15
• domain_rules_hlc#12 corresponds to domain_rules_hlc#16
• domain_rules_hlc#12 corresponds to domain_rules_hlc#17
• domain_rules_hlc#12 corresponds to domain_rules_hlc#20
• domain_rules_hlc#12 corresponds to domain_rules_hlc#21
• domain_rules_hlc#13 corresponds to domain_rules_hlc#15
• domain_rules_hlc#13 corresponds to domain_rules_hlc#16
• domain_rules_hlc#13 corresponds to domain_rules_hlc#17
• domain_rules_hlc#13 corresponds to domain_rules_hlc#20
• domain_rules_hlc#13 corresponds to domain_rules_hlc#21
• domain_rules_hlc#14 corresponds to domain_rules_hlc#15
• domain_rules_hlc#14 corresponds to domain_rules_hlc#16
• domain_rules_hlc#14 corresponds to domain_rules_hlc#17
• domain_rules_hlc#14 corresponds to domain_rules_hlc#20
• domain_rules_hlc#14 corresponds to domain_rules_hlc#21
• choice_set#7 corresponds to choice_set#10
• type_hlc#37 corresponds to type_hlc#33
• type_hlc#38 corresponds to type_hlc#34
• type_hlc#39 corresponds to type_hlc#35
• type_hlc#40 corresponds to type_hlc#36
• type_hlc#41 corresponds to type_hlc#29
• type_hlc#42 corresponds to type_hlc#30
• type_hlc#43 corresponds to type_hlc#31
• type_hlc#44 corresponds to type_hlc#32
• choice_set#8 corresponds to choice_set#9
• optional_xor_empty_aggregation#3 corresponds to optional_xor_empty_aggregation#4