On the Satisfiability of Dependency Constraints in Entity-relationship Schemata

  • Mautizio Lenzetini, Paolo No
  • Published 1998


The problem of satisfiability of a specific class of integrity constraints in data bases, namely the dependency constraints, is analysed. An Entity-Relationship model is used for expressing data schemata. In this model suitable types of dependency constraints, called cardinality ratio constraints, allow one to impose restrictions on the mappings between entities and relationships. We show that, as far as such a class of constraints is concerned, the usual notion of satisfiability is not sufficiently meaningful. For this reason we introduce the notion of strong satis6abiJity, ensuring that no entity or relationship is compelled to be empty in all of the legal instances of the schema. We propose to model the cardinality ratio constraints of a schema by means of a suitable linear inequality system and we show that a schema is strongly satisfiable if and only if there exist solutions for the associated ‘system. firthermore, we describe a method for discovering which are the sets of constraints that prevent a schema from being strongly satisfiable.

Extracted Key Phrases

2 Figures and Tables


Citations per Year

121 Citations

Semantic Scholar estimates that this publication has 121 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Lenzetini1998OnTS, title={On the Satisfiability of Dependency Constraints in Entity-relationship Schemata}, author={Mautizio Lenzetini and Paolo No}, year={1998} }