SpringerLink
Log in

Algebraic Model Management: A Survey

  • Conference paper
  • First Online:
Recent Trends in Algebraic Development Techniques (WADT 2016)

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

Included in the following conference series:

Abstract

We survey the field of model management and describe a new model management approach based on algebraic specification.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or Ebook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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 EPUB and 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 ship** worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley-Longman, Boston (1995)

    MATH  Google Scholar 

  2. Alagić, S., Bernstein, P.A.: A model theory for generic schema management. In: Ghelli, G., Grahne, G. (eds.) DBPL 2001. LNCS, vol. 2397, pp. 228–246. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46093-4_14

    Chapter  Google Scholar 

  3. Barr, M., Wells, C.: Category Theory for Computing Science. Prentice Hall International (1995)

    Google Scholar 

  4. Bernstein, P.A., Melnik, S.: Model management 2.0: manipulating richer map**s. In: ICMD (2007)

    Google Scholar 

  5. Doan, H., Halevy, A., Ives, Z.: Principles of Data Integration. Morgan Kaufmann, Burlington (2012)

    Google Scholar 

  6. Enderton, H.B.: A Mathematical introduction to logic. Academic Press, Cambridge (2001)

    MATH  Google Scholar 

  7. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.: Composing schema map**s: second-order dependencies to the rescue. TODS 30(4), 994–1055 (2005)

    Article  Google Scholar 

  9. Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.: Quasi-inverses of schema map**s. TODS 33(2), 11 (2008)

    Article  Google Scholar 

  10. Fagin, R.: Inverting schema map**s. TODS 32(4), 25 (2007)

    Article  MATH  Google Scholar 

  11. Fleming, M., Gunther, R., Rosebrugh, R.: A database of categories. J. Symbolic Comput. 35(2), 127–135 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ghilardi, S., Lutz, C., Wolter, F.: Did I damage my ontology? Principles of knowledge representation and reasoning (2006)

    Google Scholar 

  13. Goguen, J.: Information integration in institutions (unpublished) (2004). http://cseweb.ucsd.edu/~goguen/pps/ifi04.pdf

  14. Haas, L.M., Hernández, M.A., Ho, H., Popa, L., Roth, M.: Clio grows up: from research prototype to industrial tool. In: ICMD (2005)

    Google Scholar 

  15. Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  16. Melnik, S.: Generic Model Management: Concepts and Algorithms. LNCS. Springer, Heidelberg (2004)

    Book  MATH  Google Scholar 

  17. Mitchell, J.C.: Foundations of Programming Languages. MIT Press, Cambridge (1996)

    Google Scholar 

  18. Mossakowski, T., Krumnack, U., Maibaum, T.: What is a derived signature morphism? In: Codescu, M., Diaconescu, R., Ţuţu, I. (eds.) WADT 2015. LNCS, vol. 9463, pp. 90–109. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-28114-8_6

    Chapter  Google Scholar 

  19. Schultz, P., Spivak, D.I., Vasilakopoulou, C., Wisnesky, R.: Algebraic databases. Theory and Applications of Categories (2017)

    Google Scholar 

  20. Schultz, P., Wisnesky, R.: Algebraic data integration. J. Funct. Program. 27 (2016). Cambridge University Press. https://doi.org/10.1017/S0956796817000168

  21. Spivak, D.I.: Functorial data migration. Inf. Comput. 217, 31–51 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  22. Spivak, D.I.: Database queries and constraints via lifting problems. Math. Struct. Comput. Sci. 6(24) (2014)

    Google Scholar 

  23. Spivak, D.I., Wisnesky, R.: Relational foundations for functorial data migration. In: DBPL (2015)

    Google Scholar 

Download references

Acknowledgements

The authors thank Lucian Popa, Eswaran Subrahmanian, and Peter Gates and were supported by NIST SBIR grant 70NANB 16H178, AFOSR grant FA9550–14–1–0031 and NASA grant NNL14AA05C.

Author information

Authors and Affiliations

  1. Massachusetts Institute of Technology, Cambridge, MA, USA

    Patrick Schultz & David I. Spivak

  2. Categorical Informatics, Inc., Cambridge, MA, USA

    Ryan Wisnesky

Authors
  1. Patrick Schultz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David I. Spivak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ryan Wisnesky
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ryan Wisnesky .

Editor information

Editors and Affiliations

  1. Swansea University, Swansea, United Kingdom

    Phillip James

  2. Swansea University, Swansea, United Kingdom

    Markus Roggenbach

Rights and permissions

Reprints and permissions

Copyright information

© 2017 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Schultz, P., Spivak, D.I., Wisnesky, R. (2017). Algebraic Model Management: A Survey. In: James, P., Roggenbach, M. (eds) Recent Trends in Algebraic Development Techniques. WADT 2016. Lecture Notes in Computer Science(), vol 10644. Springer, Cham. https://doi.org/10.1007/978-3-319-72044-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-72044-9_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-72043-2

  • Online ISBN: 978-3-319-72044-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation