git.iko.soy/project-m36
on master help sign in
add "degree" function as synonym for "arity"
59ca1a8AgentM
ProjectM36/Relation.hs+3
compare with master
unifiedsplit
@@ -109,6 +109,9 @@ rename oldAttrName newAttrName rel@(Relation oldAttrs oldTupSet) =
109arity :: Relation -> Int
109arity :: Relation -> Int
110arity (Relation attrs _) = A.arity attrs
110arity (Relation attrs _) = A.arity attrs
111
111
112+degree :: Relation -> Int
113+degree = arity
114+
112cardinality :: Relation -> RelationCardinality
115cardinality :: Relation -> RelationCardinality
113cardinality (Relation _ tupSet) = Countable (HS.size tupSet)
116cardinality (Relation _ tupSet) = Countable (HS.size tupSet)
114
117