Using finite-linear temporal logic for specifying database dynamics
- 9 June 2005
- book chapter
- Published by Springer Nature
- p. 288-300
- https://doi.org/10.1007/bfb0026308
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Specification and verification of database dynamicsActa Informatica, 1988
- Monitoring dynamic integrity constraints based on temporal logicInformation Systems, 1987
- Temporal Logic of ProgramsPublished by Springer Nature ,1987
- Towards multi-level and modular conceptual schema specificationsInformation Systems, 1984
- Synthesis of Communicating Processes from Temporal Logic SpecificationsACM Transactions on Programming Languages and Systems, 1984
- Temporal logic can be more expressiveInformation and Control, 1983
- Verification of Sequential Programs: Temporal AxiomatizationPublished by Springer Nature ,1982
- Temporal aspects of logical procedure definitionInformation Systems, 1980