Advances in FCO-IM (2): a shorter algorithm for determining intra fact type uniqueness constraints

  • Authors:
  • Jan Pieter Zwart;Guido Bakema

  • Affiliations:
  • Research and Competence Group Data Architectures & Metadata Management, Academy of Communication and Information Technology, HAN University of Applied Science, Arnhem, The Netherlands;Research and Competence Group Data Architectures & Metadata Management, Academy of Communication and Information Technology, HAN University of Applied Science, Arnhem, The Netherlands

  • Venue:
  • OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a general algorithm for determining all intra fact type uniqueness constraints in a fact type with n roles. For Fact Oriented Methods of information modeling that work with elementary fact types, a top-down approach is shorter than a bottom-up approach for fact types with more than two roles. The algorithm is shorter (in terms of the number of tests to be performed) than the one published earlier in our book on FCO-IM. For its most important steps, we prove that no shorter algorithm exists.