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

          Issue links

            Activity

              People

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

                Dates

                • Created:
                  Updated: