\section{Data sets and data publishing}
\label{sec:data}

\subsection{Data categories}
\label{subsec:data-categories}
\kat{Again, the title of the thesis is user-generated data, so there should exist also a distinction between user-generated and third party generated data. Hospital data for example, would fall in the third party generated data.} 
In this thesis, we are interested in data that contain information about individuals and their actions, as these are highly privacy-sensitive.
We firstly classify data based on their content \kat{'based on their content' reminds me of health data, trajectories, etc., not if they are aggregated or not. }:

\kat{Use full sentences, even in the bullets. }
\begin{itemize}
  \item \emph{Microdata}---the data items \kat{define data item} in their raw, usually tabular, form pertaining to individuals or objects \kat{objects?}.
  \item \emph{Statistical data}---the outcome of statistical processes on microdata.
\end{itemize}

\kat{I miss the definition of data. You speak of data items, data values, what is the difference to data?}
An example of microdata is displayed in Table~\ref{tab:snapshot-micro}, while an example of statistical data in Table~\ref{tab:snapshot-statistical}.
Data, in either of these two forms, may have a special property called~\emph{continuity}, i.e.,~their values change and can be observed through time. \kat{The way that you define it here reminds temporal data. What is the difference?}
\kat{If you say that data may have a special property called continuity, we wonder about the existence of other properties. Be more explicit on why you choose to mention only this property.}
Depending on the span of the observation, we distinguish the following categories:

\begin{itemize}
  \item \emph{Finite data}---data are observed during a predefined time interval.
  \item \emph{Infinite data}---data are observed in an uninterrupted fashion.
\end{itemize}

\begin{example}
  \label{ex:continuous}
  Extending Example~\ref{ex:snapshot}, \kat{Maybe put these three tables in a Figure instead of a table?} Table~\ref{tab:continuous} shows an example of continuous data observation \kat{maybe mention explicitly before what is data observation and continuous data observation }, by introducing one data table for each consecutive timestamp.
  The two data tables over the time-span $[t_1, t_2]$ are an example of finite data.
  Infinite data are the whole series of data obtained over the period~$[t_1, \infty)$ (infinity is denoted by `\dots').

  \includetable{continuous}

\end{example}

\kat{Why isn't next the presentation of sequential and incremental in bullets, as for the categories before?}

We further define two sub-categories applicable to both finite and infinite data: \emph{sequential} and \emph{incremental} data; these two subcategories are not exhaustive, i.e.,~not all data sets belong to the one or the other category.
In sequential data, the value of the observed variable changes, depending on its previous value.
For example, trajectories are finite sequences of location stamps, as naturally the position at each timestamp is connected to the position at the previous timestamp.
In incremental data, an original data set is augmented in each subsequent timestamp with supplementary information.
For example, trajectories can be considered as incremental data, when at each timestamp we consider all the previously visited locations by an individual, incremented by his current position.


\subsection{Data processing and publishing}
\label{subsec:data-publishing}

We categorize data processing and publishing based on the implemented scheme \kat{what does the implemented scheme refer to?}, as:

\begin{itemize}
  \item \emph{Global}---data are collected, processed and privacy-protected, and then published by a central (trusted) entity, as for instance in~\cite{mcsherry2009privacy, blocki2013differentially, johnson2018towards}.
  \item \emph{Local}---data are stored, processed and privacy-protected on the side of data generators before sending them to any intermediate or final entity, as for instance in~\cite{andres2013geo, erlingsson2014rappor, katsomallos2017open}.
\end{itemize}

\begin{figure}[htp]
  \centering
  \subcaptionbox{Global scheme\label{fig:scheme-global}}{%
    \includegraphics[width=\linewidth]{scheme-global}%
  } \\ \bigskip
  \subcaptionbox{Local scheme\label{fig:scheme-local}}{%
   \includegraphics[width=\linewidth]{scheme-local}%
  }
  \caption{The usual flow of user-generated data, optionally harvested by data publishers, privacy-protected, and released to data consumers, according to the (a)~global, and (b)~local privacy schemes.}
  \label{fig:privacy-schemes}
\end{figure}

In the case of location data privacy, the existing literature\kat{do not say literature, but sth related to the data processing and publishing} is divided in
\emph{service-} and \emph{data-}centric methods~\cite{chow2011trajectory}.
The service-centric methods correspond to scenarios where individuals share their privacy-protected location with a service to get some relevant information (local publishing scheme).
The data-centric methods relate to the publishing of user-generated data to data consumers (global publishing scheme).
\kat{I do not get the data-centric methods.. Can't data-centric be also service centric ?  E.g., we publish our data to get back some service? Moreover, what is exactly the link between local and global and service and data centric? One to one ?}

There is a long-standing debate whether the local or the global architectural scheme is more efficient with respect to not only privacy, but also organizational, economic, and security factors~\cite{king1983centralized}.
On the one hand, in the global privacy scheme (Figure~\ref{fig:scheme-global}), the dependence on third-party entities poses the risk of arbitrary privacy leakage from a compromised data publisher.
Nonetheless, the expertise of these entities is usually superior to that of the majority of (non-technical) data generators' in terms of understanding privacy permissions/\allowbreak policies and setting-up relevant preferences.
Moreover, in the global architecture, less distortion is necessary before publicly releasing the aggregated data set, naturally because the data sets are larger and users can be `hidden' more easily.
On the other hand, the local privacy scheme (Figure~\ref{fig:scheme-local}) facilitates fine-grained data management, offering to every individual better control over their data~\cite{goldreich1998secure}.
Nonetheless, data distortion at an early stage might prove detrimental to the overall utility of the aggregated data set.
The so far consensus is that there is no overall optimal solution among the two designs.
Most service-providing companies prefer the global scheme, mainly for reasons of better management and control over the data, while several privacy advocates support the local privacy scheme that offers users full control over what and how data are published.
Although there have been attempts to bridge the gap between them, e.g.,~\cite{bittau2017prochlo}, the global scheme is considerably better explored and implemented~\cite{satyanarayanan2017emergence}.
For this reason, most of the works in our work span this context. 
\kat{this last sentence is out of context for the thesis dissertation. Please, explain why you said all that, but w.r.t. the  thesis.}

We distinguish between two publishing modes for private data: \emph{snapshot} and \emph{continuous}. \kat{I do not like that you present some of the categories as bullets and others as plain text. Be consistent in one format.}
In snapshot publishing (also appearing as \emph{one-shot} or \emph{one-off} publishing), the system processes and releases a data set at a specific point in time and thereafter is not concerned anymore with the specific data set.
For example, in Figure~\ref{fig:mode-snapshot} (ignore the privacy-preserving step for the moment) individuals send their data to an LBS provider, considering a specific time point.
In continuous data publishing the system computes, and publishes augmented or updated versions of one data set in different time points, and without a predefined duration.
In the context of privacy-preserving data publishing, privacy preservation is tightly coupled with the data processing and publishing stages. \kat{This can be the introductory sentence of the sub-section, but does not fit here.}

As already discussed in Section~\ref{ch:intro}, in this thesis we are studying the continuous data publishing mode, and thus we do not include works considering the snapshot paradigm.
We have made this choice because privacy-preserving continuous data publishing is a more complex problem, receiving more and more attention from the scientific community in the recent years, as shown by the increasing number of publications in this area.\kat{this was a good argumentation but for the survey, not for the thesis..}
Moreover, the use cases of continuous data publishing abound, with the proliferation of the Internet, sensors, and connected devices, which produce and send to servers huge amounts of continuous personal data in astounding speed.

We identify two main data processing and publishing modes: \kat{but so far you have already presented other categories for processing and publishing; why do you say here two main modes?}

\begin{itemize}
  \item \emph{Batch}---data are considered in groups in specific time intervals.
  \item \emph{Streaming}---data are considered per timestamp, infinitely.
\end{itemize}

\begin{figure}[htp]
  \centering
  \subcaptionbox{Snapshot mode\label{fig:mode-snapshot}}{%
    \includegraphics[width=.4\linewidth]{mode-snapshot}%
  } \\ \bigskip\hspace{\fill}
  \subcaptionbox{Batch mode\label{fig:mode-batch}}{%
    \includegraphics[width=.4\linewidth]{mode-batch}%
  }\hspace{\fill}
  \subcaptionbox{Streaming mode\label{fig:mode-streaming}}{%
    \includegraphics[width=.4\linewidth]{mode-streaming}%
  }\hspace{\fill}
  \caption{The different data processing and publishing modes of continuously generated data sets.
  (a)~Snapshot publishing, (b)~continuous publishing--batch mode, and (c)~continuous publishing--streaming mode.
  $\pmb{o}_x$ denotes the privacy-protected version of the data set $D_x$ or statistics thereof, while `\dots' denote the continuous data generation and/or publishing, where applicable.
  Depending on the data observation span, $n$ can either be finite or tend to infinity. \kat{We cannot see in these scenarios the continuous querying of the same snapshot.}}
  \label{fig:privacy-modes}
\end{figure}

Batch data processing and publishing (Figure~\ref{fig:mode-batch}) is performed (usually offline) over both finite and infinite data, while streaming processing and publishing (Figure~\ref{fig:mode-streaming}) is by definition connected to infinite data (usually in real-time).