Skip to main content
SpringerLink
Log in

Conceptual Data Modeling with Constraints in Maude

  • Conference paper
Algebra and Coalgebra in Computer Science (CALCO 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4624))

Included in the following conference series:

Abstract

Conceptual data modeling (CDM) for relational databases can declare constraints on both computed and stored relations, and abstracts from entity-relationship (E/R) modeling by not distinguishing between entities and attributes. To provide a formal semantics, better interoperability, and arbitrary constraints, we can map CDM to a wide-spectrum algebraic specification language such as Maude. A case study is presented using a functional module to represent a conceptual data model and its constraints, and a system module to obtain a constraint-enforcing interpreter allowing concurrent edits to the database state.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lippe, E., ter Hofstede, A.: A Category Theory Approach to Conceptual Data Modeling. In: RAIRO Theoretical Informatics and Applications. Faculty of Mathematics and Informatics, vol. 30, pp. 31–79. University of Nijmegen, Nijmegen, The Netherlands (1996)

    Google Scholar 

  2. Chen, P.: The Entity-Relationship Model: Toward a Unified View of Data. ACM Trans DB Sys. 1(1), 9–36 (1976)

    Article  Google Scholar 

  3. Meseguer, J., Braga, C.: Modular Rewriting Semantics of Programming Languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 364–378. Springer, Heidelberg (2004)

    Google Scholar 

  4. Halpin, T.: Object-Role Modeling (ORM/NIAM). In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, ch. 4, Springer, Berlin (1998)

    Google Scholar 

  5. Halpin, T.: Conceptual Schema and Relational Database Design, 2nd edn. Prentice-Hall, Sydney, Australia (1995)

    Google Scholar 

  6. Paulussen, G.: AIS1: Halpin hfdst 10. Relational Mapping: Implementing a Conceptual Schema. From FORML-Guide ch. 6 t/m BLZ 104 (2003), http://www.cs.ru.nl/G.Paulussen/AIS1/Sheets/SheetsWeek05Dinsdag.pdf

  7. ter Hofstede, A., Proper, H., van der Weide, T.: Formal definition of a conceptual language for the description and manipulation of information models. Information Systems 18, 489–523 (1993)

    Article  Google Scholar 

  8. Bakema, G., Zwart, J., van der Lek, H.: Fully Communication-Oriented NIAM. In: Nijssen, G., Sharp, J. (eds.) NIAM-ISDM 1994 Conf. Working Papers, Albuquerque, NM, USA, pp. L1–35 (1994)

    Google Scholar 

  9. Nijssen, G., Halpin, T.: Conceptual Schema and Relational Database Design: A Fact-Oriented Approach. Prentice-Hall, Sydney, Australia (1989)

    Google Scholar 

  10. Clavel, M., Egea, M.: An Algebraic Semantics for UML+OCL Class Diagrams. Universidad Complutense de Madrid, Spain, (2006), Available on the web at http://maude.sip.ucm.es/~marina/pubs/fase06.pdf

  11. Durán, F., Vallecillo, A.: Writing ODP Information Specifications in Maude. Technical Report ITI-2001-10, Dpto. de Lenguajes y Ciencias de la Computación, Universidad de Málaga, Málaga, Spain (2001), Available at http://www.lcc.uma.es/~av/Publicaciones/01/ITI-2001-10.pdf

  12. Durán, F., Vallecillo, A.: Writing ODP Enterprise Specifications in Maude. In: Cordeiro, J., Kilov, H., (eds.) Proc. of WOODPECKER’01, Setubal, Portugal, pp. 55–68 (2001), An extended version is available as technical report at http://www.lcc.uma.es/~av/Publicaciones/01/ITI-2001-8.pdf

  13. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2). SRI International, Menlo Park, CA, USA (2005)

    Google Scholar 

  14. Meseguer, J.: Software Specification and Verification in Rewriting Logic. In: Models, Algebras, and Logic of Engineering Software. NATO Advanced Study Institute, pp. 133–193. IOS Press, Amsterdam (2003)

    Google Scholar 

  15. Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.P.: Introducing OBJ. In: Goguen, J., Malcolm, G. (eds.) Software Engineering with OBJ: Algebraic Specification in Action, Kluwer Academic Publishers, Dordrecht (2000)

    Google Scholar 

  16. Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998)

    Google Scholar 

  17. Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Comput. Sci. 96, 73–155 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  18. Vigna, S.: Multirelational semantics for extended entity-relationship schemata with applications. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 35–49. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  19. Bruni, R., Gaducci, F.: Some algebraic laws for spans (and their connections with multi-relations). In: Kahl, W., Parnas, D., Schmidt, G. (eds.) Relational Methods in Software. Electronic Notes in Theoretical Computer Science, vol. 44(3), Elsevier, Amsterdam (2001)

    Google Scholar 

  20. Barbosa, L.: A Brief Introduction to Bicategories. Technical Report DI-PURe-03:12:10, Departamento de Informática da Universidade do Minho, Campus de Gualtar, Braga, Portugal (2003)

    Google Scholar 

  21. Mattic Software (Infagon 5.0), available on the web at http://www.infagon.com

  22. Vigna, S.: ERW: Entities and relationships on the web. In: Poster Proc. of 11th International World Wide Web Conference, Honolulu, USA (2002)

    Google Scholar 

  23. van der Weide, T.: Domain Modeling: The systematic construction of an ontology. In: The DaVinci Series of Lecture Notes: The Art & Craft of Information Systems Engineering, Radboud University Nijmegen, Nijmegen, The Netherlands (2005)

    Google Scholar 

  24. Franconi, E., Ng, G.: ICOM Intelligent Conceptual Modelling Tool, Version 1.1 Manual (Draft), http://www.cs.man.ac.uk/~franconi/icom/

  25. Halpin, T., Proper, H.: Database Schema Transformation & Optimization. In: Papazoglou, M.M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, Springer, Heidelberg (1995)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. No Affiliation,  

    Scott Alexander

Authors
  1. Scott Alexander
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Till Mossakowski Ugo Montanari Magne Haveraaen

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Alexander, S. (2007). Conceptual Data Modeling with Constraints in Maude. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds) Algebra and Coalgebra in Computer Science. CALCO 2007. Lecture Notes in Computer Science, vol 4624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73859-6_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73859-6_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73857-2

  • Online ISBN: 978-3-540-73859-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation