Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Mr. Jones's Garden: Simple Solution/Complex Solution 1
Summarised Output
garden
corresponds to
garden
greenhouse
corresponds to
greenhouse
greenhouse_plant
corresponds to
greenhouse_plant
plant
corresponds to
plant
outdoors_plant
corresponds to
outdoors_plant
bed
corresponds to
bed
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 greenhouse_plant
greenhouse.holds_plants
corresponds to
greenhouse.holds_plants
p
corresponds to
p
attribute_qualifier#1
corresponds to
attribute_qualifier#7
attribute_qualifier#2
corresponds to
attribute_qualifier#8
interval#3
corresponds to
interval#7
query_expression#4
corresponds to
query_expression#7
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#12
Difference in slot
entity_type.inverse_attributes
:
entity_type#189
.inverse_attributes
=
null
entity_type#195
.inverse_attributes
=
{
inverse_attribute#28
}
greenhouse_plant
corresponds to
greenhouse_plant
greenhouse_plant.min_temp
corresponds to
greenhouse_plant.min_temp
greenhouse_plant.max_temp
corresponds to
greenhouse_plant.max_temp
max_temp >= min_temp
corresponds to
max_temp >= min_temp
domain_rule#5
corresponds to
domain_rule#11
Difference in slot
entity_type.inverse_attributes
:
entity_type#190
.inverse_attributes
=
null
entity_type#196
.inverse_attributes
=
{
inverse_attribute#27
}
plant
corresponds to
plant
oneof_supertype_expression#26
corresponds to
oneof_supertype_expression#27
red
corresponds to
red
yellow
corresponds to
yellow
white
corresponds to
white
flower_colour
corresponds to
flower_colour
plant.colour
corresponds to
plant.colour
plant_name
corresponds to
plant_name
plant.latin_name
corresponds to
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
plant.english_names
unique_rule#2
corresponds to
unique_rule#5
outdoors_plant
corresponds to
outdoors_plant
0
corresponds to
0
built_in_constant#97
corresponds to
built_in_constant#101
14
corresponds to
14
interval#2
corresponds to
interval#5
domain_rule#3
corresponds to
domain_rule#8
ph
corresponds to
ph
outdoors_plant.min_acidity
corresponds to
outdoors_plant.min_acidity
outdoors_plant.max_acidity
corresponds to
outdoors_plant.max_acidity
max_acidity >= min_acidity
corresponds to
max_acidity >= min_acidity
domain_rule#4
corresponds to
domain_rule#10
Difference in slot
entity_type.inverse_attributes
:
entity_type#192
.inverse_attributes
=
null
entity_type#198
.inverse_attributes
=
{
inverse_attribute#25
}
bed
corresponds to
bed
bed.acidity
corresponds to
bed.acidity
1
corresponds to
1
?
corresponds to
?
SET [1 : ?] OF outdoors_plant
corresponds to
SET [1 : ?] OF outdoors_plant
bed.holds_plants
corresponds to
bed.holds_plants
unique_rule#3
corresponds to
unique_rule#4
p
corresponds to
p
attribute_qualifier#3
corresponds to
attribute_qualifier#5
attribute_qualifier#4
corresponds to
attribute_qualifier#6
interval#4
corresponds to
interval#6
query_expression#5
corresponds to
query_expression#6
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#9
Difference in slot
entity_type.inverse_attributes
:
entity_type#193
.inverse_attributes
=
null
entity_type#199
.inverse_attributes
=
{
inverse_attribute#26
}
Email me