A complete proof procedure for efficient integrity checking in deductive databases

Thumbnail
View/Open
Document typeConference report
Defense date1992
PublisherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Rights accessOpen Access
Attribution-NonCommercial-NoDerivs 4.0 International
This work is protected by the corresponding intellectual and industrial property rights. Except where otherwise noted, its contents are licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 4.0 International
Abstract
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. 
URIhttp://hdl.handle.net/2117/373508
Collections

FilesDescriptionSizeFormatView
3DAISD_10_A complete proof procedure.pdf993,9KbPDFView/Open