View updates in a semantic data modelling paradigm

Proceedings - 12th Australasian Database Conference, ADC 2001

Volumn , Issue , 2001, Pages 29-36

  Johnson, M ^a   Rosebrugh, R ^b   Dampney, C N G ^a  

^a MACQUARIE UNIVERSITY   (Australia)

^b MOUNT ALLISON UNIVERSITY   (Canada)

Author keywords

category theory; data model; semantic data modelling; View update

Indexed keywords

DATA STRUCTURES; INFORMATION ANALYSIS; SEMANTICS;

CATEGORY THEORY; SEMANTIC DATA; SEMANTIC MODELLING; SKETCH DATA MODELS; UNIVERSAL ALGEBRA; VIEW UPDATE; VIEW UPDATE PROBLEMS;

DATABASE SYSTEMS;

EID: 84964411299     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ADC.2001.904461     Document Type: Conference Paper

References (30)

1. Serge Abiteboul and Oliver M. Duschka. Complexity of Answering Queries Using Materialized Views. ACM PODS-98, 254-263, 1998.
2. P. Atzeni and R. Torlone. Updating relational databases through weak instance interfaces. ACM TODS, 17:718-743, 1992.
3. M. Barr and C. Wells. Category theory for computing science. Prentice-Hall, second edition, 1995.
4. M. Barr and C. Wells. Toposes, Triples and Theories. Grundlehren Math. Wiss. 278, Springer Verlag, 1985.
5. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM TODS, 6:557-575 1981.
6. F. Borceux. Handbook of Categorical Algebra 3. Cambridge University Press, 1994.
7. P. P. -S. Chen. The Entity-Relationship Model - Toward a Unified View of Data. ACM Transactions on Database Systems, 2:9-36, 1976.
8. C. N. G. Dampney and Michael Johnson. Fibrations and the DoH Data Model. Consultants' report to NSW Department of Health, 1999.
9. C. N. G. Dampney, Michael Johnson and G. M. McGrath. Audit and Enhancement of the Caltex Information Strategy Planning (CISP) Project. Consultants' report to Caltex, 1993.
10. C. N. G. Dampney, Michael Johnson, and G. P. Monro. An illustrated mathematical foundation for ERA. In The unified computation laboratory, pages 77-84, Oxford University Press, 1992.
11. C. J. Date. Introduction to Database Systems. Addison-Wesley, fourth edition, 1986.
12. C. J. Date. Introduction to Database Systems, Volume 2. Addison-Wesley, 1983.
13. U. Dayal and P. A. Bernstein. On the correct translation of update operations on relational views. ACM TODS, 7:381-416, 1982.
14. Zinovy Diskin and Boris Cadish. Algebraic graph-based approach to management of multidatabase systems. In Proceedings of The Second International Workshop on Next Generation Information Technologies and Systems (NGITS '95), 1995.
15. Zinovy Diskin and Boris Cadish. Variable set semantics for generalised sketches: Why ER is more object oriented than OO. In Data and Knowledge Engineering, to appear, 2000.
16. Michael Johnson and C. N. G. Dampney. On the value of commutative diagrams in information modelling. In Springer Workshops in Computing, Springer-Verlag, 1994.
17. Michael Johnson and Robert Rosebrugh. Database interoperability through state based logical data independence. To appear in CSCWD2000, the Fourth International Conference on Computer Supported Collaborative Work and Design, IEEE Hong Kong, 2000.
18. Michael Johnson, Robert Rosebrugh, and R. J. Wood. Entity-relationship models and sketches. Submitted to Theory and Applications of Categories, 2000.
19. A. M. Keller. Algorithms for translating view updates into database updates for views involving selections, projections, and joins. ACM PODS-85, 154-163, 1985.
20. Rom Lagerak. View updates in relational databases with an independent scheme. ACM TODS, 15:40-66, 1990.
21. A. Y. Levy, A. O. Mendelzon, D. Srivastava, Y. Sagiv. Answering queries using views. ACM PODS-95, 1995.
22. C. Lecluse and N. Spyratos. Implementing queries and updates on universal scheme interfaces. VLDB, 62-75, 1988.
23. Saunders Mac Lane. Categories for the Working Mathematician. Graduate Texts in Mathematics 5, Springer Verlag, 1971.
24. John Myopoulos. Next generation database systems won't work without semantics! Panel session, SIGMOD Record, 27:497, 1998.
25. F. Piessens. Semantic data specifications: an analysis based on a categorical formulation. PhD thesis, Katholieke Universiteit Leuven, 1996.
26. F. Piessens and E. Steegmans. Categorical data specifications. Theory and Applications of Categories, 1:156-173, 1995.
27. F. Piessens and E. Steegmans. Selective Attribute Elimination for Categorical Data Specifications. Proceedings of the 6th International AMAST. Ed. Michael Johnson. Lecture Notes Computer Science, 1349:424-436, 1997.
28. G. Southon, C. Sauer, and C. N. G. Dampney. Lessons from a failed information systems initiative: issues for complex organisations International Journal of Medical Informatics, Elsevier Science, 1999.
29. J. D. Ullman. Information integration using logical views. ICDT-97, 1997.
30. R. F. C. Walters. Categories and Computer Science. Cambridge University Press, 1991.