Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Integrity constraint checking in stratified databases
Journal of Logic Programming
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Logic-based approach to semantic query optimization
ACM Transactions on Database Systems (TODS)
Journal of Logic Programming
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database management systems
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
Applications of abductive logic programming
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Implementation of integrity constraints and views by query modification
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Database Systems: The Complete Book
Database Systems: The Complete Book
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases
Proceedings of the Tenth International Conference on Data Engineering
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Measuring inconsistency in knowledgebases
Journal of Intelligent Information Systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A relaxed approach to integrity and inconsistency in databases
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Inconsistency Tolerance
Extending Inconsistency-Tolerant Integrity Checking by Semantic Query Optimization
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Towards a Dynamic Inconsistency-Tolerant Schema Maintenance
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Modeling, Measuring and Monitoring the Quality of Information
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Logic in databases: report on the LID 2008 workshop
ACM SIGMOD Record
Toward a uniform cause-based approach to inconsistency-tolerant database semantics
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Inconsistency-tolerant integrity checking based on inconsistency metrics
KES'11 Proceedings of the 15th international conference on Knowledge-based and intelligent information and engineering systems - Volume Part II
Report on the third workshop on hot topics in software upgrades (HotSWUp'11)
ACM SIGOPS Operating Systems Review
Hi-index | 0.00 |
We define and examine six classes of methods for integrity checking: case-based, compositional, relevance-based, simplification-based, total-integrity-dependent, and measure-based ones. Each, except the penultimate, corresponds to a particular form of inconsistency tolerance. Inconsistency measures provide a new approach to integrity checking and inconsistency tolerance. For many methods, proofs or disproofs of their inconsistency tolerance become easier and more transparent by our classification. In general, a better understanding of inconsistency-tolerant integrity checking is achieved