Schema Inclusion

LibDB

stock : Copy Book

readers: F Reader

LibLoans

issued : Copy Reader

shelved : F Copy

?r : Reader • #(issued ? {r}) maxloans

shelved ? dom issued = Ø

Previous slide

Next slide

Back to first slide

View graphic version