Database design almost invariably includes a specification of a set of rules(the integrity constraints) which should guarantee its consistency. 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.

Reasoning with constraints in Database Models / Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori. - STAMPA. - (1994), pp. 23-38. (Intervento presentato al convegno Sistemi Evoluti per Basi di Dati tenutosi a Rimini, Italy nel 6-8 June 1994).

Reasoning with constraints in Database Models

BENEVENTANO, Domenico;BERGAMASCHI, Sonia;
1994

Abstract

Database design almost invariably includes a specification of a set of rules(the integrity constraints) which should guarantee its consistency. 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.
1994
Sistemi Evoluti per Basi di Dati
Rimini, Italy
6-8 June 1994
23
38
Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori
Reasoning with constraints in Database Models / Beneventano, Domenico; Bergamaschi, Sonia; S., Lodi; C., Sartori. - STAMPA. - (1994), pp. 23-38. (Intervento presentato al convegno Sistemi Evoluti per Basi di Dati tenutosi a Rimini, Italy nel 6-8 June 1994).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/464107
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact