Active integrity constraints (AICs) are a useful formalism to express integrity constraints and policies to restore consistency in databases violating them. However, AICs do not allow users to express different kinds of constraints commonly arising in practice, such as foreign keys. In this paper, we propose existential active integrity constraints (EAICs), a powerful extension of AICs that allows us to express a wide range of constraints used in databases and ontological systems. We investigate different properties of EAICs. Specifically, we show that there exists a “representative” set of founded updates, called universal, which suffices for query answering. As such a set might contain an infinite number of founded updates, each of infinite size, we study syntactic restrictions ensuring finiteness, as well as the existence of a single universal founded update.
Existential active integrity constraints / M. Calautti, L. Caroprese, S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano. - In: EXPERT SYSTEMS WITH APPLICATIONS. - ISSN 0957-4174. - 168:(2021 Apr 15), pp. 1-15. [10.1016/j.eswa.2020.114297]
Existential active integrity constraints
M. CalauttiPrimo
;
2021
Abstract
Active integrity constraints (AICs) are a useful formalism to express integrity constraints and policies to restore consistency in databases violating them. However, AICs do not allow users to express different kinds of constraints commonly arising in practice, such as foreign keys. In this paper, we propose existential active integrity constraints (EAICs), a powerful extension of AICs that allows us to express a wide range of constraints used in databases and ontological systems. We investigate different properties of EAICs. Specifically, we show that there exists a “representative” set of founded updates, called universal, which suffices for query answering. As such a set might contain an infinite number of founded updates, each of infinite size, we study syntactic restrictions ensuring finiteness, as well as the existence of a single universal founded update.File | Dimensione | Formato | |
---|---|---|---|
1-s2.0-S0957417420309982-main.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
886.32 kB
Formato
Adobe PDF
|
886.32 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
EAICs-revised.pdf
accesso aperto
Tipologia:
Pre-print (manoscritto inviato all'editore)
Dimensione
462.64 kB
Formato
Adobe PDF
|
462.64 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.