dc.contributor.author | Zielinski, Bartosz | |
dc.contributor.author | Maślanka, Paweł | |
dc.contributor.author | Sobieski, Ścibor | |
dc.date.accessioned | 2016-04-26T07:20:16Z | |
dc.date.available | 2016-04-26T07:20:16Z | |
dc.date.issued | 2014 | |
dc.identifier.issn | 2075-1680 | |
dc.identifier.uri | http://hdl.handle.net/11089/17875 | |
dc.description.abstract | Allegories are enriched categories generalizing a category of sets and binary relations. In this paper, we extend a new, recently-introduced conceptual data model based on allegories by adding support for modal operators and developing a modal interpretation of the model in any allegory satisfying certain additional (but natural) axioms. The possibility of using different allegories allows us to transparently use alternative logical frameworks, such as fuzzy relations. Mathematically, our work demonstrates how to enrich with modal operators and to give a many world semantics to an abstract algebraic logic framework. We also give some examples of applications of the modal extension. | pl_PL |
dc.description.sponsorship | We would like to thank the reviewers for their helpful suggestions. | pl_PL |
dc.language.iso | en | pl_PL |
dc.publisher | MDPI AG | pl_PL |
dc.relation.ispartofseries | Axioms;2 | |
dc.rights | Uznanie autorstwa 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/pl/ | * |
dc.subject | allegories | pl_PL |
dc.subject | data modeling | pl_PL |
dc.subject | modal logic | pl_PL |
dc.title | Modalities for an Allegorical Conceptual Data Model | pl_PL |
dc.type | Article | pl_PL |
dc.page.number | 260-279 | pl_PL |
dc.contributor.authorAffiliation | University of Łódź, Faculty of Physics and Applied Informatics | pl_PL |
dc.references | Freyd, P.; Scedrov, A. Categories, Allegories; North-Holland Mathematical Library; Elsevier Science: New York, NY, USA, 1990 | pl_PL |
dc.references | Tarski, A.; Givant, S. A Formalization of Set Theory Without Variables; Number t. 41 in A Formalization of Set Theory without Variables; American Mathematical Society: Providence, RI, USA, 1987 | pl_PL |
dc.references | Lippe, E.; Hofstede, A. A Category Theory Approach to Conceptual Data Modeling; University of Nijmegen, Computing Science Institute: Tartu, Estonia, 1994 | pl_PL |
dc.references | Piessens, F.; Steegmans, E. Selective attribute elimination for categorical data specifications. In Algebraic Methodology and Software Technology; Johnson, M., Ed.; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 1997; Volume 1349, pp. 424–436 | pl_PL |
dc.references | Rosebrugh, R.; Wood, R.J. Relational databases and indexed categories. In Proceedings of the International Category Theory Meeting, CMS Conference Proceedings, Montreal, QC, Canada, 23–30 June 1991; American Mathematical Society: Providence, RI, USA, 1992; Volume 13, pp. 391–407 | pl_PL |
dc.references | Johnson, M.; Rosebrugh, R. Sketch data models, relational schema and data specifications. Electron. Notes Theor. Comput. Sci. 2002, 61, 51–63 | pl_PL |
dc.references | Diskin, Z.; Kadish, B. Algebraic Graph-Oriented = Category Theory Based—Manifesto of Categorizing Database Theory; Technical Report for Laboratory for Database Design; Frame Inform Systems: Riga, Latvia, 1995 | pl_PL |
dc.references | Diskin, Z. Formalizing graphical schemas for conceptual modeling: Sketch-based Logic vs. heuristic pictures. In Proceedings of the 10th International Congress of Logic, Methodology and Philosophy of Science, Florence, Italy, 9–25 August 1995; pp. 40–41 | pl_PL |
dc.references | Diskin, Z. Generalised Sketches as an Algebraic Graph-Based Framework for Semantic Modeling and Database Design; University of Latvia: Riga, Latvia, 1997 | pl_PL |
dc.references | Spivak, D.I. Simplicial Databases. CoRR 2009, abs/0904.2012 | pl_PL |
dc.references | Zielinski, B.; Maslanka, P.; Sobieski, S. Allegories for database modeling. In Model and Data Engineering; Cuzzocrea, A., Maabout, S., Eds.; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 2013; Volume 8216, pp. 278–289 | pl_PL |
dc.references | Johnson, M.; Rosebrugh, R. Fibrations and universal view updatability. Theor. Comput. Sci. 2007, 388, 109–129 | pl_PL |
dc.references | Johnson, M.; Rosebrugh, R.; Wood, R.J. Lenses, fibrations and universal translations. Math. Struct. Comput. Sci. 2012, 22, 25–42 | pl_PL |
dc.references | Johnson, M.; Kasangian, S. A relational model of incomplete data without nulls. In Proceedings of the Sixteenth Symposium on Computing: The Australasian Theory (CATS ’10), Brisbane, Australia, 18–21 January 2010; Australian Computer Society, Inc.: Darlinghurst, Australia, 2010; Volume 109, pp. 89–94 | pl_PL |
dc.references | Barr, M.; Wells, C. Category Theory for Computing Science; Prentice-Hall International Series in Computer Science; Prentice Hall: Upper Saddle River, NJ, USA, 1995 | pl_PL |
dc.references | Davey, B.; Priestley, H. Introduction to Lattices and Order; Cambridge Mathematical Text Books; Cambridge University Press: Cambridge, UK, 2002 | pl_PL |
dc.references | Winter, M. Products in categories of relations. J. Log. Algebr. Program. 2008, 76, 145–159, Relations and Kleene Algebras in Computer Science | pl_PL |
dc.references | Rosenfeld, A. An Introduction to Algebraic Structures; Holden-Day: San Francisco, CA, USA, 1968 | pl_PL |
dc.references | Blackburn, P.; van Benthem, J.; Wolter, F. Handbook of Modal Logic; Studies in Logic and Practical Reasoning; Elsevier Science: New York, NY, USA, 2006 | pl_PL |
dc.references | Blackburn, P.; de Rijke, M.; Venema, Y. Modal Logic; Cambridge Tracts in Theoretical Computer Science; Cambridge University Press: Cambridge, UK, 2002 | pl_PL |
dc.references | Diaconescu, R.; Stefaneas, P. Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 2007, 379, 210–230 | pl_PL |
dc.references | Goguen, J.; Burstall, R. Introducing institutions. In Logics of Programs; Clarke, E., Kozen, D., Eds.; Lecture Notes in Computer Science; Springer: Berlin/Heidelberg, Germany, 1984; Volume 164, pp. 221–256 | pl_PL |
dc.contributor.authorEmail | bzielinski@uni.lodz.pl | pl_PL |
dc.relation.volume | 3 | pl_PL |