A complete proof procedure for efficient integrity checking in deductive databases

Vista senzilla d'ítem
dc.contributor.authorNüssel, Georg
dc.contributor.authorDecker, Hendrik
dc.contributor.authorCelma, Matilde
dc.contributor.authorCasamayor, Juan Carlos
dc.date.accessioned2022-09-27T16:22:01Z
dc.date.available2022-09-27T16:22:01Z
dc.date.issued1992
dc.description.abstractWe 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.
dc.format.extent18 p.
dc.identifier.citationNü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.
dc.identifier.urihttps://hdl.handle.net/2117/373508
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.rights.accessOpen Access
dc.rights.licensenameAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.lcshInformation storage and retrieval systems
dc.subject.lcshManagement information systems
dc.subject.lcshDeductive databases
dc.subject.lemacSistemes d'informació per a la gestió
dc.subject.lemacBases de dades
dc.subject.lemacBases de dades deductives
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.titleA complete proof procedure for efficient integrity checking in deductive databases
dc.typeConference report
dspace.entity.typePublication
local.citation.endingPage216
local.citation.publicationNameProceedings of the 3rd International Workshop on the Deductive Approach to Information Systems and Databases
local.citation.startingPage199

Fitxers

Paquet original

Mostrant 1 - 1 de 1
Miniatura
Nom:
3DAISD_10_A complete proof procedure.pdf
Mida:
993.95 KB
Format:
Adobe Portable Document Format
Descripció:

Col·leccions

[3] Third International Workshop on the Deductive Approach to Information Systems and Databases: Roses-Costa Brava (Catalonia), 28-30 September, 1992