從數據庫表中讀取集合

Question

我有兩套A和B，集合B取決於集合A;

set A; 
set B{A}; 

在我的數據庫中，我有兩個表 - A_Table與主鍵a_id和表B_Table複合鍵b_id和a_id（外鍵）。我試圖從B_Table表中讀取數據使用這個腳本設置B：

table B_Table IN "ODBC" (ConnectionStr) "B_Table": 
    [b ~ b_id, a ~ a_id], B[a] ~ b; 

但是這個腳本不起作用。它寫道

syntax error 
context: [b ~ b_id, a ~ a_id], >>> B[ <<< a] ~ b; 

如何從具有2個關鍵點的表中讀取數據到一維集？

Answer 1

我不認爲你可以直接將數據讀入使用單個表聲明的索引集，但你可以使用一個輔助的二維組：

set AB dimen 2; 
table B_Table IN "ODBC" (ConnectionStr) "B_Table": 
    AB <- [a_id, b_id]; 
read table B_Table; 
let{a in A} B[a] := setof{(a, b) in AB} b; 

另一種方法是使表聲明索引超過A並使用SQL語句來a in A選擇數據：

table B_Table{a in A} IN "ODBC" (ConnectionStr) 
    ("SQL=SELECT b_id FROM B_Table WHERE a_id = " & a & ";"): 
    B[a] <- [b_id]; 

或類似的東西。