A new tool to analyze ER-schemas

Faouzi Boufares, Naoufel Kraïem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)


Cardinality constraints as well as key constraints and functional Many CASE (Computer-Aided Software Engineering) tools are based on ER-model. They are used interactively by database designers to create an ER-schema for their database applications. dependencies are among the most popular classes of constraints in database models. While each constraint class is now well understood, little is done about their interaction. Today cardinality constraints and key constraints are embedded in most CASE tools, which are usually based on the Entity-Relationship model. However, these tools do not offer intelligent consistency checking routines for cardinality constraints. They do not consider the global coherence of them. Conflicts among the constraints are not detected. Our aim is then, to propose a tool for reasoning about a set of cardinality constraints, key and certain functional dependencies in order to help in database design. We will treat the global coherence of cardinality constraints. We propose two steps: a syntactical analysis according to our ER Meta-schema and a semantic analysis in order to verify the cardinality constraints and their interactions.

Original languageEnglish
Title of host publicationProceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)0769512879, 9780769512877
Publication statusPublished - 2001
Externally publishedYes
Event2nd Asia-Pacific Conference on Quality Software, APAQS 2001 - Hong Kong, Hong Kong
Duration: Dec 10 2001Dec 11 2001

Publication series

NameProceedings - 2nd Asia-Pacific Conference on Quality Software, APAQS 2001


Other2nd Asia-Pacific Conference on Quality Software, APAQS 2001
Country/TerritoryHong Kong
CityHong Kong


  • CASE tools
  • Cardinality constraints
  • Conceptual modeling
  • Constraints
  • ER meta-model
  • Entity-Relationship model
  • Information system
  • Meta-modeling
  • Valid ER-schemas

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'A new tool to analyze ER-schemas'. Together they form a unique fingerprint.

Cite this