Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
New Generation Computing
Intensional updates: abduction via deduction
Logic programming
Logic programs with exceptions
Logic programming
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
The role of abduction in database view updating
Journal of Intelligent Information Systems
A new method for integrity constraint checking in deductive databases
Data & Knowledge Engineering
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
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
On Updates and Inconsistency Repairing in Knowledge Bases
Proceedings of the Ninth International Conference on Data Engineering
Comparing and Synthesizing Integrity Checking Methods for Deductive Databases
Proceedings of the Tenth International Conference on Data Engineering
A Common Framework for Classifying and Specifying Deductive Database Updating Problems
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Analytic Tableaux and Database Repairs: Foundations
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
An Extensible Framework for Repairing Constraint Violations
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Structuring the Process of Integrity Maintenance
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Foundational Challenges in Automated Semantic Web Data and Ontology Cleaning
IEEE Intelligent Systems
Decidable Reasoning in UML Schemas with Constraints
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Verification and Validation of UML Conceptual Schemas with OCL Constraints
ACM Transactions on Software Engineering and Methodology (TOSEM)
Conceptual schema-centric development: a grand challenge for information systems research
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The view-update problem for indefinite databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
We deal with view updating and integrity constraint maintenance. View updating is concerned with translating a request to update derived facts into updates of the underlying base facts. Integrity constraint maintenance is aimed to perform the necessary repairs to guarantee that a set of base fact updates does not violate database consistency. We define a method that deals with these problems in an integrated way and we show that it is sound and complete. Soundness ensures that our method obtains only correct solutions while completeness guarantees that we obtain all valid minimal solutions. We also propose set of techniques to provide an efficient implementation of our method.