日韩欧美亚洲 _ 欧美亚洲一区 _ 日本亚洲欧美 _ 亚洲精品欧美 国产白袜脚足J棉袜在线观看_亚洲熟妇av一区二区三区_久久天天躁狠狠躁夜_精品众筹模特私拍在线

單項選擇題

設F是屬性組U上的一組函數(shù)依賴,下列哪一條屬于Armstrong公理系統(tǒng)中的基本推理規(guī)則?()

A.若X→Y及X→Z為F所邏輯蘊含,則X→YZ為F所邏輯蘊含
B.若X→Y及Y→Z為F所邏輯蘊含,則X→Z為F所邏輯蘊含
C.若X→Y及WY→Z為F所邏輯蘊含,則XW→Z為F所邏輯蘊含
D.若X→Y為F所邏輯蘊含,且ZY,則X→Z為F所邏輯蘊含

微信掃碼免費搜題