A theorem-proving approach to database integrity
File(s)
Author(s)
Sadri, Fariba
Type
Thesis
Version
Open Access
Date Issued
1988
Date Awarded
1988
URI
Copyright Statement
Attribution NoDerivatives 4.0 International Licence (CC BY-ND)
License URL
Creator
Sadri, Fariba
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD