A complete proof procedure for efficient integrity checking in deductive databases
Carregant...
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Càtedra / Departament / Institut
Tipus de document
Text en actes de congrés
Data publicació
Editor
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Part de
Condicions d'accés
Accés obert
Llicència
Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Llevat que s'hi indiqui el contrari, els seus continguts estan subjectes a la llicència de Creative Commons: Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
Datasets relacionats
Projecte CCD
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.
Descripció
Document relacionat
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.