Proving semantical equivalence of data specifications

Journal of Pure and Applied Algebra

Volumn 116, Issue 1-3, 1997, Pages 291-322

  Piessens, Frank ^a   Steegmans, Eric ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031588895     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(96)00168-5     Document Type: Article

References (28)

1. [1] S. Abiteboul, R. Hull and V. Vianu, Foundations of Databases (Addison-Wesley, Reading, MA, 1995).
2. [2] J. Adámek and J. Rosický, Locally Presentable and Accessible Categories (Cambridge Univ. Press, Cambridge, 1994).
3. [3] A. Bagchi and C. Wells, Graph-based logic and sketches I: The general framework, Preprint distributed on the category theory mailing list, 1994.
4. [4] M. Barr and C. Wells, Toposes, Triples and Theories, Grundlehren der mathematischen Wissenschaften, Vol. 278 (Springer, New York, 1985).
5. [5] M. Barr and C. Wells, Category Theory for Computing Science, Prentice-Hall International Series in Computer Science (Prentice-Hall, Englewood Cliffs, NJ, 1990).
6. [6] C. Batini, M. Lenzerini and S.B. Navathe, A comparative analysis of methodologies for database schema integration, ACM Comput. Surveys 15 (1986) 323-364.
7. [7] F. Borceux, Handbook of Categorical Algebra, Vols. I-III (Cambridge Univ. Press, Cambridge, 1993).
8. [8] 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 (1995) 69-79.
9. [9] P.P. Chen, The entity-relationship model - towards a unified view of data, ACM Trans. Database Systems 1 (1976) 9-36.
10. [10] P. Coad and E. Yourdon, Object-Oriented Analysis (Yourdon Press, NJ, 1990).
11. [11] M. Coste, Localisation, spectra and sheaf representation, in: Applications of Sheaves, Lecture Notes in Mathematics, Vol. 753 (Springer, Berlin, 1979).
12. [12] N. Dershowitz, Orderings for term-rewriting systems, Theoret. Comput. Sci. 17 (1982) 279-301.
13. [13] Z. Diskin, Formalizing graphical schemas for conceptual modeling: sketch-based logic vs. heuristic pictures, Technical Report 01, Frame Inform Systems/LDBD, Riga, Latvia, 1995.
14. [14] P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. 7 (1972) 1-72.
15. [15] H. Ganzinger, A completion procedure for conditional equations, J. Symbol. Comput. 11 (1991) 51-81.
16. [16] S. Kaplan, Conditional rewrite rules, Theoret. Comput. Sci. 33 (1984) 175-193.
17. [17] J. Lambek and P. Scott, Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics, Vol. 7 (Cambridge Univ. Press, Cambridge, 1986).
18. [18] M. Makkai, Generalized sketches as a framework for completeness theorems, Preprint, McGill University, 1993.
19. [19] M. Makkai and G.E. Reyes, First Order Categorical Logic, Lecture Notes in Mathematics, Vol. 611 (Springer, Berlin, 1977).
20. [20] C. McLarty, Left exact logic, J. Pure Appl. Algebra 41 (1986) 63-66.
21. [21] P. Padawitz, Computing in Horn Clause Theories, EATCS Monographs on Theoretical Computer Science, Vol. 16 (Springer, Berlin, 1988).
22. [22] F. Piessens, Semantic data specifications: an analysis based on a categorical formalization, Ph.D. Thesis, Katholieke Universiteit Leuven, Department of Computer Science, 1996.
23. [23] F. Piessens and E. Steegmans, Categorical data-specifications, Theory Appl. Categories 1 (1995) 156-173.
24. [24] H. Reichel, Initial Computability, Algebraic Specifications and Partial Algebras (Clarendon Press, Oxford, 1987).
25. [25] S. Spaccapietra and C. Parent, Conflicts and correspondence assertions in interoperable databases, SIGMOD Record 20 (1991) 49-54.
26. [26] E. Steegmans, J. Lewi, M. D'Haese, J. Dockx, D. Jehoul, B. Swennen, S. Van Baelen and P. Van Hirtum, Eroos reference manual, Technical Report 208, Katholieke Universiteit Leuven, Department of Computing Science, 1995.
27. [27] S. Van Baelen, J. Lewi, E. Steegmans and H. Van Riel, EROOS: An entity-relationship based object-oriented specification method, in: G. Heeg, B. Magnusson and B. Meyer, eds., Technology of Object-Oriented Languages and Systems TOOLS 7 (Prentice-Hall, Englewood Cliffs, NJ, 1991) 103-117.
28. [28] C. Wells, A generalization of the concept of sketch, Theoret. Comput. Sci. 70 (1990) 159-178.