We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Querying Hyperset/Web-Like Databases.
- Authors
Sazonov, Vladimir
- Abstract
Hyperset approach to Web-like (semistructured) databases is presented in a simple and intuitive way, hopefully for a wider audience, with demonstrating how this abstract view can be represented in concrete terms of set equations distributed between many hyperlinked HTML files of a particular form. Detailed, bisimulation invariant operational semantics of hyperset query language Δ is defined by means of reduction rules transforming such systems of set equations. The high expressive power of this language, formerly characterised by using the technique of descriptive complexity theory, is illustrated by defining formal semantics of path expressions, as well as of other known languages UnQL and UnCAL. A “horizontal”, stronger alternative to structural recursion of UnCAL is introduced, both definable in Δ.
- Subjects
HYPERSETS; SET theory; SEMANTICS; ONLINE databases; HTML (Document markup language); DOCUMENT markup languages
- Publication
Logic Journal of the IGPL, 2006, Vol 14, Issue 5, p785
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzl010