research-article

Meta-modeling of inclusion dependency constraints

Authors:

M. Čeliković,

I. LukovićAuthors Info & Claims

BCI '13: Proceedings of the 6th Balkan Conference in Informatics

Pages 114 - 121

https://doi.org/10.1145/2490257.2490265

Published: 19 September 2013 Publication History

Abstract

In this paper we present a segment of our research efforts focused on meta-models relating to databases. We developed a meta-model of relational database schema and here we deal with one of its segments. Namely, some kinds of relational database constraints are well-known and can be implemented by the declarative Database Management System (DBMS) mechanisms, like key constraint and referential integrity constraint. However, some kinds of constraints are not recognized by contemporary DBMSs and have to be implemented through the procedural mechanisms. Very often these kinds of constraints are ignored by database designers in a way that they don't recognize, specify and implement them. The striking examples are some kinds of inclusion dependency (IND) constraints, like: inverse referential integrity constraint, conditional IND and extended IND. We believe that all kinds of constraints are important to be specified and implemented. In the paper a part of our meta-model concerning inclusion dependencies is presented.

References

[1]

Atzeni, P., Cappellari, P., and Gianforme, G. 2007. MIDST: model independent schema and data translation. In Proceedings of the 2007 ACM SIGMOD international Conference on Management of Data (Beijing, China, June 11--14, 2007). SIGMOD '07. ACM, New York, NY, 1134--1136.

Digital Library

[2]

Atzeni, P., Gianforme, G., Cappellari, P. 2009. A universal meta-model and its dictionary. T. Large-Scale Data and Knowledge-Centered Systems 1, 38--62.

Digital Library

[3]

Aleksic, S., Ristic, S., Lukovic, I., Celikovic, M. 2013. A Design Specification and a Server Implementation of the Inverse Referential Integrity Constraints. Computer Science and Information Systems (ComSIS), Consortium of Faculties of Serbia and Montenegro, Belgrade, Serbia, ISSN: 1820-0214, Vol. 10, No.1, pp. 283--320.

[4]

Assmann, U., Zchaler and S., Wagner, G. 2006. Ontologies, Meta-Models, and the Model-Driven Paradigm. In: Calero, C., Ruiz, F., Piattini, M. (eds.) Ontologies for Software Engineering and Software Technology

[5]

Bauckmann, J., Leser, U., and Naumann, F. 2006. Efficiently Computing Inclusion Dependencies for Schema Discovery. Proc. Second Int'l Workshop Database Interoperability.

Digital Library

[6]

Bi, Z., and Shan, M. 2012. Review of Data Dependencies in Data Repair. Journal of Information & Computational Science 9: 15 (2012) 4623--4630.

[7]

Bravo, L., Fan, W., and Ma, S. 2007. Extending dependencies with conditions. In Proceedings of the 33rd international conference on Very large data bases (VLDB '07). VLDB Endowment 243--254.

Digital Library

[8]

Cabot, J., Clarisó, R., Guerra, E., and De Lara, J. 2010. Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software, 83(2), 283--302.

Digital Library

[9]

Cabot, J. and E. Teniente. 2009. Incremental integrity checking of uml/ocl conceptual schemas. Journal of Systems and Software, 82(9), 1459--1478.

Digital Library

[10]

Calero, C., Ruiz, F., Baroni, A., Brito e Abreu, F., Piattini, M. 2006. An ontological approach to describe the SQL:2003 object-relational features. Computer Standards & Interfaces, Volume 28, Issue 6, September 2006, Pages 695--713.

[11]

del Castillo, R. P., García-Rodríguez, I., and Caballero, I. 2009. PRECISO: a reengineering process and a tool for database modernization through web services. In: Jacobson Jr., M. J., Rijmen, V., Safavi-Naini, R. (eds.) SAC 2009. LNCS, vol. 5867, pp. 2126--2133. Springer, Heidelberg.

Digital Library

[12]

Date, C. J. and Darwen, H. 2006. Types and the Relational Model. The Third Manifesto, 3^rd ed. Addison Wesley, Reading.

Digital Library

[13]

Eessaar, E., 2007. Using Meta-modeling in order to Evaluate Data Models. In Proceedings of the 6th WSEAS Int. Conf. on Artificial Intelligence, Knowledge Engineering and Data Bases, Corfu Island, Greece, February 16--19, 2007.

Digital Library

[14]

Elmasri R., Navathe B. S. 2011. Database Systems: Models, Languages, Design and Application Programming, Sixth Edition, Pearson Global Edition, ISBN 978-0-13-214498-8.

[15]

Eclipse Modeling Framework, {Online} Available: http://www.eclipse.org/modeling/emf/. (retrieved March, 05, 2013).

[16]

Fan, W. 2008. Extending dependencies with conditions for data cleaning, Computer and Information Technology, 2008. CIT 2008. 8th IEEE International Conference on, pp.185--190.

[17]

Gogolla, M., Lindow, A., Richters, M. and Ziemann, P. 2002. Meta-model transformation of data models. Position paper. WISME at the UML 2002.

[18]

Koeller, A., and Rundensteiner, E. A. 2004. Heuristic Strategies for Inclusion Dependency Discovery, On the Move to Meaningful Internet Systems 2004: Proc. Int'l Conf. CoopIS, DOA, and ODBASE, pp. 891--908.

[19]

Lano, K., and Kolahdouz-Rahimi, S. 2011. Model-driven development of model transformations. Theory and Practice of Model Transformations, 47--61.

Digital Library

[20]

Lano, K., and Kolahdouz-Rahimi, S. 2013. Constraint-based specification of model transformations Journal of Systems and Software, Volume 86, Issue 2, Pages 412--436.

Digital Library

[21]

Luković, P. Mogin, J. Pavićević, and S. Ristić, 2007. An Approach to Developing Complex Database Schemas Using Form Types, Software: Practice and Experience, John Wiley & Sons Inc., Hoboken, USA, ISSN: 0038-0644. Vol. 37, No. 15, pp. 1621--1656.

[22]

De Marchi, F., Lopes, S., and Petit, J.-M. 2009. Unary and N-Ary Inclusion Dependency Discovery in Relational Databases, J. Intelligent Information Systems, vol. 32, no. 1, pp. 53--73.

Digital Library

[23]

Meta-Object Facility, {Online} Available: http://www.omg.org/mof/. (retrieved March, 05, 2013).

[24]

Mogin, P., Luković, I., Govedarica, M., 2004. Database Design Principles, University of Novi Sad, Faculty of Technical Sciences & MP "Stylos", Novi Sad, Serbia.

[25]

Mukerji, J. and Miller, J., 2003. MDA Guide Version 1.0.1, document omg/03-06-01 (MDA Guide V1.0.1), http://www.omg.org/, (retrieved March, 05, 2013).

[26]

Polo, M., Garcia-Rodriguez, I., and Piattini, M. 2007. An MDA-based approach for database re-engineering. J. Softw. Maint. Evol. 19, 6 (November 2007), 383--417.

Digital Library

[27]

Ristic, S., Aleksic, S., Celikovic, M., and Lukovic, I. 2013. An EMF Ecore based relational dB schema meta-model. In Proceedings of the 6th International Conference on Information Technology ICIT 2013. Amman, Jordan. (accepted paper).

[28]

Stahl T, Völter M, Bettin J, Haase A, Helsen S. 2006. Model Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Ltd.

Digital Library

[29]

Vara, J., Vela, B., Bollati, V. A. and Marcos, E. 2009. Supporting model-driven development of object-relational database schemas: a case study, in: R. Paige (Ed.), Theory and Practice of Model Transformations, Heidelberg, Springer Berlin, pp. 181--196.

Digital Library

[30]

Wang, H., Shen, B. and Chen, C. 2009. Model-Driven Reengineering of Database. Software Engineering, 2009. WCSE '09. WRI World Congress on, vol.3, no., pp.113--117.

Digital Library

Cited By

Fatehah MMezhuyev VAl-Emran M(2020)A Systematic Review of Metamodelling in Software EngineeringRecent Advances in Intelligent Systems and Smart Applications10.1007/978-3-030-47411-9_1(3-27)Online publication date: 27-Jun-2020
https://doi.org/10.1007/978-3-030-47411-9_1
Obrenović NLuković IRistić S(2019)Consolidation of database check constraintsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0637-218:3(2111-2135)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1007/s10270-017-0637-2
Ristic S(2018)A Model is Worth a Thousand Words?2018 IEEE 16th International Symposium on Intelligent Systems and Informatics (SISY)10.1109/SISY.2018.8524790(000015-000020)Online publication date: Sep-2018
https://doi.org/10.1109/SISY.2018.8524790
Show More Cited By

Index Terms

Meta-modeling of inclusion dependency constraints
1. Information systems
  1. Data management systems
    1. Database design and models
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Automated elicitation of inclusion dependencies from the source code for database transactions

Inclusion dependency is an important data dependency in databases. Enforcement of data dependencies is a major component in any database application. Due to the nature of software development and maintenance and the limitation of database management ...
Inclusion Dependencies Reloaded
CIKM '15: Proceedings of the 24th ACM International on Conference on Information and Knowledge Management

Inclusion dependencies form one of the most fundamental classes of integrity constraints. Their importance in classical data management is reinforced by modern applications such as data cleaning and profiling, entity resolution and schema matching. ...
A UML model consistency verification approach based on meta-modeling formalization
SAC '06: Proceedings of the 2006 ACM symposium on Applied computing

UML language provides a promising way to overcome software system complexity. In particular, UML is a unified language that handles different aspects of software modeling. However, its features are not independent which is the source of numerous ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

BCI '13: Proceedings of the 6th Balkan Conference in Informatics

September 2013

293 pages

ISBN:9781450318518

DOI:10.1145/2490257

Conference Chairs:
Kostas Diamantaras
TEI of Thessaloniki
,
Georgios Evangelidis
University of Macedonia
,
Yannis Manolopoulos
Aristotle University
,
Program Chairs:
Christos Georgiadis
University of Macedonia
,
Petros Kefalas
The University of Sheffield International Faculty, CITY College
,
Demosthenes Stamatis
TEI of Thessaloniki

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

University of Macedonia
Aristotle University of Thessaloniki
The University of Sheffield: The University of Sheffield
Greek Com Soc: Greek Computer Society
SEERC: South-East European Research Centre
Alexander TEI of Thessaloniki

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Ministry of Education, Science and Technological Development

Conference

BCI '13

Sponsor:

The University of Sheffield
Greek Com Soc
SEERC

BCI '13: Balkan Conference in Informatics

September 19 - 21, 2013

Thessaloniki, Greece

Acceptance Rates

BCI '13 Paper Acceptance Rate 41 of 103 submissions, 40%;

Overall Acceptance Rate 97 of 250 submissions, 39%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
77
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fatehah MMezhuyev VAl-Emran M(2020)A Systematic Review of Metamodelling in Software EngineeringRecent Advances in Intelligent Systems and Smart Applications10.1007/978-3-030-47411-9_1(3-27)Online publication date: 27-Jun-2020
https://doi.org/10.1007/978-3-030-47411-9_1
Obrenović NLuković IRistić S(2019)Consolidation of database check constraintsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0637-218:3(2111-2135)Online publication date: 18-Jul-2019
https://dl.acm.org/doi/10.1007/s10270-017-0637-2
Ristic S(2018)A Model is Worth a Thousand Words?2018 IEEE 16th International Symposium on Intelligent Systems and Informatics (SISY)10.1109/SISY.2018.8524790(000015-000020)Online publication date: Sep-2018
https://doi.org/10.1109/SISY.2018.8524790
Ristic S(2017)How to apply model-driven paradigm in information system (Re)engineering2017 IEEE 14th International Scientific Conference on Informatics10.1109/INFORMATICS.2017.8327212(6-11)Online publication date: Nov-2017
https://doi.org/10.1109/INFORMATICS.2017.8327212
Vidaković JLuković IKordić SBădică CManolopoulos YCoşulschi MEleftherakis GLeon F(2015)Specification and Implementation of the Inverse Referential Integrity Constraint in XML DatabasesProceedings of the 7th Balkan Conference on Informatics Conference10.1145/2801081.2801111(1-8)Online publication date: 2-Sep-2015
https://dl.acm.org/doi/10.1145/2801081.2801111
Ristić SAleksić SČeliković MDimitrieski VLuković I(2014)Database reverse engineering based on meta-modelsOpen Computer Science10.2478/s13537-014-0218-14:3Online publication date: 1-Jan-2014
https://doi.org/10.2478/s13537-014-0218-1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten