Consistency problems in ER-schemas for database systems

Information Sciences

Volumn 163, Issue 4, 2004, Pages 263-274

  Boufares, Faouzi ^a   Bennaceur, Hachemi ^a  

^a CNRS   (France)

Author keywords

Cardinality constraints; CASE tools; Conceptual modelling; Constraints; Entity relationship model; Fourier Motzkin elimination; Information system; Linear programming; Valid conceptual schema

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; COMPUTER AIDED SOFTWARE ENGINEERING; CONSTRAINT THEORY; DATA STRUCTURES; INFORMATION SCIENCE; LINEAR PROGRAMMING; MATHEMATICAL MODELS; MATHEMATICAL PROGRAMMING; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

CARDINALITY CONSTRAINTS; CONCEPTUAL MODELLING; CONSTRAINTS; ENTITY-RELATIONSHIP MODEL; FOURIER-MOTZKIN ELIMINATION; INFORMATION SYSTEMS; VALID CONCEPTUAL SCHEMA;

DATABASE SYSTEMS;

EID: 2642528641     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2003.06.015     Document Type: Article

References (27)

1. Chen P.P. The entity-relationship model-towards a unified view of data. ACM Trans. Database Syst. 1:1976;9-36.
2. Smith J.M., Smith D.C.P. Database abstractions: aggregation and generalization. ACM Trans. Database Syst. 2(2):1977;105-133.
3. B. Thalheim, The higher-order entity-relationship model and (DB)2, in: MFDBS'89: 2nd Symposium on Mathematical Fundamentals of Database Systems, LNCS 364, Visegrad, Hungary, 26-30 June 1989, pp. 382-397.
4. Lenzerini M., Nobili P. On the satisfiability of dependency constraints in entity-relationship schemata, IS' 90. Inform. Syst. 15(4):1990;453-461.
5. Rochfeld A., Bouzeghoub M. From MERISE to OOM. Ingén. Syst. d'inform. 1(2):1993;151-176.
6. B. Thalheim, Fundamentals of cardinality constraints, in: ER'92: Entity-Relationship Approach, 11th International Conference on the Entity-Relationship Approach, LNCS 645, Karlsruhe, Germany, 7-9 October 1992, pp. 7-23.
7. J.B. Behm, T.J. Teorey, Relative constraints in ER data models, in: ER'93: Entity-Relationship Approach, 12th International Conference on the Entity-Relationship Approach, LNCS 823, Arlington, Texas, USA, December 1993, pp. 46-59.
8. Engels G., Gogolla M., Hohenstein U., Hulsmann K., Lohr-Richter P., Saake G., Ehrich H.D. Conceptual modelling of database applications using an extended ER model. Data Knowledge Eng. 9:1993;157-204.
9. Rochfeld A., Negros P. Relationship of relationships and other inter-relationship links in E-R model. Data Knowledge Eng. 9:1993;205-221.
10. Elmasri R., Navathe S.B. Fundamentals of Database Systems. second edition:1994;The Benjamin Cummings Publishing Company, Inc.
11. Rauh O., Stickel E. Standard transformations for the normalization of ER schemata, IS'96. Inform. Syst. 21(2):1996;187-208.
12. S. Hartmann, On the consistency of int-cardinality constraints, in: ER'98: Conceptual Modeling, 17th International Conference on Conceptual Modeling, LNCS 1507, Singapore, November 1998, pp. 150-163.
13. M. Balaban, P. Shoval, Resolving the weak status of weak entity types in entity relationship schemas, in: ER'99, Conceptual Modeling, 18th International Conference on conceptual Modeling, LNCS 1728, Paris, France, November 1999, pp. 367-383.
14. J. Dullea, I.-Y. Song, A taxonomy of recursive relationships and their structural validity in ER modeling, in: ER'99, Conceptual Modeling, 18th International Conference on Conceptual Modeling, LNCS 1728, Paris, France, November 1999, pp. 384-398.
15. J. Akoka, I. Comyn-Wattiau, N. Lammari, Relational database reverse engineering, elicitation of generalization hierarchies, advances in conceptual modeling, ER'99 Workshops on Evolution and Change in Data Management, LNCS 1727, Paris, France, November 1999, pp. 173-185.
16. S.K. Lellahi, F. Boufarès, Meta-Model and loose Semantics for ER-Model, Rapport Technique LIPN N° 2000-3, mai 2000.
17. S. Hartmann, On interactions of cardinality constraints, key, and functional dependencies, in: FoIKS'2000: Foundations of Information and Knowledge Systems, First International Symposium, LNCS 1762, Burg, Germany, February 2000, pp. 136-155.
18. M. Bouzeghoub, A. Rochfeld, OOM, la conception objet des systèmes d'information, Hermes, 2000.
19. A. Doucet, M. Ch. Fauvet, S. Gançarski, G. Jomier, S. Monties, Using database versions to implement temporal integrity constraints, Constraint Databases and Applications, Second International Workshop on Constraint Databases Systems, CDB'97, Delphi, Greece, January 1997; CP'96 Workshop on Constraints and Databases, LNCS 1191, Cambridge, MA, USA, August 1996, pp. 219-233.
20. F. Boufarés, N. Kraïem, A new tool to analyze ER-schemas, in: The Second Asia-Pacific Conference on Quality Software (APAQS 2001), Hong Kong, China, 10-11 December 2001, pp. 302-307.
21. Gabay J. Merise et UML Pour la Modélisation des Systèmes d'information. 2001;Dunod, Paris.
22. H.L. Christensen et al., Operations for conceptual schema manipulation definitions and semantics, in: ADBIS 2001, Advances in Databases and Information Systems, 5th East European Conference, Vilnius, Lithuania, September 2001, LNCS 2151, Proceedings.
23. Papadimitriou C.H., Steiglitz K. Combinatorial Optimization. 1982;Prentice-Hall, Englewood Cliffs, N.J. pp. 129-133.
24. Schrijver A. Theory of Linear and Integer Programming. 1986;Edition Wiley.
25. Nemhauser G.L., Wolsey L.A. Integer and Combinatorial Optimization. 1988;John Wiley and Sons, USA.
26. Williams H.P. Model Solving in Mathematical Programming. 1993;John Wiley and Sons, Ltd, England.
27. F. Boufarès, H. Bennaceur, A. Abdellatif, F. Sahli, Oracle designer and the global coherence of a conceptual data model, in: 9th European Conference on IT Evaluation (ECITE'2002), Paris, France, 15-16 July 2002.