Combined Complexity of Repair Checking and Consistent Query Answering
DataBase Management Systems (DBMSs) allow the definition of several forms of Integrity Constraints (ICs) to specify restrictions on the data to be stored. The DBMS provides checks that the stored data indeed satisfies the ICs. However, in modern applications where data is integrated from several sources, violations of the ICs may arise even if the data in each single source satisfies the ICs. Hence, the handling of inconsistent data (i.e., data violating the given ICs) has evolved as an active field of research, see e.g., for surveys.