next up previous
Next: AUCQL Up: Updates Previous: Data Updates

   
Adding and Removing Properties

Just as data evolves over time, properties can also be added and (logically) deleted.

A property may be added to a label at any time. For all existing labels, the new property is simply missing. When a label is subsequently inserted or updated, the new property can be used as needed. Each property consists of a unique name, a domain or type, and four operations: ${\it PrCl\/}\xspace_p$ (collapse), ${\it PrMa\/}\xspace_p$ (match), ${\it PrSl\/}\xspace_p$ (slice), and ${\it PrCs\/}\xspace_p$ (coalesce). A database designer adds this information to the semantics of properties, $\Gamma$, within DB. For most properties, the default semantics for operations given below will suffice.

[Default property semantics]

Let t1 and t2 be any values for the property.


		 ${\it PrCl\/}\xspace_p(t_1, t_2) = \lambda t_1 \; t_2 . \; t_2$

${\it PrMa\/}\xspace_p(t_1, t_2) = \lambda t_1 \; t_2 . \; \; t_1 = t_2$
${\it PrSl\/}\xspace_p(t_1, t_2)$ = Semantic Error
${\it PrCs\/}\xspace_p(\{t_1, \ldots, t_n\})$ = Semantic Error `$\mathchoice{\raisebox{-.3ex}{\vbox{\hrule width5pt height2.5pt
\hrule width5pt...
...dth5pt height2.5pt
\hrule width5pt height2.5pt
\hrule width5pt height2.5pt}}}$2
properties are by default collapsed to the second since paths are collapsed top-down, from a root to a leaf. The ``closest'' or most recent property to a leaf is taken to be the relevant property. Consider a URL property that gives the URL at which a datum resides. The URL of the page that contains the datum is more relevant than the URL of a parent page, and this is exactly what is computed by the default collapse constructor. Two properties match only if they are equal. No defaults are provided for and ${\it PrSl\/}\xspace_p$ and ${\it PrCs\/}\xspace_p$since no reasonable, general defaults exists. Furthermore, these operations are only invoked by mentioning the property name in an additional, specific query language operation (they are in some sense optional).

A property can be deleted by removing the property semantics from $\Gamma$. Although existing labels in the data store will mention the property, the property is ignored in all subsequent operations (except for labels with a required property in the deleted property, which will fail to match any subsequent query). To save space, and remove required properties, the property should also be deleted from each edge, but this might be costly and disruptive.

This simple support for properties can be enhanced by maintaining a history of property insertions and deletions as meta-meta-data. This can be accomplished by using name and transaction time properties within each label in the meta-data. Then previous database states can be queried with the properties available as of that previous state, but this issue of transaction time support for property changes is beyond the scope of this paper.


next up previous
Next: AUCQL Up: Updates Previous: Data Updates

Copyright © 1998. Curtis E. Dyreson, Michael H. B&. All rights reserved.