High-Assurance Integrity Techniques for Databases.
Elisa BertinoChenyun DaiHyo-Sang LimDan LinPublished in: BNCOD (2008)
Keyphrases
- high assurance
- databases
- fault tolerant
- software systems
- operating system
- distributed systems
- access control
- database
- relational databases
- knowledge discovery
- database applications
- data management
- data integrity
- real time
- source code
- data warehouse
- digital libraries
- indexing techniques
- database queries
- artificial intelligence