On verification of database temporal constraints
- 1 May 1985
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 14 (4), 169-179
- https://doi.org/10.1145/318898.318911
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Information derivability analysis in logical information systemsCommunications of the ACM, 1983
- BASIS: A behavioral approach to the specification of information systemsInformation Systems, 1983
- Proving Liveness Properties of Concurrent ProgramsACM Transactions on Programming Languages and Systems, 1982
- The role of time in information processingACM SIGART Bulletin, 1982
- Dynamic modelling of a simple existence constraintInformation Systems, 1981
- Database description with SDMACM Transactions on Database Systems, 1981
- Temporal aspects of logical procedure definitionInformation Systems, 1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- Beyond programming languagesCommunications of the ACM, 1979
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965