Approximate Schema: Our Solution

• Typing program

  • monadic datalog based on typed links

• Defect

  • measure the fit of program and data

• Construction algorithm

Previous slide

Next slide

Back to first slide

View graphic version