Modeling and Querying Recursive Data Structures I: Introduction
J.H. ter Bekke and J.A. Bakker

Present recursive applications for recursive data structures require complex software packages; they cannot be specified in a declarative query language. Recursive queries are complex when a kind of data modeling is applied that emphasizes variable relationships instead of definite and inherent (structural) relationships: users must specify processing details as navigation and iteration.
Another kind of modeling supports definitive relationships; an example is the relational model. Although this kind of modeling makes control statements in queries superfluous, the relational model still creates problems for end users because relationships between tables cannot be specified inherently; they are specified by relationships between key attributes: subset constraints. Consequently, a user interested in data from diverse tables has to specify join operations, which offers opportunities for semantic errors such as joining over non-key attributes.
Also semantic data modeling is based on definitive relationships, but contrary to the relational model it enables us to specify data structure in an inherent way. As a consequence join terms are superfluous: processing details can be derived by a software system interpreting semantic metadata.
Using family trees as an example, we compare the consequences of the two categories of data modeling mentioned above for the specification of non-recursive queries, whereas the following paper will show that inherent specification of data structure is also a fundamental prerequisite for the declarative specification of recursive operations. The resulting processing is reliable and efficient as can be demonstrated by a working database management system.
Keywords: query language, recursive data structure, recursive query processing, semantic data modeling, metadata, end user computing

Publication Data
Proceedings of the Seventh International Conference on Artificial Intelligence and Soft Computing, Banff - Canada, July 14-16 2003, pp. 278-282.
Editor: H. Leung
Publisher: IASTED/ACTA Press, Anaheim - Calgary - Zurich
Year: 2003
ISBN: 0-88986-367-0
ISSN: 1482-7913

From the personal digital library:
Full paper in pdf-format [34 KB]