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