Corpus ID: 7560163

Database Updates through Abduction

@inproceedings{Kakas1990DatabaseUT,
  title={Database Updates through Abduction},
  author={A. Kakas and P. Mancarella},
  booktitle={VLDB},
  year={1990}
}
The problem of view updates in deductive databases is studied by casting this in a naturally associated abductive framework. It is shown that this abductive approach deals successfully, in a simple yet powerful way, with the difficulties related to the presence of negation in the database and provides a uniform common procedure for insert and delete update requests. This procedure is formally defined and its correctness and completeness is investigated. The abductive formalization of the update… Expand
252 Citations
Updates , Induction and Abduction in Deductive Databases
  • 1
An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases
  • Ernest Teniente
  • Computer Science
  • Deductive Databases / Abduction in Deductive Databases
  • 1995
  • 3
The role of abduction in database view updating
  • 39
Repairing Inconsistent Databases: A Model-Theoretic Approach and Abductive Reasoning
  • 10
  • PDF
Coherent Integration of Databases by Abductive Logic Programming
  • 35
  • PDF
An abductive framework for computing knowledge base updates
  • 80
  • PDF
On the abductive or deductive nature of database schema validation and update processing problems
  • 13
  • PDF
Specifying Transactions for Extended Abduction
  • 10
Update operations in deductive databases with functional dependencies
  • 1
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 38 REFERENCES
A Theorem-Proving Approach to Database Integrity
  • F. Sadri, R. Kowalski
  • Mathematics, Computer Science
  • Foundations of Deductive Databases and Logic Programming.
  • 1988
  • 178
  • PDF
Drawing Updates From Derivations
  • 70
Abduction Compared with Negation by Failure
  • 404
  • PDF
View Update Translation via Deduction and Annotation
  • 51
Prediction is Deduction but Explanation is Abduction
  • 282
  • PDF
Domain-Independent Formulas and Databases
  • R. Topor
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1987
  • 32
On the semantics of updates in databases
  • 394
Updating Relational Views
  • 63
Update semantics of relational views
  • 648
  • PDF
...
1
2
3
4
...