Monitoring Dynamic Integrity Constraints Based on Temporal Logic

TitleMonitoring Dynamic Integrity Constraints Based on Temporal Logic
Publication TypeJournal Article
Year of Publication1987
Publicno
AuthorsLipeck, U. W., and G. Saake
JournalInformation Systems
Volume12
Pagination255-269
Abstract

no