Reactive Consistency Control in Deductive Databases

  title={Reactive Consistency Control in Deductive Databases},
  author={Subrata Kumar Das},
29 [4] J. Biskup and B. Convent. Towards a schema design methodology for deductive databases. A path nding method for constraint checking in deductive databases. 28 9 Conclusion In order to provide user support in the case of a detected inconsistency, we rst developed a rm theoretical basis and then implemented the ideas in a prototype. We could thus prove that our original goal to develop a system which is able to analyze an inconsistency in a deductive database, and then automatically… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.

Similar Papers

Loading similar papers…