【正文】 采區(qū)變壓器的選擇變壓器的型號選擇在確定變壓器型號時，應(yīng)考慮變壓器的使用場所、電壓等級和容量等級，還應(yīng)考慮巷道斷面、運輸條件、備品配件來源等因素。一般在變電硐室內(nèi)的動力變壓器，選擇礦用一般型油浸變壓器。為了供電經(jīng)濟性，應(yīng)盡量選用低損耗變壓器。故選用礦用變壓器KS11。變壓器臺數(shù)確定對采區(qū)變電所一臺變壓器滿足要求時盡量選一臺。如需采用多臺變壓器時，最好不采用幾個工作面共用一臺變壓器的供電方式。如采區(qū)變電所的供電負荷中有一類負荷，變壓器的臺數(shù)不得少于兩臺。根據(jù)現(xiàn)場情況，選一臺變壓器。（9）低沼氣礦井、掘進工作面與回采工作面的電氣設(shè)備應(yīng)分開供電，局部扇風機實行風電沼氣閉鎖，沼氣噴出區(qū)域、高壓沼氣礦井、煤與沼氣突出礦井中，所有掘進工作面的局扇機械裝設(shè)三專（專用變壓器、專用開關(guān)、專用線路）二閉鎖設(shè)施即風、電、沼氣閉鎖一、 填空題1. （ 事務(wù) ）是用戶定義的一個數(shù)據(jù)庫操作序列，是一個不可分割的工作單位，它具有（原子性）、（一致性）、（隔離性）、（持續(xù)性）四個特性。2. （ 數(shù)據(jù)庫 ）是長期存儲在計算機內(nèi)的、有組織、可共享的數(shù)據(jù)集合。（數(shù)據(jù)庫）是存儲在計算機內(nèi)組織的結(jié)構(gòu)化的相關(guān)數(shù)據(jù)的集合。3. （事務(wù)）是用戶定義的一個數(shù)據(jù)庫操作序列，這些操作要么全做要么全不做，是一個不可分割的工作單位。4. （數(shù)據(jù)庫管理系統(tǒng)）是位于用戶與（操作系統(tǒng)）之間的一層數(shù)據(jù)管理軟件。5. （物理結(jié)構(gòu)設(shè)計）階段與具體的DBMS密切相關(guān)。6. DBMS是指（數(shù)據(jù)庫管理系統(tǒng)）它是位于（用戶）和（操作系統(tǒng)）之間的一層管理軟件7. ER圖一般在數(shù)據(jù)庫設(shè)計的（概念結(jié)構(gòu)設(shè)計）階段使用。8. RDMBS查詢處理可分為（查詢分析）、查詢檢查、（查詢優(yōu)化）和查詢執(zhí)行四個階段。9. SQL Server具有兩種身份驗證模式：（WINDOWS）身份驗證模式和（混合）身份驗證模式。10. SQL的（集合）處理方式與主語言的單記錄處理方式之間用（游標）來協(xié)調(diào)。11. SQL的觸發(fā)事件有三類：（UPDATE）、（DELETE）和（INSERT）。12. SQL的授權(quán)語句中的關(guān)鍵字PUBLIC表示（全體用戶）。13. SQL中的安全性機制，主要有兩個：（視圖）和（授權(quán)）。14. S封鎖增加了并發(fā)度，但缺點是（容易發(fā)生死鎖）。15. TSQL語言中，局部變量由用戶定義和維護，名稱以（@）開頭；全局變量由系統(tǒng)定義和維護，名稱以（@@）開頭。16. 按所使用的數(shù)據(jù)模型來分，數(shù)據(jù)庫可分為（層次）、（關(guān)系）和（網(wǎng)狀）三種類型。17. 按照數(shù)據(jù)結(jié)構(gòu)的類型來命名，數(shù)據(jù)模型分為（層次模型），（網(wǎng)狀模型）和（關(guān)系模型）。18. 表示實體及其聯(lián)系的方法為（ER圖），基本圖素包括（實體）、（屬性）和（聯(lián)系）。習慣上實體用（矩形）表示，實體屬性用（橢圓形）表示，聯(lián)系用（菱形）表示。19. 并發(fā)操作帶來的問題主要有(丟失修改)，(不可重復讀)，(讀臟數(shù)據(jù))。20. 并發(fā)控制的主要方法是采用（封鎖）機制，其類型有（共享鎖）和（排它鎖）兩種。21. 層次、網(wǎng)狀的DML屬于（過程性）語言，而關(guān)系型DML屬于（非過程性）語言。22. 層次模型中上一層記錄類型和下一層記錄類型之間的聯(lián)系是（1：N）聯(lián)系。23. 當數(shù)據(jù)的存儲結(jié)構(gòu)改變了，應(yīng)用程序不變，而由DBMS處理這種改變。這是指數(shù)據(jù)的（物理獨立性）24. 當數(shù)據(jù)庫的存儲結(jié)構(gòu)改變時，可相應(yīng)修改（模式/內(nèi)模式映像），從而保持模式不變。25. 對數(shù)據(jù)對象施加封鎖，可能會引起活鎖和死鎖問題。預防死鎖通常有（一次封鎖法）和（順序封鎖法）兩種方法。26. 對于非規(guī)范化的模式，經(jīng)過（將每一個分量化分為不可分的數(shù)據(jù)項）轉(zhuǎn)變?yōu)?NF，將1NF經(jīng)過（消除每一個非主屬性對碼的部分函數(shù)依賴，）轉(zhuǎn)變?yōu)?NF，將2NF經(jīng)過（ 消除非主屬性對碼的傳遞函數(shù)依賴 ）轉(zhuǎn)變?yōu)?NF。27. 對于數(shù)據(jù)庫系統(tǒng)，負責定義數(shù)據(jù)庫內(nèi)容，決定存儲結(jié)構(gòu)和存儲策略及安全授權(quán)等工作的是（數(shù)據(jù)庫管理員）。28. 多個事物在某個調(diào)度下的執(zhí)行是正確的，是能保證數(shù)據(jù)庫一致性的，當且僅當該調(diào)度是（可串行化的）。29. 封鎖能避免錯誤的發(fā)生，但會引起（活鎖和死鎖）問題。30. 根據(jù)數(shù)據(jù)模型的應(yīng)用目的不同，數(shù)據(jù)模型可分為（概念模型）和（數(shù)據(jù)模型） 31. 關(guān)系R和S做外連接，結(jié)果中只有R的屬性存在Null值，則該連接屬于（右外）連接。32. 關(guān)系操作的特點是（集合）操作。33. 關(guān)系代數(shù)表達式優(yōu)化的啟發(fā)式規(guī)則有：盡早地執(zhí)行（選擇）和投影操作，避免直接做（笛卡爾積）。34. 關(guān)系規(guī)范化的目的是(控制冗余，避免插入和刪除異常，從而增強數(shù)據(jù)的穩(wěn)定性和靈活性).35. 關(guān)系規(guī)范中的刪除操作異常是指（不該刪除的數(shù)據(jù)被刪除），插入操作異常是指（應(yīng)該插入的數(shù)據(jù)未被插入）。36. 關(guān)系模式的操作異常問題往往是由（數(shù)據(jù)冗余）引起的。37. 關(guān)系模式中，滿足2NF的模式必定是（1NF）。 38. 關(guān)系模式中R的屬性全部是主屬性，則R的最高范式必定是（ 3NF）。39. 關(guān)系模型中的關(guān)系模式至少是（1NF）。 40. 關(guān)系數(shù)據(jù)庫規(guī)范化是為解決關(guān)系數(shù)據(jù)庫中（插入、刪除和數(shù)據(jù)冗余）問題而引入的。41. 規(guī)范化理論是關(guān)系數(shù)據(jù)庫進行邏輯設(shè)計的理論依據(jù)。根據(jù)這個理論，關(guān)系數(shù)據(jù)庫中的關(guān)系必須滿足：其每一屬性都是（不可分解的）。42. 候選關(guān)鍵字中的屬性稱為（ 主屬性）。 43. 恢復的基本原則是（冗余）。要使數(shù)據(jù)庫具有可恢復性，在平時要做好兩件事：（轉(zhuǎn)儲（備份））和（記’日志’）。44. 假定一個ER圖包含有A實體和B實體，并且從A到B存在著1：N的聯(lián)系，則轉(zhuǎn)換成關(guān)系模式后，右以包含有（1或2 ）個關(guān)系模式。45. 假定一個ER圖包含有A實體和B實體，并且從A到B存在著M：N的聯(lián)系，則轉(zhuǎn)換成關(guān)系模型后，包含有（ 3 ）個關(guān)系模式。46. 就方法的特點而言，需求分析階段通常采用（自頂向下逐步細化）的分析方法；概念設(shè)計階段通常采用（自底向上逐步總和）的設(shè)計方法。47. 兩段式封鎖是可串行化的（充分）條件。48. 描述概念模型常用的方法是（實體聯(lián)系方法）。49. 判斷一個并發(fā)調(diào)度是否正確，可以用（可串行化）概念來解決。50. 如果YXU，則X→Y 成立。這條推理規(guī)則稱為（自反律）。51. 如果對數(shù)據(jù)庫的并發(fā)操作不加以控制，則會帶來四類問題：（丟失更新）、（讀’臟數(shù)據(jù)’）和（不可重復讀）。52. 若關(guān)系為1NF，且它的每一個非主屬性都（完全函數(shù)依賴于或不部分函依賴于）碼，則該關(guān)糸為2NF。53. 若事務(wù)T對數(shù)據(jù)對象A加了S鎖，則其他事務(wù)只能對數(shù)據(jù)A再加（ S ）鎖，不能加（X ）鎖，直到事務(wù)T釋放A上的鎖。54. 若事物T對數(shù)據(jù)R已經(jīng)加了X鎖，則其他事物對數(shù)據(jù)R（不能加任何鎖）。55. 設(shè)F為關(guān)系模式R的函數(shù)依賴集，若對F中每個非平凡的FD：X→Y，都有X是R的（超碼），則稱R為（BCNF）模式。56. 設(shè)計概念結(jié)構(gòu)時，常用的數(shù)據(jù)抽象方法是（ 分類）、（ 聚集）和（概括 ）。57. 設(shè)計性能較優(yōu)的關(guān)系模式稱為規(guī)范化，規(guī)范化主要的理論依據(jù)是（關(guān)系規(guī)范化理論）。58. 實體之間的聯(lián)系可抽象為三類，它們是（一對一）、（一對多）、（多對多）。59. 實體之間的聯(lián)系可抽象為三類它們是（1：1），（1：m）和（m：n）60. 事務(wù)的執(zhí)行次序稱為（調(diào)度）。61. 事物的所有操作要么全做，要么全不做，這是事務(wù)的（原子）特性。62. 數(shù)據(jù)獨立性又可為（邏輯數(shù)據(jù)獨立性）和（物理數(shù)據(jù)獨立性）。63. 數(shù)據(jù)管理技術(shù)經(jīng)歷了（人工管理），（文件管理）和（數(shù)據(jù)庫系統(tǒng)）三個階段64. 數(shù)據(jù)庫的基本特點是（數(shù)據(jù)可以共享（或數(shù)據(jù)結(jié)構(gòu)化）、數(shù)據(jù)獨立性、數(shù)據(jù)冗余度小，易擴充、統(tǒng)一管理和控制）。65. 數(shù)據(jù)庫的三級模式結(jié)構(gòu)是對（數(shù)據(jù)）的三個抽象級別。66. 數(shù)據(jù)庫的特點之一是數(shù)據(jù)的共享。嚴格的講，這里的數(shù)據(jù)共享是指（多種應(yīng)用，多種語言，多個用戶相互覆蓋所用的數(shù)據(jù)集合）。67. 數(shù)據(jù)庫管理系統(tǒng)的主要功能有（數(shù)據(jù)定義功能），（數(shù)據(jù)操作功能），數(shù)據(jù)庫的運行管理和數(shù)據(jù)庫的建立以及維護等4個方面。68. 數(shù)據(jù)庫管理系統(tǒng)能實現(xiàn)對數(shù)據(jù)庫中數(shù)據(jù)的查詢，插入，修改和刪除等操作，這種功能稱為（數(shù)據(jù)操縱功能）69. 數(shù)據(jù)庫管理系統(tǒng)通常提供授權(quán)功能來控制不同用戶訪問數(shù)據(jù)的權(quán)限，這主要是為了實現(xiàn)數(shù)據(jù)庫的（安全性）。70. 數(shù)據(jù)庫技術(shù)中采取分級方法將數(shù)據(jù)庫的結(jié)構(gòu)劃分成多個層次，是為了提高數(shù)據(jù)庫的（邏輯獨立性）和（物理獨立性）。71. 數(shù)據(jù)庫是在計算機系統(tǒng)中按照數(shù)據(jù)模型組織、儲存和應(yīng)用的（數(shù)據(jù)的集合），支持數(shù)據(jù)庫各種操作的軟件系統(tǒng)叫（數(shù)據(jù)庫管理系統(tǒng)），由計算機、操作系統(tǒng)、DBMS、數(shù)據(jù)庫應(yīng)用程序及用戶等組成的一個整體叫做（數(shù)據(jù)庫系統(tǒng)）。72. 數(shù)據(jù)庫是長期存儲在計算機內(nèi)，有（組織）的，可（共享）的數(shù)據(jù)集合73. 數(shù)據(jù)庫系統(tǒng)的核心是（數(shù)據(jù)庫管理系統(tǒng)）。74. 數(shù)據(jù)庫系統(tǒng)的三級模式結(jié)構(gòu)是指數(shù)據(jù)庫系統(tǒng)是由（ 模式）、（外模式）、（ 內(nèi)模式）三級構(gòu)成的。75. 數(shù)據(jù)庫系統(tǒng)的特點是（數(shù)據(jù)共享），數(shù)據(jù)獨立，減少數(shù)據(jù)剩余，避免數(shù)據(jù)不一致和加強了數(shù)據(jù)保護。76. 數(shù)據(jù)庫系統(tǒng)一般由（數(shù)據(jù)庫）、應(yīng)用系統(tǒng)、（數(shù)據(jù)庫管理系統(tǒng)）、（數(shù)據(jù)庫管理員）和用戶構(gòu)成。77. 數(shù)據(jù)庫系統(tǒng)在運行過程中，可能會發(fā)生故障。故障主要有（事務(wù)故障）、系統(tǒng)故障、（介質(zhì)故障）和計算機病毒四類。78. 數(shù)據(jù)庫系統(tǒng)中，系統(tǒng)故障通常稱為（ 軟故障 ），介質(zhì)故障稱為（ 硬故障 ）。79. 數(shù)據(jù)庫應(yīng)用系統(tǒng)設(shè)計的（需求分析）階段生成的文檔是（數(shù)據(jù)字典）和數(shù)據(jù)流圖。80. 數(shù)據(jù)流圖是數(shù)據(jù)庫系統(tǒng)設(shè)計過程中（概念結(jié)構(gòu)設(shè)計）階段完成的。81. 數(shù)據(jù)模型的三要素是（數(shù)據(jù)結(jié)構(gòu)），（數(shù)據(jù)操作）和（數(shù)據(jù)約束條件）。82. 數(shù)據(jù)模型是由（數(shù)據(jù)結(jié)構(gòu)），（數(shù)據(jù)操作）和（完整性約束） 三部分組成的83. 數(shù)據(jù)模型通常由（數(shù)據(jù)結(jié)構(gòu)）、（數(shù)據(jù)操作）、（數(shù)據(jù)的約束條件）三部分組成。84. 為了使程序員編程時既可以使用數(shù)據(jù)庫語言又可使用常規(guī)的程序設(shè)計語言，數(shù)據(jù)庫系統(tǒng)需要把數(shù)據(jù)庫語言嵌入到（宿主語言）中85. 現(xiàn)實世界的事物反映到人的頭腦中經(jīng)過思維加工是數(shù)據(jù)，這一過程要經(jīng)歷三個領(lǐng)域，依次是（現(xiàn)實世界），（信息世界）和（計算機世界）。86. 現(xiàn)實世界進行第一層抽象的模型，稱為（概念）模型；對現(xiàn)實世界進行第二層抽象的模型，稱為（數(shù)據(jù)）模型。87. 消除了部分函數(shù)依賴的1NF的關(guān)系模式，必定是（ 2NF）。88. 消除了非主屬性對侯選鍵傳遞依賴的關(guān)系模式，稱為（3NF）模式。89. 消除了非主屬性對侯選鍵局部依賴的關(guān)系模式，稱為（2NF）模式。90. 消除了每一屬性對侯選鍵傳遞依賴的關(guān)系模式，稱為（BCNF）模式。91. 信息處理的方式而言，在文件系統(tǒng)階段，（程序設(shè)計）處于主導地位，（數(shù)據(jù)）只起著服從程序設(shè)計需要的作用；而在數(shù)據(jù)庫方式下，（數(shù)據(jù)）占據(jù)了中心位置。92. 由初步ER圖構(gòu)成基本ER圖，其主要任務(wù)是（消除不必要的冗余）。93. 由分ER圖生成初步ER圖，其主要任務(wù)是（消除屬性沖突）、（消除結(jié)構(gòu)沖突）和（消除命名沖突）。94. 在SQL語言中，為了數(shù)據(jù)庫的安全性，設(shè)置了對數(shù)據(jù)的存取進行控制的語句，對用戶授權(quán)使用（GRANT）語句，收回所授的權(quán)限使用（REVOKE）語句。95. 在登錄日志文件時，應(yīng)該先（登錄日志文件），后（更新數(shù)據(jù)庫）。96. 在登錄日志文件時，應(yīng)該先登錄（日志文件），后（更新數(shù)據(jù)庫）。97. 在關(guān)系A(chǔ)（S，SN，D）和B（D，CN，NM）中，A的主鍵是S，B的主鍵是D，則D在A中稱為（外碼）。98. 在關(guān)系代數(shù)中，θ連接是由（笛卡爾積）和（選擇）運算組合而成的。99. 在關(guān)系模式R中，若其函數(shù)依賴集中所有候選鍵都是決定因素，則R最高范式是（4NF）。100. 在關(guān)系模型中，若屬性A是關(guān)系R的主碼，則在R的任何元組中，屬性A的取值都不允許為空，這種約束稱為（實體完整性）規(guī)則。101. 在關(guān)系數(shù)據(jù)庫設(shè)計中，使每個關(guān)系達到3NF，這是（邏輯設(shè)計階段）階段完成的。102. 在關(guān)系數(shù)據(jù)庫中，當關(guān)系的類型改變時，用戶程序也可以不變，這是（數(shù)據(jù)的邏輯獨立性）。103. 在數(shù)據(jù)抽象中，概括層次表示（是一個（is subset of））聯(lián)系，聚集層次表示（是一部分（is part of））聯(lián)系。104. 在數(shù)據(jù)管理技術(shù)的發(fā)展過程中，經(jīng)歷了人工管理階段，文件系統(tǒng)階段和數(shù)據(jù)庫系統(tǒng)階段，在這幾個階段中，數(shù)據(jù)的獨立性是（數(shù)據(jù)庫系統(tǒng)）階段實現(xiàn)的。105. 在數(shù)據(jù)庫的三級模式結(jié)構(gòu)中，描述數(shù)據(jù)庫中的全體數(shù)據(jù)的全局邏輯結(jié)構(gòu)和特征的是（模式）106. 在數(shù)據(jù)庫的三級模式體系結(jié)構(gòu)中，模式與內(nèi)模式之間的映象（模式/內(nèi)模式），實現(xiàn)了數(shù)據(jù)庫的（物理）獨立性。107. 在數(shù)據(jù)庫技術(shù)中，編寫應(yīng)用程序的語言仍然是C—類高級語言，這些語言被稱為（宿主語言（或主語言，Host Language））語言。108. 在數(shù)據(jù)庫設(shè)計的4個階段中，每個階段都有自己的設(shè)計內(nèi)容。’在哪些表、在哪些屬性上、建什么樣的索引’，這一內(nèi)容應(yīng)該屬于（物理）設(shè)計階段。109. 在數(shù)據(jù)庫設(shè)計的需求分析階段，數(shù)據(jù)字典通常由（數(shù)據(jù)項）、（數(shù)據(jù)結(jié)構(gòu)）、（數(shù)據(jù)流）、（數(shù)據(jù)存儲）和（處理過程）5部分組成。110. 在數(shù)據(jù)庫設(shè)計中，（數(shù)據(jù)字典）是系統(tǒng)中各類數(shù)據(jù)描述的集合，是進行詳細的數(shù)據(jù)收集和數(shù)據(jù)分析所獲得的主要成果。111. 在數(shù)據(jù)庫設(shè)計中，將ER圖轉(zhuǎn)換成關(guān)系數(shù)據(jù)模型的過程屬于（ 邏輯設(shè)計階段 ）。112. 在數(shù)據(jù)庫設(shè)計中，子類和超類存在著（繼承）的聯(lián)系。113. 在數(shù)據(jù)庫系統(tǒng)的三級模式體系結(jié)構(gòu)中，描述數(shù)據(jù)在數(shù)據(jù)庫中的物理結(jié)構(gòu)或存儲方式的是（內(nèi)模式）。114. 在數(shù)據(jù)庫中存儲的是（數(shù)據(jù)以及數(shù)據(jù)之間的聯(lián)系）。115. 在數(shù)據(jù)庫中為提高查詢速度而設(shè)置的邏輯排序手段稱為（索引）。116. 在一個關(guān)糸R中，若每個數(shù)據(jù)項都是不在分割的，那么R一定屬于（1NF）117. 在一個關(guān)系R中，若每個數(shù)據(jù)項都是不可再分割的，那么R一定屬于（ 第一（1NF））范式。二、選擇題1．若關(guān)系模式R中的屬性全是主屬性，則R的最高范式等級至少是（　C　）（A）1NF（