| DaftarIsitemplate |
| Call Number |
| SEM-360 |
| Title |
| STEPWIBE SPECIFICATION OF DYNAMIC DATABASE BEHAVIOUR (387-397) |
| Author |
| Udo w. Lipeck; |
| Publisher |
| Proceedings of acm sigmod 86 international conference on management of data washington,d.c may 28-30,1986 |
| Subject |
| database design, conceptual schema, database integrity, dynamic constraints, temporal logic pre/postconditions |
| Location |