如果寫的程序沒有問題，在數(shù)據(jù)庫上使用約束，能夠避免數(shù)據(jù)庫出現(xiàn)數(shù)據(jù)一致性的問題，但是隨著業(yè)務(wù)邏輯的迭代，程序會(huì)出問題，而且出了問題后由于沒有檢查方式，無法在第一時(shí)間知道。假設(shè)數(shù)據(jù)庫有兩個(gè)表，表A：有字段a、b、c表B：有字段def假設(shè)，業(yè)務(wù)邏輯上需要滿足a=b*e+cd=f-e現(xiàn)在的的處理辦法是找到大量的公式，寫腳本進(jìn)行檢測(cè)我的問題是：假設(shè)我們針對(duì)每個(gè)字段都列出了公式，如何保證這些公式能夠覆蓋所有的業(yè)務(wù)邏輯呢？如何保證所有的公式是最簡的？a=b*e+c和c=b*e-a就是重復(fù)的有沒有自動(dòng)的工具，配置一下或者輸入公式就可以時(shí)時(shí)檢查整個(gè)數(shù)據(jù)庫是否有邏輯錯(cuò)誤？