A logical query language for hypermedia systems (Q1328531)

The paper presents a declarative query language for expressing structural queries hyperdocuments. The language is based on a logic whose formulas specify patterns over the graph defined by the nodes and the links of the hyperdocuments. An object-oriented data model of the hyperdocument as a labeled directed graph is introduced in order to support the logic and the query language matches the expressiveness of the language with the characteristics of the hyperdocuments which store interlinked collections of information of different types such as text, image, voice and animation. The authors express the desire to further develop a visual query interface for this language.