01324naa a2200145 a 450000100080000000500110000800800410001910000240006024500660008426000090015030000180015949000080017752008220018577301710100710025712007-08-17       1995    bl uuuu     u00u1 u    #d1 aBARROS, R. S. M. de  aSpecification and derivation of relational database programs.  c1995  ap.387-398 v.1  vv.1  aThe development of database applications is usually carried out informally. The derivation of database programs directly from formal specification is a well known and unsolved problem. Most of the previous work on the area either tried to solve the problem too generally or was restricted to some trivial aspects, for example deriving the database structure and/or simple operations. However difficult in general, deriving relational database applications directly from z specifications satisfyng a certain set of rules (the method) is not arduous. With appropriate tool support, writting formal specifications according to the method and deriving the corresponding relational database programs can be straightforward. Moreover, it should produce code which is standardized and thus easier to understand and maintain.  tIn: SEMINÁRIO INTEGRADO DE SOFTWARE E HARDWARE, 22.; CONFERÊNCIA LATINO-AMERICANA, 21., 1995, Canela. Anais... Porto Alegre: UFRGS, Instituto de Informática, 1995.