Selective attribute elimination for categorical data specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1349, Issue , 1997, Pages 424-436

  Piessens, Frank ^a   Steegmans, Eric ^a  

^a KU Leuven   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SEMANTICS; SOFTWARE DESIGN; SPECIFICATIONS;

CATEGORICAL DATA; ENTITY-TYPES; OBJECT ORIENTED SOFTWARE DEVELOPMENT; REAL-WORLD; SEMANTIC DATA; VIEW INTEGRATIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 84947918636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0000487     Document Type: Conference Paper

References (18)

1. C. Batini, M. Lenzerini, and S. B. Navathe. A comparitive analysis of methodologies for database schema integration. ACM Computing Surveys, 15(4):323-364, 1986.
2. Francis Borceux. Handbook of Categorical Algebra, volume 1, 2 and 3. Cambridge University Press, 1993.
3. Boris Cadish and Zinovy Diskin. Algebraic graph-oriented = categorytheory-based: Categorical data modelling manifesto. Technical report, Frame Inform Systems, Database Design Laboratory, Latvia, July 1994.
4. 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, pages 69-79, 1995.
5. P. P. Chen. The entity-relationship model - towards a unified view of data. A CM Transactions on Database Systems, 1(1):9-36, 1976.
6. P. Coad and E. Yourdon. Object-Oriented Analysis. Yourdon Press, New Jersey, 1990.
7. Z. Diskin, B. Cadish, and I. Beylin. Algebraic graph-based approach to management of multibase systems, II: Algebraic aspects of schema integration. To appear in the proceedings of the Moscow ACM Chapter Conference ADBIS’95, 1995.
8. M. Johnson and C.N.G. Dampney. A mathematical foundation for era. In Proceedings of the Institute for Mathematics and its Applications, pages 77-84, 1992.
9. M. Johnson and C.N.G. Dampney. Category theory and information systems engineering. In Proceedings of AMAST’93, pages 95-103, 1993.
10. M. Johnson, R. Rosebrugh, and R.J. Wood. Entity-relationship models and sketches. Preprint, 1997.
11. Frank Piessens. Semantic Data Specifications: an Analysis Based on a Categorical Formalization. PhD thesis, Katholieke Universiteit Leuven, Dept. of Computer Science, 1996. In preparation.
12. Frank Piessens and Eric Steegmans. Canonical forms for data-specifications. In Proceedings of Computer Science Logic 95, number 933 in Lecture Notes in Computer Science, pages 397-411. Springer-Verlag, 1994.
13. Frank Piessens and Eric Steegmans. Categorical data-specifications. Theory and Applications of Categories, 1:156-173, 1995.
14. Stefano Spaccapietra and Christine Parent. Conflicts and correspondence assertions in interoperable databases. SIGMOD Record, 20(4):49-54, December 1991.
15. Chris Tuijn. Data Modeling from a Categorical Perspective. PhD thesis, Universitaire Instelling Antwerpen, 1994.
16. Stefan Van Baden, Johan Lewi, Eric Steegmans, and H. Van Riel. EROOS: An entity-relationship based object-oriented specification method. In G. Heeg, B. Magnusson, and B. Meyer, editors, Technology of Object-Oriented Languages and Systems TOOLS 7, pages 103-117. Prentice Hall, 1991.
17. Steve Vickers. Geometric theories and databases. In Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 288-314, 1992.
18. Steve Vickers. Geometric logic in computer science, 1993. Available by anonymous FTP from theory.doc.ie.ae.ak in directory papers/Yickers. The paper is called GLiCS. dvi.