Program penelitian mitigasi kerusakan formasi pada batuan karbonat non klastik telah dilaksanakan dengan mengambil kasus formasi batu raja dilapangan air serdang. Batasan batuan karbonat non klastik yang dimaksud adalah batuan karbonat yang terbentuk oleh pertumbuhan gamping terumbu (reef),dimana dalam pembentukannya relatif tidak mengalami proses perombakan,transportasi dan sedimentasi seperti umumnya batuan sedimen klastik .