A complete proof procedure for efficient integrity checking in deductive databases
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/373508
Tipus de documentText en actes de congrés
Data publicació1992
EditorUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Abstract
We present proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented more easily on the resolution level. Also, we adapt and extend conditions that are known to ensure completeness and termination, and show that our procedure is complete and terminates for checking violation and satisfaction of integrity in large classes of databases.
CitacióNüssel, G. [et al.]. A complete proof procedure for efficient integrity checking in deductive databases. A: "Proceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases". Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992, p. 199-216.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
3DAISD_10_A complete proof procedure.pdf | 993,9Kb | Visualitza/Obre |