Skip to content

Commit 0063f88

Browse files
committed
Minor corrections
1 parent 9526b3f commit 0063f88

1 file changed

Lines changed: 2 additions & 3 deletions

File tree

docs/bookmarks.md

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -384,13 +384,12 @@ There is no *a priori* answer to this question; any answer could be correct. To
384384

385385
This a closely related topic, and maybe can precede the discussion above, but ...
386386

387-
The *historical metadata support* of an observation history record $H$ is the set of metadata (history) records directly relevant to $H$, which is to say directly associated to $H$ by one or more FK links away from the observation.
388-
We denote this by $S(H)$. Notes:
387+
The *historical metadata support* of an observation history record $H$ is the set of metadata (history) records directly relevant to $H$, which is to say directly associated to $H$ by one or more FK links away from the observation. We denote this by $S(H)$. Notes:
389388

390389
- This in fact applies to any history record $H$, but observation histories are the most important and are the most general or complex case.
391390
- We have only unidirectional links to consider at the moment, but if we include many:many relationships in history tracking, then this definition will possibly become a little more complicated.
392391

393-
The historical metadata support of a set of observation history records $K$ is the union of the support of each record $H \in K$. We write $S(K) = \bigcup_{H \in S} S(H)$.
392+
The historical metadata support of a set of observation history records $K$ is the union of the support of each record $H \in K$. We write $S(K) = \bigcup_{H \in K} S(H)$.
394393

395394
When we select a set of observations to be bookmarked after the fact, that is after the database has experienced more changes, we need to also include the metadata support of that set. This will make bookmarking after the fact somewhat trickier.
396395

0 commit comments

Comments
 (0)