Abstract
In the paper a graph-based specification language for semantic modeling is proposed. It is as handy as conventional graphical languages but, in contrast to them, possesses a precisely formalized semantics based on certain ideas of the mathematical category theory. In particular, it provides mathematically correct semantics for formerly somewhat mythical notions of object identity and weak entity type. Among other benefits of the approach there are provable (!) universality w.r.to simulation of any other formal data specification, flexibility and unification in treating various kinds of associations and relationships, precise semantic basis for the familiar distinguishing between the specialization and generalization ISA-relationships, intrinsic object-orientedness.
Supported by Grant 94.315 from the Latvian Council of Science
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul and R. Hull. IFO: a formal semantic database model. ACM TODS, 12(4):525–565, 1987.
M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall International Series in Computer Science, 1990.
B. Cadish and Z. Diskin. Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations. In Next Generation of Information Technologies and Systems,NGITS'95, 2nd Int. Workshop, pages 69–79, Naharia (Israel), 1995.
P.P. Chen. The entity-relationship model — Towards a inified view of data. ACM Trans.Database Syst., 1(1):9–36, 1976.
E.F. Codd. Extending the database relational model to capture more meaning. ACM Trans.Database Syst., 4(4):397–434, 1979.
Z. Diskin. Formalizing graphical schemas for conceptual modeling: Sketch-based logic vs. heuristic pictures. Technical Report 95–01, Frame Inform Systems/LDBD, Riga, Latvia, 1995. To appear in Proc. of Int. KRUSE Symp. ”Knowledge Retrieval, Use and Storage for Efficiency” (Santa Crus, CA), 1995 (On ftp: //ftp.cs.chalmers.se/pub/users/diskin/Rep9501.*).
M. Hammer and D. McLeod. Database description with SDM: A semantic database model. ACM Trans.Database Syst., 6(3):351–386, 1981.
R. Hull and R. King. Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys, 19(3):201–260, 1987.
L. Liu. Exploring semantics in aggregation hierarchies for object-oriented databases. In Int.Conf. on Data Engineering, ICDE'92, pages 116–125, 1992.
V. Markowitz and A. Shoshani. An overview of the Laurence Berkeley Laboratory extended entity-relationship database tools. Technical report, 1993.
C. Parent and S. Spaccapietra. ERC+: an object-based entity-relationship approach. In Conceptual modeling, databases and CASE: An integrated view of Information System Development, 1992.
S. Spaccapietra, C. Parent. M. Sunye, and K. Yetongton. Object orientation and conceptual modeling. Technical report, 1993
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Diskin, Z., Cadish, B. (1995). Variable sets and functions framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers. In: Papazoglou, M.P. (eds) OOER '95: Object-Oriented and Entity-Relationship Modeling. ER 1995. Lecture Notes in Computer Science, vol 1021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020535
Download citation
DOI: https://doi.org/10.1007/BFb0020535
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60672-7
Online ISBN: 978-3-540-48527-8
eBook Packages: Springer Book Archive