PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Inverardi P. SRP-IC : a selective refutation procedure for integrity constraints checking. In: ERCIM - 6th Ercim Database Research Group Workshop on Deductive and Interoperable Databases (Barcelona, Spain, 1-2 November 1994). Proceedings, pp. 148 - 161. Ercim, 1994.
 
 
Abstract
(English)
The various approaches to Integrity Constraint Checking proposed in the literature so far, can be charaderized in various ways, e.g. according to the language to express the database and its integrity constraints, or according to the strategy the integrity checking methods are based ono Referring to this last aspect, we can make a furher distinction between interpretative and compilative approaches. In this paper we concentrate on stratified logic-based databases, and in particular we present an intepretative method to answer database queries selectively with respect to integrity constraints. The main idea is to integrate query answering with integrity checking as an interpretative version of the modified-program approach described in [1].
Subject Model checking
Formal methods
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional