Declarative specification of constraint maintenance

Il contenuto (Full text) non è disponibile all'interno di questo archivio. Spedisci una richiesta all'autore per una copia del documento
Tipo di pubblicazione: Articolo in atti di convegno
Tipologia MIUR: Contributo in Atti di Convegno (Proceeding) > Contributo in atti di convegno
Titolo: Declarative specification of constraint maintenance
Autori: Baralis E.; Ceri S.; Paraboschi S.
Autori di ateneo:
Intervallo pagine: pp. 205-222
Titolo del periodico: LECTURE NOTES IN COMPUTER SCIENCE
Tipo di referee: Tipo non specificato
Editore: Springer
ISBN: 3540587861
ISSN: 0302-9743
Volume: 881
Titolo del convegno: 13th International Conference on the Entity-Relationship Approach
Luogo dell'evento: Manchester (GBR)
Data dell'evento: December 13–16, 1994
Abstract: Integrity repair is a pragmatic alternative to integrity checking, already proposed by relational and Codasyl standards and supported by several commercial systems, although for a small number of constraint types. This paper proposes to integrate constraint languages with the declarative specifications of their integrity repair actions. We introduce a rather powerful, predicate-based language for specifying integrity constraints, then we discuss the semantics of repair actions as computations which react to constraint violations, then we establish sufficient conditions for ensuring their termination, and finally we show how repair actions can be integrated in the SQL2 standard and implemented by means of relational triggers (written in Oracle)
Data: 1994
Status: Pubblicato
Lingua della pubblicazione: Inglese
Parole chiave: active databases, constraint specification
Dipartimenti (originale): NON SPECIFICATO
Dipartimenti: DAUIN - Dipartimento di Automatica e Informatica
URL correlate:
    Area disciplinare:
    Data di deposito: 11 Lug 2012 17:07
    Data ultima modifica (IRIS): 21 Gen 2013 13:18:28
    Data inserimento (PORTO): 28 Ott 2014 21:41
    Numero Identificativo (DOI): 10.1007/3-540-58786-1_81
    Permalink: http://porto.polito.it/id/eprint/2500018
    Link resolver URL: Link resolver link
    Citazioni:

    Il campo presenta il numero di citazioni presenti sulle banche dati Scopus e Web of Science e permette di accedere ai relativi record. Visualizza inoltre il link al record presente su Google Scholar.

    Possono verificarsi discrepanze rispetto ai dati presenti sulle banche dati per i seguenti motivi:

    • Differenze tra i dati riportati su IRIS e quelli presenti nelle banche dati.
    • Il numero di citazioni riportate su PORTO viene estratto mensilmente. Il dato citazionale presente sulle singole banche dati è aggiornato in tempo reale
    • Il numero di citazioni per WoS viene calcolato sulla base delle collezioni in abbonamento (Science citation index Expanded e Conference Proceedings Citation Index)

    Per informazioni o segnalazioni contattare scrivia/porto

    • Web of Science: 3 [link]
    • Scholar: - [link]
    +
    -

    Azioni (richiesto il login)

    Visualizza il documento (riservato amministratori) Visualizza il documento (riservato amministratori)