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

被引：7
|
作者：
HITCHCOCK, P
WANG, B
机构：
[1] Computer Science Department, University of York, Heslington, York
来源：
INFORMATION AND SOFTWARE TECHNOLOGY | 1992年 / 34卷 / 09期
关键词：
FORMAL METHOD; HYPERTEXT; OBJECT-ORIENTED DATABASE;
D O I：
10.1016/0950-5849(92)90135-C
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：573 / 592
页数：20
相关论文
共 50 条
  • [1] AN OBJECT-ORIENTED APPROACH TO DATABASE SYSTEM IMPLEMENTATION
    BAROODY, AJ
    DEWITT, DJ
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1981, 6 (04): : 576 - 601
  • [2] OBJECT-ORIENTED APPROACH FOR TRANSPUTER-BASED DATABASE SYSTEM
    GRAY, JP
    POOLE, F
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (01) : 31 - 37
  • [3] ABSTRACTION AND INHERITANCE OF HYPERLINKS IN AN OBJECT-ORIENTED HYPERTEXT DATABASE SYSTEM TEXTLINK/GEM
    QIAN, Q
    TANIZAKI, M
    TANAKA, K
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (11) : 1343 - 1353
  • [4] A NEW APPROACH TOWARDS AN OBJECT-ORIENTED DATABASE SYSTEM
    GOUTAS, S
    SOUPOS, P
    CHRISTODOULAKIS, D
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 127 - 132
  • [5] The object-oriented design of KROSS: An object-oriented spatial database system
    Kim, YH
    Kim, MS
    Kwon, SH
    Jeong, CS
    [J]. DATABASE AND EXPERT SYSTEMS APPLICATIONS, 1996, 1134 : 603 - 612
  • [6] Product information system based on an object-oriented Internet database system
    Kobler, A.
    Norrie, M.C.
    [J]. Journal of Engineering and Applied Science, 1997, : 43 - 48
  • [7] A product information system based on an object-oriented Internet database system
    Kobler, A
    Norrie, MC
    [J]. SIXTH IEEE WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 1997, : 43 - 48
  • [8] INTEGRATING AN OBJECT-ORIENTED PROGRAMMING SYSTEM WITH A DATABASE SYSTEM
    KIM, W
    BALLOU, N
    CHOU, HT
    GARZA, JF
    WOELK, D
    BANERJEE, J
    [J]. SIGPLAN NOTICES, 1988, 23 (11): : 142 - 152
  • [9] COMPOSITE OBJECT SUPPORT IN AN OBJECT-ORIENTED DATABASE SYSTEM
    KIM, W
    BANERJEE, J
    CHOU, HT
    GARZA, JF
    WOELK, D
    [J]. SIGPLAN NOTICES, 1987, 22 (12): : 118 - 125
  • [10] OBJECT EXCHANGE SERVICE FOR AN OBJECT-ORIENTED DATABASE SYSTEM
    PATHAK, G
    JOSEPH, J
    FORD, S
    [J]. PROCEEDINGS : FIFTH INTERNATIONAL CONFERENCE ON DATA ENGINEERING, 1989, : 27 - 34
12345