Correctness of semantic integrity checking in database management systems
- 1 October 1988
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 26 (1-2) , 25-57
- https://doi.org/10.1007/bf02915445
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Logic for improving integrity checking in relational data bases?Acta Informatica, 1982
- Database description with SDMACM Transactions on Database Systems, 1981
- The Recovery Manager of the System R Database ManagerACM Computing Surveys, 1981
- Abstraction in databasesACM SIGMOD Record, 1980
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979
- The design and implementation of INGRESACM Transactions on Database Systems, 1976
- A relational model of data for large shared data banksCommunications of the ACM, 1970