代表函數依賴關係的數據結構

Question

我在考慮如何在數據結構中表示函數依賴關係。

功能降級（數據庫的關係模式）將一組屬性映射到一組屬性。例如。在{A，B} - > {C，d}的屬性C和d是有功能的依賴於A和B.

我能想到的四種可能的情況這裏：

1. {A} - > {B}（兩個單一屬性）
2. {A，B} - > {C}（一組屬性意味着一個屬性）
3. {A} - > {B，C}屬性集合）
4. {A，B} - > {C，D}（一組屬性意味着一組屬性）

我的第一種方法是簡單的兩個成員等級：

class attribute 
{ 
    string name; 
    set<attribute*> dependent_on; 
} 

這與像（1），但與（2）函數依賴工作 - （4） - 我想。 實際上，我可以分解（3），但我無法用這樣的類來表示（2）和（4）。

我要保持的信息是c 和 d是有功能的依賴於和 B，所以我將不得不使一個類似attributegroup其中一組屬性被映射到一組屬性。例如： -

class attributegroup 
{ 
    set<attribute*> members; 
    set<attribute*> dependent_on; 
} 

因此，實際上我可以簡單地代表一個單獨的屬性爲attributegroup只有一個成員。但我不認爲這是做這件事的最好方法。

任何幫助/想法讚賞:)

Answer 1

我不會存儲在依賴屬性：

include <iostream> 
#include <map> 
#include <vector> 

struct Attribute; 
typedef std::vector<Attribute> Attributes; 
struct Attribute { 
    char name; 
    operator Attributes() const { return Attributes{ 1, *this }; } 
}; 

inline bool operator < (const Attribute& a, const Attribute& b) { 
    return a.name < b.name; 
} 

inline bool operator < (const Attributes& a, const Attributes& b) { 
    return std::lexicographical_compare(
     a.begin(), a.end(), 
     b.begin(), b.end()); 
} 

inline std::ostream& operator << (std::ostream& stream, const Attributes& attributes) { 
    for(const auto& a: attributes) { 
     std::cout << a.name; 
    } 
    return stream; 
} 

typedef std::multimap<Attributes, Attributes> AttributeDependencies; 
typedef AttributeDependencies::value_type AttributeDependency; 

int main(int argc, const char* argv[]) { 
    Attribute a {'A'}; 
    Attribute b {'B'}; 
    Attribute c {'C'}; 
    Attribute d {'D'}; 

    AttributeDependencies dpendencies; 
    dpendencies.insert(AttributeDependency(a, b)); 
    dpendencies.insert(AttributeDependency(Attributes{a, b}, c)); 
    dpendencies.insert(AttributeDependency(a, Attributes{b, c})); 
    dpendencies.insert(AttributeDependency(Attributes{a, b}, Attributes{c, d})); 
    for(const auto& d: dpendencies) { 
     std::cout << '{' << d.first << "} -> {" << d.second << "}\n"; 
    } 
    return 0; 
} 

注：一個std ::地圖可能是正確的容器，但標準:: multimap中配合示例數據。