By the same authors

From the same journal

FORMAL APPROACH TO HYPERTEXT SYSTEM BASED ON OBJECT-ORIENTED DATABASE SYSTEM

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalInformation and Software Technology
DatePublished - Sep 1992
Issue number9
Volume34
Number of pages20
Pages (from-to)573-592
Original languageEnglish

Abstract

InterSect is a prototype hypertext system designed to meet the requirements of complex documentation environments. It differs from conventional hypertext systems in that its nodes can behave like records in a database, as well as participating in normal hypertext links. This helps to overcome some of the problems, such as getting lost in hyperspace, exhibited by first-generation hypertext systems. The object-oriented database DAMOKLES is used in the prototype. The paper describes the use of the formal language Z to specify the InterSect system.

    Research areas

  • FORMAL METHOD, HYPERTEXT, OBJECT-ORIENTED DATABASE

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations