【单选题】【消耗次数：1】
在公式中yxp(x,y))，存在量词是在全称量词的辖域内，我们允许所存在的x可能依赖于y值。令这种依赖关系明显地由函数所定义，它把每个y值映射到存在的那个x。这种函数叫做（ ）
①
依赖函数
②
Skolem函数
③
决定函数
④
多元函数
参考答案：
复制
纠错
相关题目
【简答题】
属性X函数决定Y，且X的真子集X也能函数决定Y，则称Y[填空]函数依赖X。
【单选题】
在关系模式R中，函数依赖X→Y的语义是( )。
①
在R的某一关系中，若任意两个元组的X值相等，则Y值也相等
②
在R的一切可能关系中，若任意两个元组的X值相等，则Y值也相等
③
在R的某一关系中，Y值应与X值相等
④
在R的一切可能关系中，Y值应与X值相等
【单选题】
如果有函数依赖X→Y，并且对X的某个真子集X’，有X’→Y成立，则称（ ）。
①
Y完全函数依赖于X
②
Y部分函数依赖于X
③
X完全函数依赖于Y
④
X部分函数依赖于Y
【判断题】
公式“x$y(F(x, y) ù G(y, z)) ú $xH(x, y, z)”中的全称量词x的辖域为：$y(F(x, y) ù G(y, z)) 。
①
正确
②
错误
随机题目
【判断题】
对于行政机关及其工作人员实施了暴力殴打行为、违法使用武器警械或者国家赔偿法没有明确列举的其它侵害人身权、财产权的非具体行政行为，并造成损失，赔偿义务机关拒不确认致害行为违法，赔偿请求人不能直接向法院提起行政赔偿诉讼。（ ）
①
正确
②
错误
【多选题】
章某向工商局申请办理营业执照，工商局以材料不全为由一直拖延不办。章某提起行政讼。人民法院经审理认为，章某的申请符合法定条件，工商局应当办理。关于本案举证责任的分配，下列说法正确的是。（ ）
①
章某应当证明向工商局提出申请的事实
②
章某应当证明工商局拖延不办违法
③
工商局如果认为章某的起诉超过期限，应当对此承担举证责任
④
章某应当证明自己的申请符合法定条件
【多选题】
位于大王乡的多金属硫铁矿区是国家出资勘察形成的大型硫铁矿基地。2003年5月，百乐公司向法定发证机关省国土资源厅申请办理该矿区采矿许可证。2003年11月1日，某市国土资源局以解决遗留问题为由向另一家企业强力公司颁发了该矿区的采矿许可证。2004年1月，省国土资源厅答复百乐公司，该矿区已设置矿权，不受理你公司的申请。关于百乐公司的救济徐径，下列哪些说法是正确的？（ ）
①
就省国土资源厅的拒绝发证行为应当先申请行政复议才能提起诉讼
②
就省国土资源厅的拒绝发证行为可以直接向人民法院提起诉讼
③
就市国土资源局向强力公司的发证行为应当先申请行政复议才能提起诉讼
④
就市国土资源局向强力公司的发证行为可以直接向人民法院提起诉讼
【多选题】
甲公司与乙公司签订建设施工合同，甲公司向乙公司支付工程保证金30万元。后由于情况发生变化，原合同约定的工程项目被取消，乙公司也无资金退还甲公司，甲公司向县公安局报案称被乙公司法定代表人王某诈骗30万元。公安机关连后，将王某传唤到公安局，要求王某与甲公司签订了还款协议书，并将扣押的乙公司和王的财产转交给甲公司后将王某释放。下列说法哪些正确？（ ）
①
乙公司有权提起行政诉讼，请求确认县公安局行为违法并请求国家赔偿，法院应当受理
②
县公安局的行为有刑事诉讼法的明确授权，依法不属于行政诉讼的受案范围
③
县公安局的行为属于以办理刑事案件为名插手经济纠纷，依法属于行政诉讼的受案范围
④
甲公司获得乙公司还款是基于两公司之间的债权债务关系，乙公司的还款行为有效
【多选题】
甲银行与乙公司签订了贷款合同并约定乙以其拥有使用权的土地作抵押。双方在镇政府内设机构镇土地管理所办理了土地使用权抵押登记，该所出具了《证明》。因乙不能归还到期贷款，甲经法院强制执行时，发现乙用于抵押的国有土地使用证系伪造。甲遂对镇土地管理所出具的抵押证明提起行政诉讼。下列哪些选项是正确的？（ ）
①
本案的被告应当是镇土地管理所
②
本案的被告应当是镇政府
③
镇土地管理所出具抵押证明的行为是超越职权的行为
④
法院应当判决确认抵押证明违法
【多选题】
以下选项正确体现合法性审查原则的是。( )
①
法院认为工商局不予答复某公司向其申请颁发营业执照的行为构成不履行法定职责，判决工商局在一定期限内做出答复
②
法院判决撤销工商局违法注销某销售企业营业执照的决定
③
法院认为工商局对某公司的处罚过重，判决将罚款20000元变更为5000元
④
法院维持工商局驳回某公民向其申请税务登记的决定
【多选题】
某合资企业的甲、乙两股东就股权转让达成协议。后因情况发生变化，甲、乙两股东又签订了一项合同修正案，约定在该合同批准后一年内甲有权一定的价格向乙回购已经出让的股权。2001年4月1日，股权转让合同以及合同修正案一同获得批准。7月2日，甲提出回购，乙不同意，并告知甲原审查批准机关于2001年6月1日又做出一批复，该批复指出，2001年4月1日批复只是批准股权转让合同，未批准股权回购条款，股权回购时仍需报批。下列说法正确的是？（ ）
①
甲在2003年8月对审批机关2001年6月1日作出的批复提起诉讼已经超过诉讼期限
②
审批机关在2001年6月作出的批复并未设定新的权利义务，法院不应受理甲对该批复提起的诉讼
③
甲乙之间关于股权回购的约定有效，甲可以对乙的违约行为行为提起诉讼
④
甲有权申请法院强制执行审批机关2001年4月1日确认股权回购的批复
【多选题】
对于证明同一事实的数个证据，下列选项中有关它们证据证明力的说法正确的是（ ）。
①
原件、原物优于复制件、复制品
②
其他证人证言优于与当事人有亲属关系或者其他密切关系的证人提供的对该当事人有利的证言
③
出庭作证的证人证言优于未出庭作证的证人证言
④
原件优于以有形载体固定或者显示的电子数据交换、电子邮件以及其他数据资料