下列選項中，評審方法是按照正式化程度逐漸增強排列的是
通常測試人員判定一個運行結果中存在缺陷的準則是()。
下列關于基于關系數據庫系統的、以數據處理為主的傳統的數據庫應用的主要特點的敘述中，哪一條是錯誤的?
為了防止某個數據庫系統發生故障，設有下列措施：
I.配備UPS保證服務器供電穩定
II.采用雙硬盤鏡像，以防止單個硬盤出現介質損壞而造成數據丟失
III.定期給操作系統打補丁，以免操作系統被攻擊后重啟
IV.改善密碼管理機制，提高各類密碼的安全性，以免發生數據失竊
V.加強事務流程測試和驗證，以免發生并發事務死鎖
以上措施中，用于防止數據庫系統出現系統故障(軟故障)的是
設F是屬性組U上的一組函數依賴，下列哪一條不屬于Armstrong公理系統中的基本推理規則
