High-Assurance Integrity Techniques for Databases


With the increased need of data sharing among multiple organizations, such as government organizations, financial corporations, medical hospitals and academic institutions, it is critical to ensure data integrity so that effective decisions can be made based on these data. In this paper, we first present an architecture for a comprehensive integrity control system based on data validation and metadata management. We then discuss an important issue in the data validation, that is, the evaluation of data provenance and propose a trust model for estimating the trustworthiness of data and data providers. By taking into account confidence about data provenance, we introduce an approach for policy observing query evaluation as a complement to the integrity control system.


sharing data, data integrity, integrity control system, data provenance, trust model

Date of this Version



Sharing Data, Information and Knowledge Lecture Notes in Computer Science, 2008, Volume 5071/2008, 244-256