A Scheme for Batch Verification of Integrity Assertions in a Database System.
Leszek LilienBharat K. BhargavaPublished in: IEEE Trans. Software Eng. (1984)
Keyphrases
- database systems
- integrity verification
- model checking
- database
- database management systems
- recognition scheme
- database server
- detection scheme
- databases
- formal verification
- face verification
- classification scheme
- knowledge base
- learning scheme
- distributed databases
- asynchronous circuits
- high security
- verification method