6.5　集合函數定義

以下函數通過消除數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的幾何包中的重復元素來模擬對應的集合。

GeometryBagIntersection(b1: Bag, g2: Bag) : Bag

這個函數應有兩個參數，均是數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包。

這個函數應返回一個數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包，包中包含了滿足“urn : ogc : def : function : geoxacml : 1.0 : geometry-equals”的包b1和b2共有的元素。并且，在結果中應沒有重復元素出現。

GeometryBagAtLeastOneMemberOf(b1: Bag, b2: Bag) : Boolean

這個函數應有兩個參數，均是數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包，還應返回數據類型為“http : //www.w3.org/2001/XMLSchema#boolean”的值。

這個函數應返回“True”，當且僅當包b1中至少有一個元素與包g2的關系滿足“urn : ogc : def : function : geoxacml : 1.0 : geometry-is-in”函數。

GeometryBagUnion(b1: Bag, b2: Bag) : Bag

這個函數應有兩個參數，均是數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包。

這個函數應返回一個數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包，包中包含了包b1和b2的所有元素。如同“urn : ogc : def : function : geoxacml : 1.0 : geometry-equals”中所所定義的，應沒有重復元素在結果中出現。

GeometryBagSubset(b1: Bag, b2: Bag) : Boolean

這個函數應有兩個參數，均是數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包，并返回數據類型為“http : //www.w3.org/2001/XMLSchema#boolean”的值。

這個函數應返回一個“True”，當且僅當包b1是包b2的一個子集。每一個參數應被認為是去掉了重復元素的。

GeometrySetEquals(b1: Bag, b2: Bag) : Boolean

這個函數應有兩個參數，均是數據類型為“urn : ogc : def : dataType : geoxacml : 1.0 : geometry”的包，并返回數據類型為“http : //www.w3.org/2001/XMLSchema#boolean”的值。

這個函數的返回結果應按照以下流程計算： 1.對包b1和包b2計算函數“urn : ogc : def : function : geoxacml : 1.0 : geometry-bag-subset”；2.對包b2的和包b1計算函數“urn : ogc : def : function : geoxacml : 1.0 : geo-metry-bag-subset”；3.對1和2的結果計算函數“urn : oasis : names : tc : xacml : 1.0 : func-tion:and”。