Andrew Broad's Website
Computer Science
PhD Project
Experimental Results
Semantic Equivalence
Summarised Output
person
corresponds to
person
person
corresponds to
person
person.name
corresponds to
person.name
person.age
corresponds to
person.age
0
corresponds to
0
age >= 0
corresponds to
0 <= age
domain_rule#3
corresponds to
domain_rule#4
Email me