書架データスキーマ 次に,書架データスキーマ(LibraryShelves)を定義する. 書架という名前は難しい.貸出可能な本が,書架にあることは期待して良いかもしれない.しかし,貸出中の本は書架にはない.その部分は,書 […]
-
Pages
-
Categories
-
Archives
書架データスキーマ 次に,書架データスキーマ(LibraryShelves)を定義する. 書架という名前は難しい.貸出可能な本が,書架にあることは期待して良いかもしれない.しかし,貸出中の本は書架にはない.その部分は,書 […]
図書館登場人物データスキーマ 次のデータスキーマは単純である.図書館システムに関係する登場人物(LibraryAgents)を定義しているデータスキーマである. 図書館利用者(OrdinaryPatron)は,人(Per […]
ここからしばらくは,仕様記述言語Zについてである.この言語は,ISOで定義されている ここでの例題は,図書館管理システムである(定番とも云える). 最初に,無条件に使える集合を宣言しておく. [Book, BookCop […]