DocumentCode
1949701
Title
Transaction modelling
Author
Ngu, A.H.H.
Author_Institution
Dept. of Comput. Sci., Western Australia Univ., Nedlands, WA, Australia
fYear
1989
fDate
6-10 Feb 1989
Firstpage
234
Lastpage
241
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Data Engineering, 1989. Proceedings. Fifth International Conference on
Conference_Location
Los Angeles, CA
Print_ISBN
0-8186-1915-5
Type
conf
DOI
10.1109/ICDE.1989.47219
Filename
47219
Link To Document