Databases in the 1990s, 2: Proceedings of 2nd Australian Conference on Database and Information Systems,
B. Srinivasan and J. Zeleznikow (eds.), Sydney, Australia, pp. 270-284 (1991)

Evaluation of Structure Charts: a Logic Programming Approach 1

T.Y. Chen 2, C.S. Kwok 3, W.H. Tang 3, and T.H. Tse 4

[technical report TR-89-08]


We apply the techniques of logic programming to evaluate structure charts. We find that structure charts can be represented naturally in Prolog, and useful information can be derived in a straightforward manner. Standard techniques in the evaluation of structure charts can be formalized, and a few previous problems can be solved easily.

1. This project is supported in part by a University and Polytechnic Grants Committee Research Grant, a Research and Conference Grant of The University of Hong Kong, and a Travelling Grant of the Hong Kong University of Science and Technology.
2. Currently with Centre for Software Analysis and Testing, Swinburne University of Technology, Hawthorn, Australia.
3. Currently with MTR Corporation, Hong Kong.
4. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count