-- A specification of entity-relationship model for a simple Blog.
--
-- In order to generate a complete web application for this Blog
-- with the web framework Spicey, execute the following command:
--
--     > spiceup BlogERD.curry

import Database.ERD

blogERD :: ERD
blogERD = ERD "Blog" 
  [Entity "Entry" 
       [Attribute "Title"  (StringDom Nothing) Unique False, 
        Attribute "Text"   (StringDom Nothing) NoKey  False,
        Attribute "Author" (StringDom Nothing) NoKey  False,
        Attribute "Date"   (DateDom   Nothing) NoKey  False],
   Entity "Comment"
     [Attribute "Text"     (StringDom Nothing) NoKey  False,
      Attribute "Author"   (StringDom Nothing) NoKey  False,
      Attribute "Date"     (DateDom   Nothing) NoKey  False],
   Entity "Tag"
     [Attribute "Name"     (StringDom Nothing) Unique False]
  ]
  [Relationship "Commenting"
    [REnd "Entry"   "commentsOn"    (Exactly 1),
     REnd "Comment" "isCommentedBy" (Between 0 Infinite)],
   Relationship "Tagging"
    [REnd "Entry"   "tagsEntry"     (Between 0 Infinite),
     REnd "Tag"     "withTags"      (Between 0 Infinite)]
  ]