An Integrated Framework for Rule-Based Data Editing
Abstract
This paper develops a mathematical framework connecting structural metadata, logical admissibility, and correction in statistical data editing. A normalized routing graph generates a canonical indexed representation and an associated Horn theory, incorporating explicit semantic edits through deterministically evaluated auxiliary variables. Under specified record semantics, the theory characterizes admissibility, distinguishes structural minimality from logical irredundancy, and permits validation without materializing the deductive closure. Canonical indices preserve the provenance and dependency scopes of violations. With complete diagnostics and strictly positive weights, a nonnegative violation Hamiltonian vanishes exactly on admissible corrections within the permitted candidate domain. Verified zero-energy outputs therefore certify feasibility and global minimization of violation energy. Minimum modification cost is formulated separately, with sufficient conditions for an equivalent penalized objective and optimality certificates obtained by matching attained costs with valid lower bounds. A household survey application verifies admissible corrections and certifies minimum cost for a subset of returned records through a retrospective audit. The framework connects structural requirements to correction certificates independently of the numerical search procedure, while statistical accuracy of replacement values requires separate assessment.
Related
- BRP-GABLE: An Interpretable Rule-Based Prediction Framework for Multiple Outcome Types
- An Integrated Framework for Assessing Interpretability in Exploratory Factor Analysis
- AI-Integrated Computational Framework for Pronunciation Error Analysis Through Native–Learner Speech Comparison
- An integrated explainable AI framework with counterfactual optimization for decision support
- Attendance Information System Success in Mandatory Use Contexts: An Integrated TAM–DeLone and McLean–TPB Framework in Higher Education
BibTeX
@misc{massoli2026integrated,
title = {{An Integrated Framework for Rule-Based Data Editing}},
author = {Pierpaolo Massoli},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.16947},
eprint = {2610.16947},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.16947},
}
RIS
TY - UNPB
TI - An Integrated Framework for Rule-Based Data Editing
AU - Pierpaolo Massoli
PY - 2026
DA - 2026/10/12
PB - arXiv
DO - 10.48550/arxiv.2610.16947
UR - https://arxiv.org/abs/2610.16947
AB - This paper develops a mathematical framework connecting structural metadata, logical admissibility, and correction in statistical data editing. A normalized routing graph generates a canonical indexed representation and an associated Horn theory, incorporating explicit semantic edits through deterministically evaluated auxiliary variables. Under specified record semantics, the theory characterizes admissibility, distinguishes structural minimality from logical irredundancy, and permits validation without materializing the deductive closure. Canonical indices preserve the provenance and dependency scopes of violations. With complete diagnostics and strictly positive weights, a nonnegative violation Hamiltonian vanishes exactly on admissible corrections within the permitted candidate domain. Verified zero-energy outputs therefore certify feasibility and global minimization of violation energy. Minimum modification cost is formulated separately, with sufficient conditions for an equivalent penalized objective and optimality certificates obtained by matching attained costs with valid lower bounds. A household survey application verifies admissible corrections and certifies minimum cost for a subset of returned records through a retrospective audit. The framework connects structural requirements to correction certificates independently of the numerical search procedure, while statistical accuracy of replacement values requires separate assessment.
ER -