add "degree" function as synonym for "arity"
commit59ca1a8ea1c4ed7ff33c00f3e766db894bf143c4
authorAgentM <agentm@themactionfaction.com>
dateWed 24 Jun 2015, 12:53 (11 years ago)
parentd513b2e
ProjectM36/Relation.hs+3
@@ -109,6 +109,9 @@ rename oldAttrName newAttrName rel@(Relation oldAttrs oldTupSet) =
109109arity :: Relation -> Int
110110arity (Relation attrs _) = A.arity attrs
111111
112+degree :: Relation -> Int
113+degree = arity
114+
112115cardinality :: Relation -> RelationCardinality
113116cardinality (Relation _ tupSet) = Countable (HS.size tupSet)
114117