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)
T.Y. Chen 2, C.S. Kwok 3, W.H. Tang 3, and T.H. Tse 4 |
ABSTRACT |
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.
Email: |
EVERY VISITOR COUNTS: |