Uploaded image for project: 'Norma+'
  1. NOR-10

Improve error checking for ring constraints

    Details

    • Type: Bug
    • Status: To Do
    • Priority: Medium
    • Resolution: Unresolved
    • Affects Version/s: None
    • Fix Version/s: None
    • Component/s: None
    • Labels:
    • Sprint:

      Description

      Currently, NORMA allows a user to explicitly constrain a functional (one-to-many and/or many-to-one), homogeneous binary fact type (e.g. Person is father of Person) to be both acyclic and intransitive. However, acyclic implies irreflexive, and each functional, irreflexive relationship implies intransitive. So in this case asserting intransitivity is redundant, so ideally this should be prevented.

        Attachments

        1. Acyclic and Intransitive Ring Constraint.pdf
          421 kB
          Marc Noon
        2. FatherOf.jpg
          12 kB
          Terry Halpin
        3. Incomplete Error Checking.docx
          15 kB
          Terry Halpin
        4. RingConstraintPatterns.xlsx
          53 kB
          Ken Evans
        5. screenshot-1.png
          90 kB
          Marc Noon

          Issue links

            Activity

              People

              • Assignee:
                Unassigned
                Reporter:
                Terry Terry Halpin
              • Watchers:
                3 Start watching this issue

                Dates

                • Created:
                  Updated: