| How to Synthesize Relational Database Transactions From EB 3 Attribute Definitions? (2008) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract. EB 3 is a trace-based formal language created for the specification of information systems (IS). Attributes, linked to entities and associations of an IS, are computed in EB 3 by recursive functions on the valid traces of the system. In this paper, we show how to synthesize relational database transactions that correspond to EB 3 attribute definitions. Thus, each EB 3 action is translated into a transaction. EB 3 attribute definitions are analysed to determine the key values affected by each action. To avoid problems with the sequencing of SQL statements in the transactions, temporary variables and/or tables are introduced for these key values. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||