Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Propagation of Constraints
Summarised Output
person
corresponds to
person
person
corresponds to
person
person.age
corresponds to
person.age
0
corresponds to
0
130
corresponds to
130
interval#2
corresponds to
interval#3
domain_rule#3
corresponds to
domain_rule#4
Difference in slot
expression.tipe
:
explicit_attribute#290
.tipe
=
simple_type(integer_type)
explicit_attribute#291
.tipe
=
defined_type#36
Difference in slot
named_type.domain_rules
:
entity_type#188
.domain_rules
=
{
domain_rule#3
}
entity_type#189
.domain_rules
=
null
HLC-correspondences:
type_hlc#5
corresponds to
type_hlc#6
non_null#4
corresponds to
non_null#5
domain_rules_hlc#5
corresponds to
domain_rules_hlc#4
Email me