题目描述
如何设计一个好的数据库不仅仅是一个理论研究问题,也是一个实际应用问题。在关系数据库中不满足规范化理论的数据库设计会存在冗余、插入异常、删除异常等现象。
设R(U)是一个关系模式,U={ A1,A2, ……, An}。其中Ai是关系的属性,X,Y是U的子集。函数依赖 XàY 定义了数据库中属性集X与Y的依赖关系。根据Armstrong公理,函数依赖满足:
(1) 自反律:若Ai∈X, 则 XàAi . 特别地,Ai àAi .
(2) 增广律:若 XàY, 则 ZXàZY. (ZX 是指集合Z与X的并集 )
(3) 传递律:若 XàY, YàZ, 则 XàZ.
(4) 分解律:若 XàY, 则 XàAi ( 若属性Ai∈Y )
(5) 合并律:若 XàY, XàZ, 则 XàYZ.
已知 F 是关系模式R(U)上的函数依赖集,利用Armstrong公理系统可以推导出更多的函数依赖。设X是属性集U={ A1,A2, ……, An} 的子集, 定义X关于F的闭包XF+
XF+={ Ai | 若Xà Ai可以通过Armstrong公理导出}
对于给定的U , F ,X, 请求出XF+
输入
第一行: T 表示以下有T组测试数据 ( 1≤T ≤5 )
对每组数据,
第1行: n m k n 表示U中属性个数( 1≤n≤26 ), 用大写字母表示
m表示X中属性个数( 1≤m≤26 )
k个函数依赖 (1≤ k ≤ 20 )
第2行: 字符串U n个大写字母
第3行: 字符串X m个大写字母
接下来有K行,每行有两个字符串 S T,用一个空格隔开。 表示 SàT
输出
对每组测试数据,输出占一行输出XF+,要求按字母序输出。
样例输入 Copy
1
6 2 4
ABGDCI
AD
A B
BD I
AG C
C D
样例输出 Copy
ABDI
解题思路:
这道题难在题意不好懂。求x的闭包规则是这样的:如果s都在b里面,则t就加入b。最后输出b就是x的闭包。
AC代码:
#include<iostream>
#include<set>
#include<string>
#include<algorithm>
using namespace std;
int n,m,k;
struct node{
string l,r;
}s[25];
int main()
{
int T;
cin>>T;
while(T--)
{
cin>>n>>m>>k;
string a,b;
cin>>a>>b;
for(int i=0;i<k;i++)
cin>>s[i].l>>s[i].r;
set<int> st;
for(int i=0;i<b.length();i++)
st.insert(b[i]-'A');
while(true)
{
int f3=0;
for(int i=0;i<k;i++)
{
int f1=0,f2=0;
for(int j=0;j<s[i].l.length();j++)
if(st.find(s[i].l[j]-'A')==st.end())//没找到
{
f1=1;
break;
}
for(int j=0;j<s[i].r.length();j++)
if(st.find(s[i].r[j]-'A')==st.end())//没找到
{
f2=1;
break;
}
if(f1==0&&f2==1)
{
f3=1;
for(int j=0;j<s[i].r.length();j++)
st.insert(s[i].r[j]-'A');
}
}
if(f3==0) break;//如果从1到k循环完,b没有变化,就说明x的闭包求出来了
}
set<int>::iterator it;
for(it=st.begin();it!=st.end();it++)
cout<<(char)((*it)+'A');
}
return 0;
}