count constructor

Make a Transformation that computes a count of the number of records in data.

Usage

make_count(input_domain, input_metric, .TO = "int")

Arguments

input_domain

Domain of the data type to be privatized.

input_metric

Metric of the data type to be privatized.

.TO

Output Type. Must be numeric.

Value

Transformation

Details

Required features: contrib

make_count in Rust documentation.

Citations:

• GRS12 Universally Utility-Maximizing Privacy Mechanisms

Supporting Elements:

• Input Domain: VectorDomain<AtomDomain<TIA>>

• Output Domain: SymmetricDistance

• Input Metric: AtomDomain<TO>

• Output Metric: AbsoluteDistance<TO>

Proof Definition:

(Proof Document)