Asirelli P., Inverardi P., Plagenza G. Correctness and completeness of the SRP_IC refutation procedure. Technical report, 1996. |

Abstract (English) |
In this paper we present a refutation procedure to compute goals in a deductive database ac- cording to particular views of it. Views are de ned by a set of constraints rules. The declarative semantics of the constrained database is de ned and the given refutation procedure is proved correct and complete for positive range{restricted databases. The extension of the procedure to deal with negation is also outlined. | |

Subject | SRP_IC refutation procedure F.4.1 Mathematical Logic: Model theory F.4.1 Mathematical Logic: Proof theory F.4.1 Mathematical Logic: Logic and constraint programming I.2.3 Deduction and Theorem Proving: Deduction I.2.3 Deduction and Theorem Proving: Resolution H.2.0 General: Security, integrity, and protection |

1) Download Document PS |

2) Download Document PDF |

Open access Restricted Private