Home
2015 Project-Team Activity Report
DAHU
Verification in databases
Research centre:
Saclay - Île-de-France
In partnership with: CNRS, Ecole normale supérieure de Cachan
In collaboration with: Laboratoire specification et vérification (LSV)
In collaboration with: Laboratoire specification et vérification (LSV)
Keywords:
Computer Science and Digital Science:
- 3.1.1. - Modeling, representation
- 3.1.2. - Data management, quering and storage
- 3.1.3. - Distributed data
- 3.1.4. - Uncertain data
- 3.1.5. - Control access, privacy
- 3.1.9. - Database
- 4.7. - Access control
Other Research Topics and Application Domains:
- 9.8. - Privacy