Generalising the Z schema calculus: Database schemas and beyond

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn 2003-January, Issue , 2003, Pages 28-37

  Martin, Andrew ^a   Simpson, Andrew ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; SOFTWARE ENGINEERING;

DATABASE DESIGN; DATABASE SCHEMAS; MATHEMATICAL STRUCTURE; RELATIONAL ALGEBRA; RELATIONAL DATABASE; SCHEMA CALCULUS; Z SCHEMA CALCULUS;

CALCULATIONS;

EID: 33646759308     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.1254355     Document Type: Conference Paper

References (52)

1. J.-R. Abrial. The B-Book: Assigning Meanings to Programs. Cambridge University Press, 1996.
2. D. Bjørner and H. H. Løvengreen. Formalization of database systems- and a formal definition of IMS. InD. McLeod and Y. F. Villasenor, editors, Proceedings of the 8th Conference on Very Large Databases, Mexico City, pages 334-347. Morgan Kaufman, September 1982.
3. E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377-387, June 1970.
4. E. F. Codd. Relational completeness of data base sublanguages. In R. J. Rustin, editor, Data Base Systems, Courant Computer Science Symposia Series 6. Prentice Hall, 1972.
5. H. Darwen. What a database really is: Predicates and propositions. In C. J. Date, editor, Relational Database Writings 1994-1997. Addison-Wesley, 1998.
6. C. J. Date and H. Darwen. A guide to the SQL standard. Addison Wesley, 1997.
7. C. J. Date. An Introduction to Database Systems. Addison Wesley, seventh edition, 2000.
8. R. S. M. De Barros and D. J. Harper. Formal development of relational database applications. In D. J. Harper and M. C. Norrie, editors, Specifications of Database Systems, Glasgow 1991, Workshops in Computing, pages 21-43. Springer-Verlag, 1992.
9. R. S. M. De Barros and D. J. Harper. A method for the specification of relational database applications. In J. E. Nicholls, editor, Z User Workshop, York 1991, Workshops in Computing, pages 261-286. Springer-Verlag, 1992.
10. R. S. M. De Barros. Formal specification of relational database application: a method and an example. Research report GE-93-02, Department of Computing Science, The University of Glasgow, September 1993.
11. R. S. M. De Barros. Deriving relational database programs from formal specifications. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 703-723. Formal Methods Europe, Springer-Verlag, 1994.
12. R. S. M. De Barros. On the Formal Specification and Derivation of Relational Database Applications. PhD thesis, Department of Computing Science, The University of Glasgow, 1994.
13. M. D'Inverno and M. Priestley. Structuring speification in Z to build a unifying framework for hypertext systems. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, pages 83-102. Springer-Verlag Lecture Notes in Computer Science, volume 967, September 1995.
14. D. Edmond. Information Modeling: Specification and Implementation. Prentice Hall, 1992.
15. D. Edmond. Refining database systems. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Limerick, Ireland, pages 25-44. Springer-Verlag Lecture Notes in Computer Science, volume 967, September 1995.
16. J. S. Fitzgerald and C. B. Jones. Modularizing the formal description of a database system. In VDM'90 VDM and Z - Formal Methods in Software Development, pages 189-210. Springer-Verlag, Apr. 1990.
17. H. Garcia-Molina, J. D. Ullman, and J. Widom. Database Systems: The Complete Book. Prentice Hall, 2002.
18. O. M. Group. Meta object facility specification, version 1.4. http://www.omg.org/cgi-bin/apps/doc?formal/02-04-03.pdf, April 2002.
19. O. M. Group. Common warehouse metamodel specification, version 1.1. http://www.omg.org/cgibin/apps/doc?formal/03-03-02.pdf, March 2003.
20. O. M. Group. http://www.omg.org.
21. O. M. Group. Model driven architecture. http://www.omg.org.
22. T. Gunther, K. D. Schewe, and I. Wetzel. On the derivation of executable database programs from formal specifications. In J. C. P. Woodcock and P. G. Larsen, editors, FME93: Industrial-Strength Formal Methods. First International Symposium of Formal Methods Europe, pages 351-66, 1993.
23. A. Gupta, V. Harinarayan, and D. Quass. Aggregate-query processing in data warehousing environments. In Proceedings of the International Conference on Very Large Databases, pages 358-369, 1995.
24. C. A. R. Hoare and He Jifeng. Unifying theories of programming. Prentice Hall, 1998.
25. Information technology - Z formal specification notation - syntax, type system and semantics. ISO/IEC 13568:2002, 2002.
26. C. B. Jones. Systematic Software Development using VDM (second edition). Prentice-Hall, 1990.
27. J. L. Kuhns. Answering questions by computer: A logical study. Report RM-5428-PR, Rand Corp., Santa Monica, California, 1967.
28. R. Laleau and A. Mammar. A generic process to refine a B specification into a relational database implementation. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB 2000: Formal Specification and Development in Z and B First International Conference of B and Z Users, pages 22-41. Springer-Verlag Lectures Notes in computer Science, volume 1878, 2000.
29. R. Laleau and A. Mammar. Using a formal refinement to derive relational database implementations from B specifications. Technical report, CNAM-CEDRIC, February 2000.
30. E. Locuratolo and B. Matthews. ASSO: A formal methodology of conceptual database design. Technical-report, CNR - Istituto di Elaborazione della Informazione (Pisa), 1999.
31. B. Matthews and E. Locuratolo. Formal development of databases in ASSO and B. In J. W. Wing, J. C. P. Woodcock, and J. W. Davies, editors, Proceedings of FM'99: World Congress on Formal Methods, pages 388-410. Springer-Verlag Lecture Notes in Computer Science, volume 1709, 1999.
32. D. McGoveran. The relational model turns 25. DBMS, 7(11), October 1994.
33. J. Melton and A. R. Simon. Understanding the New SQL: A complete guide. Morgan-Kaufmann, 1993.
34. L. Mota-Herranz and M. Celma-Giménez. Automatic generation of trigger rules for integrity enforcement in relational databases with view definition. Springer-Verlag Lecture Notes in Computer Science, volume 1495, pages 286-297, 1998.
35. A. Murta and J. N. Oliveira. VDM versus relational database design - A relationship. Research Rep. CCr00587, Centro de Ciências e Engenharia de Sistemas, G. D. de Ciências da Computação, Universidade do Minho, Braga, Portugal, 1987.
36. E. J. Neuhold and T. Olnhoff. The Vienna Development Method (VDM) and its use for the specification of a relational database system. In S. Lavington, editor, Proc. IFIP'80. IFIP, 1980.
37. T. Olnhoff and E. J. Neuhold. Building data base management systems through formal specifications. pages 169-209. Springer-Verlag Lecture Notes in Computer Science, volume 107, 1981.
38. F. Polack and S. Stepney. Systems development using Z generics. In J. M. Wing, J. C. P. Woodcock, and J. W. Davies, editors, FM'99-Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume II, pages 1048-1069. Springer-Verlag Lecture Notes in Computer Science, volume 1709, 1999.
39. A. Sampaio, J. C. P. Woodcock, and A. L. C. Cavalcanti. Refinement in Circus. In L.-H. Eriksson and P. A. Lindsay, editors, FME 2002: Formal Methods - Getting IT Right, volume 2391 of Lecture Notes in Computer Science, pages 451-470. Springer-Verlag, July 22-24 2002.
40. K.-D. Schewe, J. W. Schmidt, and I. Wetzel. Specification and refinement in an integrated database application environment. In S. Prehn and T. Toetenel, editors, Proceedings of Formal Software Development Methods (VDM'91), pages 496-510, Berlin, Germany, Oct. 1991. Springer-Verlag Lecture Notes in Computer Science, volume 552.
41. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-Hall International, second edition, 1992.
42. T. Teorey, D.-Q. Yang, and J. Fry. A logical database design methodology for relational databases using the extended entity-relationship model. ACM Computing Surveys, 18(2):197-222, 1986.
43. C. J. E. Thieme and A. P. J. M. Siebes. Schema refinement and schema integration in object-oriented databases. Technical Report CS-R9354, CWI - Centrum voor Wiskunde en Informatica, December 1993.
44. J. D. Ullman. Principles of Database and Knowledge-Base Systems: Volume 1. Computer Science Press, 1988.
45. M. Utting, I. Toyn, J. Sun, A. P. Martin, J. S. Dong, N. Daley, and D. Currie. ZML: XML Support for Standard Z. In 3rd International Conference of Z and B Users (ZB'03), Turku, Finland, pages 437-456. Springer-Verlag Lecture Notes in Computer Science, June 2003.
46. S. H. Valentine, I. Toyn, S. Stepney, and S. King. Typeconstrained generics for Z. In J. P. Bowen, S. Dunne, A. Galloway, and S. King, editors, ZB2000: Formal Specification and Development in Z and B, pages 250-263. Springer-Verlag Lecture Notes in Computer Science, volume 1878, 2000.
47. S. H. Valentine. Equal rights for schemas in Z. In J. P. Bowen and M. G. Hinchey, editors, ZUM'95: The Z Formal Specification Notation, pages 183-202. Springer-Verlag Lecture Notes in Computer Science, volume 967, 1995.
48. M. J. Van Diepen and K. M. Van Hee. A formal semantics for Z and the link between Z and the relational algebra. In D. Bjørner, C. A. R. Hoare, and H. Langmaack, editors, VDM and Z-Formal methods in Software Development, pages 526-551. Springer-Verlag Lecture Notes in Computer Science, volume 428, 1990.
49. I. Wetzel, K. D. Schewe, and J. W. Schmidt. Specification and refinement of databases. In M. Jarke, editor, Database Application Engineering with DAIDA, volume 1 of Research Reports ESPRIT, pages 283-318. Springer-Verlag, 1993.
50. J. C. P. Woodcock and S. M. Brien. W: A logic for Z. In J. E. Nicholls, editor, Z User Workshop, York 1991, Workshops in Computing, pages 77-96. Springer-Verlag, 1992.
51. J. C. P. Woodcock and A. L. C. Cavalcanti. The semantics of Circus. In ZB 2002: Formal Specification and Development in Z and B, pages 184-203. Springer-Verlage Lecture Notes in Computer Science, volume 2272, 2002.
52. J. C. P. Woodcock and J. W. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.