论文部分内容阅读
该文重点讨论了面向对象数据模型中对象候选关键字的求解算法。首先，按照在ＧＤ－约束集中出现的情况，把构成对象的成员分成了四类，即在ＧＤ－约束集中没有出现过的成员，称为外部成员；只在ＧＤ－约束集中ＧＤ－约束的左部出现过的成员，称为左部成员；只在ＧＤ－约束集中ＧＤ－约束的右部出现过的成员，称为右部成员，在ＧＤ－约束集中ＧＤ－约束的左、右部都出现过的成员，称为双部成员。然后，分别研究了每一类成员的特征，在此基础上，给出了一个对象候选字唯一的充分条件。最后，提出了一种求解对象候选关键字的算法，并对其进行了算法分析和正确性证明。