A Coq formalization of data provenance.
Véronique BenzakenSarah Cohen-BoulakiaEvelyne ContejeanChantal KellerRébecca ZucchiniPublished in: CPP (2021)
Keyphrases
- data provenance
- fine grained
- conceptual modeling
- data sharing
- relational databases
- scientific data
- metadata
- scientific workflows
- databases
- formal methods
- provenance information
- data access
- data management
- database
- data model
- knowledge representation
- data integration
- information sharing
- coarse grained
- database technology
- information systems
- data analysis
- conceptual models
- object oriented
- conceptual model
- access control
- knowledge acquisition
- peer to peer