Consistency problems in ER-schemas for database systems

Boufarès, Faouzi; Bennaceur, Hachémi

doi:10.1016/j.ins.2003.06.015

Cited by 21 publications

(10 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Unifying class-based representation formalisms are available [11] but to address this situation UML needs a formal semantics which allows for reasoning tasks: Berardi et al [12] study the complexity of formal reasoning on general UML class diagrams, Artale et al [13] extend these results over fragments of extended entity relationship models, obtaining EXPTIME hardness results. Consistency problems are also studied in [14]. However, by restricting the allowed artefacts in UML class diagrams polynomial procedures for certain reasoning tasks, like consistency checking, become possible [4], [5], [15].…”

Section: Related Workmentioning

confidence: 99%

Class Diagrams with Equated Association Chains

Feinerer¹,

Salzer²,

Sisel³

2013

2013 International Symposium on Theoretical Aspects of Software Engineering

View full text Add to dashboard Cite

We investigate properties of class diagrams with multiplicity constraints -as they appear e.g. in model-based engineering or database design -augmented by equational constraints on association chains. Constraints are typically used to generate additional code that throws an exception when a constraint is violated during run-time. Our aim is different: We develop methods to check already at modelling time whether all constraints can be satisfied, to provide suitable user feedback, and to compute optimal instances of the model. In this paper we extend our approach by a family of constraints that has proven relevant in practice, namely equations between chains of associations. Such equational constraints are necessary if we want to specify that the objects reachable via one chain of associations should in fact be the same as reachable via another one.

show abstract

Section: Related Workmentioning

confidence: 99%

Class Diagrams with Equated Association Chains

Feinerer¹,

Salzer²,

Sisel³

2013

2013 International Symposium on Theoretical Aspects of Software Engineering

View full text Add to dashboard Cite

show abstract

“…All the features will be considered when constructing a schema database for a system. Boufares and Bennaceur (Boufares and Bennaceur, 2003) have written on their paper about consistency problems in cardinality constraints. They have discuss on the problems occurred and wrote a suggestion method to solve it.…”

Section: Related Workmentioning

confidence: 99%

“…In the previous works, we found that many researchers work on data integrity or quality in UML diagram especially in designing system (Hadj Ali, Boufares, and Abdellatif, 2006;Alsaadi, 2006;Ha and Kang, 2008;Zhu, Shanker, and Cai, 2007;Boufares and Bennaceur, 2003). A few of them discussed the idea of extracting manually schema table from class diagram using OCL (Hadj Ali, Boufares, and Abdellatif, 2006;He, Ying, and Zhang, 2002).…”

Section: Related Workmentioning

confidence: 99%

A Proposal for Constructing Relational Database from Class Diagram

Saringat¹,

Herawan²,

Ibrahim³

2010

CIS

View full text Add to dashboard Cite

Database system is important to ensure the data can be stored, updated and retrieved for future use. Data modelling using the Entity Relationship Model has been introduced more than thirty years. However, designing a good database system is still an attractive issue particularly in system analysis and design because of very hard to do consistency checking between system design and database design. In this paper, a proposal for designing a relational database system based on Object Oriented Analysis and Design is presented. The database system is created by the schema table that extract from class diagram. The rules applying in this paper is following the object oriented concept. It is based on the relationships among the classes, multiplicity, attributes name, class name, data type and the behaviours of the classes. Beside that the user is required to insert record to accomplish a good designing the schema tables to avoid redundancy data. Finally, an automatic editor called CDGeST is proposed in order to automate the process.

show abstract

“…We summarize below these concepts using UML notation: Let I be an instance (a database) of a given conceptual schema SC. We say I satisfies the multiplicity constraint K -denoted u..vof an association R over the class E with the role L, if for every object e of E , the number r of R objects connected to e verifies : u ≤ r ≤ v [2,3,7,8].…”

Section: Multiplicity Constraints Satisfactionmentioning

confidence: 99%

“…Theorem: a conceptual schema SC is valid, with respect to its constraints iff the associated linear constraint system ∑ has a solution [3,8].…”

Section: Multiplicity Constraints Satisfactionmentioning

confidence: 99%

Constraints satisfaction problems in data modeling

Berrabah

Boufarès

2008

Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology - CSTST '08

View full text Add to dashboard Cite

We present a new approach to study the global coherence of constraints in data modeling. Unlike most of other approaches, we take a best part of these constraints into account during modeling processing. Thus, it is useless to generate the database -which may be partially or totally empty -if the constraints are in conflict. To this end, we formalize the constraints in mathematical inequalities form combined with expressions in first-order logic. We propose two approaches to detect and localize conflicts. In the first one, an algorithm, based on Fourier-Motzkin elimination, is suggested. In the second approach, the conceptual schema is formalized using a knowledge base.

show abstract

Consistency problems in ER-schemas for database systems

Cited by 21 publications

References 22 publications

Class Diagrams with Equated Association Chains

Class Diagrams with Equated Association Chains

A Proposal for Constructing Relational Database from Class Diagram

Constraints satisfaction problems in data modeling

Contact Info

Product

Resources

About