Integrity constraints are rules which should guarantee the integrity of a database.Provided that an adequate mechanism to express them is available, the following question arises: is there any way to populate a database which satisfies the constraints supplied by a designer? i.e., does the database schema, including constraints, admit at least one model in which all classes are non-empty?This work gives an answer to the above question in an OODB environment, providing a Data Definition Language (DDL) able to express the semantics of a relevant set of state constraints and a specialized reasoner able to check the consistency of a schema with such constraints.The choice of the set of constraints expressed in the DDL is motivated by decidability issues.
Consistency checking in Complex Objects Database schemata with integrity constraints / Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori. - STAMPA. - (1995), pp. 48-57. ((Intervento presentato al convegno International Workshop on Database Programming Languages (DBPL) tenutosi a Gubbio, Umbria, Italy nel 6-8 September 1995.
Data di pubblicazione: | 1995 |
Titolo: | Consistency checking in Complex Objects Database schemata with integrity constraints |
Autore/i: | Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori |
Autore/i UNIMORE: | |
Nome del convegno: | International Workshop on Database Programming Languages (DBPL) |
Luogo del convegno: | Gubbio, Umbria, Italy |
Data del convegno: | 6-8 September 1995 |
Pagina iniziale: | 48 |
Pagina finale: | 57 |
Citazione: | Consistency checking in Complex Objects Database schemata with integrity constraints / Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori. - STAMPA. - (1995), pp. 48-57. ((Intervento presentato al convegno International Workshop on Database Programming Languages (DBPL) tenutosi a Gubbio, Umbria, Italy nel 6-8 September 1995. |
Tipologia | Relazione in Atti di Convegno |
File in questo prodotto:

I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris