Title :
Transaction modelling
Author_Institution :
Dept. of Comput. Sci., Western Australia Univ., Nedlands, WA, Australia
Abstract :
Transaction modelling, which involves capturing the dynamic properties of an organization and is viewed as a necessary component in data modelling is discussed. A specification-language-transaction schema based on ACM/PCM specification language is implemented as the transaction-modelling tool. The benefit of such a modeling tool is discussed and its ability to extend the static scheme automatically to support the intended transactions is illustrated
Keywords :
database management systems; formal specification; specification languages; transaction processing; ACM/PCM; DBMS; data modelling; dynamic properties; specification-language-transaction schema; static scheme; transaction-modelling tool; Computer science; Data models; Knowledge representation; Logic programming; Phase change materials; Software tools; Specification languages; Taxonomy; Transaction databases;
Conference_Titel :
Data Engineering, 1989. Proceedings. Fifth International Conference on
Conference_Location :
Los Angeles, CA
Print_ISBN :
0-8186-1915-5
DOI :
10.1109/ICDE.1989.47219
