A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant.
Cheikh SalmiMohamed ChaabaniMohamed MezghichePublished in: MEDI (2018)
Keyphrases
- theorem prover
- natural deduction
- database
- horizontal fragmentation
- disjunctive deductive databases
- theorem proving
- databases
- first order logic
- higher order logic
- relational databases
- inference rules
- data sets
- database systems
- database applications
- test bed
- query language
- data model
- proof procedure
- management system
- data integration
- data management
- training set
- association rules
- knowledge base