A Formalized Procedure for Database Horizontal Fragmentation in Isabelle/HOL Proof Assistant.

Cheikh Salmi, Mohamed Chaabani, Mohamed Mezghiche

Browse the full MEDI paper archive.