TL;DR
A formal audit reveals that the declared and implemented rules of sameness in record systems can diverge without contradiction. This study introduces a framework to analyze these discrepancies systematically.
✦ Why It Matters
Evaluate your record systems for discrepancies between declared and operational identities to enhance data integrity.
Key Takeaways
How It Works
The paper introduces a formal framework that compares declared identity partitions with operational partitions in record systems. It uses a refinement lattice to analyze how these partitions relate, identifying when a declared class is split by the operational mechanism.
The concept of divergence witnesses is crucial, as it allows for systematic identification of discrepancies between the two partitions.
Related