Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling

Data and Knowledge Engineering

Volumn 47, Issue 1, 2003, Pages 1-59

  Diskin, Zinovy ^a,b   Kadish, Boris ^a,c  

^a FIS Group Inc   (Latvia)

^b 15075 Lincoln Street #620 ^*  (United States)

^c Frame Inform Sustems Ltd   (Latvia)

Author keywords

Aggregation; Association; Category theory; Composition; Conceptual modeling; Entity; ER; Formal semantics; Generalization; Keyed sketch; Object identity; Object oriented visual modeling; Relationship; UML; Variable set

Indexed keywords

HIERARCHICAL SYSTEMS; OBJECT ORIENTED PROGRAMMING; QUERY LANGUAGES; STORAGE ALLOCATION (COMPUTER);

CATEGORY THEORY;

SEMANTICS;

EID: 0042529143     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0169-023X(03)00047-8     Document Type: Article

References (43)

1. Abiteboul S., Hull R. IFO: a formal semantic database model. ACM TODS. 12(4):1987;525-565.
2. M. Barr, C. Wells, Category theory for computing science, Prentice Hall International Series in Computer Science, 1995.
3. Beeri C. A formal approach to object-oriented databases. Data & Knowledge Engineering. 5:1990;353-382.
4. Bernstein P., Halevy A., Pottinger R. A vision for management of complex models. SIGMOD Record. 29(4):2000;55-63.
5. Buneman P., Davidson S., Kosky A. Theoretical aspects of schema merging. Pirotte A., Delobel C., Gottlob G. Advances in Database Technology - EDBT'92, Third International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings, Lecture Notes in Computer Science, vol. 580. 1992;Springer.
6. B. Cadish, Z. Diskin, Heterogenious view integration via sketches and equations, in: Z.W. Ras, M. Michalewicz (Eds.), Foundations of Intelligent Systems, Nineth International Symposium, ISMIS'96, Springer Lecture Notes in AI, vol. 1079, 1996, pp. 603-612.
7. Chen P.P. The entity-relationship model - towards a unified view of data. ACM Transactions on Database Systems. 1(1):1976;9-36.
8. Codd E.F. Extending the database relational model to capture more meaning. ACM Transactions on Database Systems. 4(4):1979;397-434.
9. Z. Diskin, Variable set semantics for generalized sketches: Why ER is more object-oriented than OO. Technical Report 9603, Frame Inform Systems, Riga, Latvia, 1996. Available from 〈ftp://ftp.fis.lv/pub/diskin/FISReport 96-03.ps〉.
10. Z. Diskin, Generalized sketches as an algebraic graph-based framework for semantic modeling and database design. Technical Report 9701, University of Latvia, 1997. Available from 〈ftp://ftp.fis.lv/pub/diskin/ULReport M97.ps〉.
11. Z. Diskin, The arrow logic of meta-specifications: a formalized graph-based framework for structuring schema repositories, in: H. Kilov, B. Rumpe, I. Simmonds (Eds.), Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, OOPSLA98, TUM-I9820, Technische Universitaet Muenchen, 1998. Available from 〈ftp://ftp.fis.lv/pub/diskin/OOPSLA98.ps〉.
12. Z. Diskin, Representation of objects by values: towards semantic foundations of object-oriented relational database systems. Technical Report 9802, Frame Inform Systems, Riga, Latvia, 1998. Available from 〈ftp://ftp.fis.lv/pub/diskin/FIS Report 98-02.ps〉.
13. Z. Diskin, Dynamic formal semantics and abstract syntax for the static part of the UML. Manuscript, 2001.
14. Z. Diskin, On modeling, mathematics, category theory and RM-ODP, in: J. Cordeiro, H. Kilov (Eds.), WOODPECKER'2001: First International Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineeiring and Realization, (In conjunction with ICEIS'2001), Setubal, Portugal, July 2001, ICEIS Press, Setubal, Portugal, 2001, pp. 38-54. Available from 〈ftp://ftp.fis.lv/pub/diskin/RMODP01.ps〉.
15. Visualization vs. specification in diagrammatic notations: a case study with the UML (extended abstract), in: M. Hegarty, B. Meyer, H. Narayanan (Eds.), Diagrammatic Representation and Inference, 2nd Int. Conf. on the theory and applications of diagrams, Springer Lect. Notes in AI, vol. 2317, 2002, pp. 112-115, full version is on 〈ftp://ftp.fis.lv/pub/diskin/Diagrams02.ps〉.
16. Z. Diskin, B. Kadish, A graphical yet formalized framework for specifying view systems, in: First East-Europian Symposium on Advances in Databases and Information Systems, ADBIS'97. St.-Petersburg, September 2-5, 1997, Regular Papers, vol. 1, Nevsky Dialect, 1997, pp. 123-132. Available from 〈ftp://ftp.fis.lv/pub/diskin/ADBIS97.ps〉.
17. Z. Diskin, B. Kadish, F. Piessens, M. Johnson, Universal arrow foundations for visual modeling, in: M. Anderson, P. Cheng, V. Haarslev (Eds.), Diagrams'2000: First International Conference on the Theory and Applications of Diagrams, Springer Lecture Notes in AI, vol. 1889, 2000, pp. 345-360.
18. Ghilardi S., Meloni G. Relational and partial variable sets and basic predicate logic. Journal of Symbolic Logic. 61:1996;843-872.
19. J. Goguen, G. Roşu, Hiding more of hidden algebra, in: Formal methods, FM'99, Springer Lecture Notes in Computer Science, vol. 1709, 1999, pp. 1704-1719.
20. Goguen J., Thatcher J., Wagner E. An initial algebra approach to the specification, correctness and implementation of abstract data types. Yeh R. Current trends in programming methodology. 1978;80-149 Prentice Hall.
21. Gradel E., Gurevich Ju. Metafinite model theory. Leivant D. Logic and computational complexity. 1995;313-366 Springer.
22. J. Gray, The category of sketches as a model for algebraic semantics, in: J. Gray, A. Scedrov (Eds.), Categories in computer science and logic, Contemporary Mathematics, vol. 92, American Mathematical Society, 1989.
23. M. Gyssens, J. Paredaens, D. Van Gutch, A graph-oriented object database model, in: 1990 ACM Symposium on Principles of Database Systems, 1990, pp. 417-424.
24. Hammer M., McLeod D. Database description with SDM: A semantic database model. ACM Transactions on Database Systems. 6(3):1981;351-386.
25. Hull R., King R. Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys. 19(3):1987;201-260.
26. IBM. OCL Document Set, 1997. Available from 〈http://www-4.ibm.com/software/ad/library/standards/ocl.html〉.
27. Jacobs B., Rutten J. A tutorial on (Co)algebras and (Co)induction. EATCS Bulletin. 62:1997;222-259.
28. Jacobs B. Coalgebraic reasoning about classes in object-oriented languages. Reichel H., Jacobs B., Moss L., Rutten J. Electronic notes in theoretical computer science, vol. 11. 1998;Elsevier Science Publishers.
29. M. Johnson, C.N.G. Dampney, On the value of commutative diagrams in information modeling, in: Algebraic Methodology and Software Technology, AMAST'93. Springer, 1993.
30. Johnson M., Rosebrugh R., Wood R. Entity-relationship-attribute designs and sketches. Theory and Applications of Categories. 10(3):2002;94-112.
31. S.N. Khoshafian, G.P. Copeland, Object identity, in: ACM Conference OOPSLA'86, 1986, pp. 406-415.
32. Kifer M., Lausen G., Wu J. Logical foundations of object-oriented and frame-based languages. Journal ACM. 42(4):1995;741-843.
33. Kilov H. Business specifications: the key to successful software engineering. 1999;Prentice Hall PTR.
34. S.K. Lellahi, N. Spyratos, Towards a categorical data model supporting structured objects and inheritance, in: Next Generation Information Systems, Springer Lecture Notes in Computer Science, vol. 504, Kiev, 1990.
35. Paredaens J., Peelman P., Tanca L. G-log: a graph-based query language. TKDE. 7(3):1995;436-453.
36. Piessens F., Steegmans E. Proving semantical equivalence of data specifications. Journal of Pure and Applied Algebra. (116):1997;291-322.
37. Rumbaugh J., Jacobson I., Booch G. The unified modeling language reference manual. 1999;Addison-Wesley.
38. Shipman D. The functional data model and the data language DAPLEX. ACM TODS. 6(1):1981;140-173.
39. Teorey T.J., Yang D., Fry J.P. A logical design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys. 18(2):1986;22-197.
40. ter Hofstede A., Lippe E., Van der Weide Th. Applications of a categorical framework for conceptual data modelling. Acta Informatica. 34(12):1997;927-963.
41. Tsichritzis D.C., Lochovsky F.H. Data models. 1982;Prentice-Hall, Englewood Cliffs, NY.
42. Tuijn C., Gyssens M. CGOOD, a categorical graph-oriented object data model. Theoretical Computer Science. (160):1996;217-239.
43. Wirsing M. Algebaric specifications. van Leeuwen J. Handbook of theoretical computer science, vol. B. 1990;673-788 Elsevier/MIT Press.