Schema Decoration

Issue

?Library

c? : Copy; r? : Reader

c? ? shelved; r? ? readers

#(issued ? {r?}) < maxloans

issued' = issued ? {c? r?}

stock' = stock; readers' = readers

Previous slide

Next slide

Back to first slide

View graphic version