From f987e29e9f0ac8b2e491c67f2ecb38f7352660bd Mon Sep 17 00:00:00 2001 From: Douglas Rumbaugh Date: Tue, 10 Jun 2025 16:29:55 -0400 Subject: Began work on presentation --- chapters/beyond-dsp.tex | 38 ++++++++++++++++++++++++++--- presentation/.~lock.comp-presentation.odp# | 1 + presentation/comp-presentation.odp | Bin 0 -> 3450571 bytes presentation/img/dsp.png | Bin 0 -> 62662 bytes presentation/img/edsp.png | Bin 0 -> 90630 bytes presentation/img/idsp-alg.png | Bin 0 -> 102555 bytes presentation/img/idsp-cost.png | Bin 0 -> 9317 bytes presentation/img/idsp.png | Bin 0 -> 40332 bytes presentation/img/irs.png | Bin 0 -> 63005 bytes presentation/img/knn.png | Bin 0 -> 66889 bytes presentation/img/koe.png | Bin 0 -> 256330 bytes presentation/img/policy-costs.png | Bin 0 -> 77309 bytes 12 files changed, 35 insertions(+), 4 deletions(-) create mode 100644 presentation/.~lock.comp-presentation.odp# create mode 100644 presentation/comp-presentation.odp create mode 100644 presentation/img/dsp.png create mode 100644 presentation/img/edsp.png create mode 100644 presentation/img/idsp-alg.png create mode 100644 presentation/img/idsp-cost.png create mode 100644 presentation/img/idsp.png create mode 100644 presentation/img/irs.png create mode 100644 presentation/img/knn.png create mode 100644 presentation/img/koe.png create mode 100644 presentation/img/policy-costs.png diff --git a/chapters/beyond-dsp.tex b/chapters/beyond-dsp.tex index a2e7abf..26f733c 100644 --- a/chapters/beyond-dsp.tex +++ b/chapters/beyond-dsp.tex @@ -351,6 +351,33 @@ interface, with the same performance as their specialized implementations. \subsection{Iterative Deletion Decomposability} \label{ssec:dyn-idsp} + + +\begin{algorithm}[t] + \caption{Answering an Iterative Deletion Decomposable Search Problem} + \label{alg:dyn-query} + \KwIn{$q$: query parameters, $\mathscr{I}_1 \ldots \mathscr{I}_m$: blocks} + \KwOut{$R$: query results} + + $\mathscr{M} \gets \{\}$ \; + \For{$i \gets 1 \ldots m$}{$\mathscr{M} \gets \mathscr{M}\ \cup \texttt{local\_preproc}(\mathscr{I}_i, q)$ \;} + $(q_1, \ldots q_m) \gets \texttt{distribute\_query}(\mathscr{M}, q)$ \; + $R \gets \{\}; \ \ \texttt{rpt} \gets \bot$ \; + \Do{\texttt{rpt}}{ + $r \gets \{\}$ \; + % the subscript in this one is wonky. Maybe do an array of Qs? + \For{$i \gets 1\ldots m$}{$r \gets r \cup \texttt{local\_query}(\mathscr{I}_i, q_i)$ \;} + %\Comment{For \red{name}, use \texttt{tombstone\_lookup} to remove all deleted records. } + %\If{\textbf{not} \texttt{SKIP\_DELETE\_FILTER}}{$locR \gets \texttt{filter\_deletes}(locR, S)$} + $R \gets R \cup \texttt{combine}(r)$ \; + $(\texttt{rpt}, q_1, \ldots, + q_m) \gets \texttt{repeat}(q, R, q_1,\ldots, q_m)$ \; + } + \Return{$R$} + +\end{algorithm} + + We next turn out attention to support for deletes. Efficient delete support in Bentley-Saxe dynamization is provably impossible~\cite{saxe79}, but, as discussed in Section~\ref{ssec:dyn-deletes} it is possible @@ -396,9 +423,8 @@ class of search problem: \emph{iterative deletion decomposable} (IDSP). The IDSP definition expands eDSP with a fifth operation, \begin{itemize} - \item $\mathbftt{repeat}(\mathcal{Q}, \mathcal{R}, \mathcal{Q}_1, \ldots, - \mathcal{Q}_m) \to (\mathbb{B}, \mathcal{Q}_1, \ldots, - \mathcal{Q}_m)$ \\ + \item $\mathbftt{repeat}(q, R, q_1, \ldots, q_m) \to + (\mathbb{B}, q_1, \ldots, q_m)$ \\ Evaluate the combined query result in light of the query. If a repetition is necessary to satisfy constraints in the query (e.g., result set size), optionally update the local queries as @@ -428,7 +454,11 @@ records. This can be done, for example, using the full-reconstruction techniques in the literature~\cite{saxe79, merge-dsp, overmars83} or through proactively performing reconstructions, such as with the mechanism discussed in Section~\ref{sssec:sampling-rejection-bound}, -depending on the particulars of how deletes are implemented. +depending on the particulars of how deletes are implemented. The +full IDSP query algorithm is shown in Figure~\ref{alg:dyn-idsp-query} + + + As an example of how IDSP can facilitate delete support for search problems, let's consider $k$-NN. This problem can be $C(n)$-deletion diff --git a/presentation/.~lock.comp-presentation.odp# b/presentation/.~lock.comp-presentation.odp# new file mode 100644 index 0000000..4f90081 --- /dev/null +++ b/presentation/.~lock.comp-presentation.odp# @@ -0,0 +1 @@ +,dbr4,e5-cse-343arch1,10.06.2025 16:29,file:///export/home/dbr4/.config/libreoffice/4; \ No newline at end of file diff --git a/presentation/comp-presentation.odp b/presentation/comp-presentation.odp new file mode 100644 index 0000000..057e662 Binary files /dev/null and b/presentation/comp-presentation.odp differ diff --git a/presentation/img/dsp.png b/presentation/img/dsp.png new file mode 100644 index 0000000..ce1ebcb Binary files /dev/null and b/presentation/img/dsp.png differ diff --git a/presentation/img/edsp.png b/presentation/img/edsp.png new file mode 100644 index 0000000..1da2c82 Binary files /dev/null and b/presentation/img/edsp.png differ diff --git a/presentation/img/idsp-alg.png b/presentation/img/idsp-alg.png new file mode 100644 index 0000000..c9671bc Binary files /dev/null and b/presentation/img/idsp-alg.png differ diff --git a/presentation/img/idsp-cost.png b/presentation/img/idsp-cost.png new file mode 100644 index 0000000..e1d2923 Binary files /dev/null and b/presentation/img/idsp-cost.png differ diff --git a/presentation/img/idsp.png b/presentation/img/idsp.png new file mode 100644 index 0000000..b1635a0 Binary files /dev/null and b/presentation/img/idsp.png differ diff --git a/presentation/img/irs.png b/presentation/img/irs.png new file mode 100644 index 0000000..7b51d90 Binary files /dev/null and b/presentation/img/irs.png differ diff --git a/presentation/img/knn.png b/presentation/img/knn.png new file mode 100644 index 0000000..fd4910b Binary files /dev/null and b/presentation/img/knn.png differ diff --git a/presentation/img/koe.png b/presentation/img/koe.png new file mode 100644 index 0000000..ac22cef Binary files /dev/null and b/presentation/img/koe.png differ diff --git a/presentation/img/policy-costs.png b/presentation/img/policy-costs.png new file mode 100644 index 0000000..3233272 Binary files /dev/null and b/presentation/img/policy-costs.png differ -- cgit v1.2.3