说明性语言的特点之一是______，______就是一种说明性语言、它又是一种______程序设计语言。Horn子句是逻辑程序设计语言中的重要概念。设P，Q，R为原子公式，则______为Horn子句。对于由子句p(a)和q(x)：-p(x)所组成的程序，其极小Her-brand模型是______。

A．结构化语言、数据流图和PAD图
B．结构化语言、IPO图和HIPO图
C．结构化语言、判定树和判定表
D．数据流图、判定树和判定表

A．满足两段锁协议、不发生死锁
B．满足两段锁协议、会发生死锁
C．不满足两段锁协议、不发生死锁
D．不满足两段锁协议、会产生死锁