PPT Slide
Modeling Sources
View descriptions are not enough. Localized closed world (LCW) statements describe what is guaranteed by sources
registrar(C, S) <- class-student(C, S)
gradelisting(C, S, G) <- class-student(C, S)
directory($C, R) <- class-room(C, R)
Previous slide
Next slide
Back to first slide
View graphic version