40 Years of Computing at Newcastle

Department Technical Report Series No. 464

Models for Legal Documentation: using Formal Methods for Quality Assurance in Hypertext Systems

B.N. Rossiter
T.J. Sillitoe
M.A. Heather

University of Newcastle upon Tyne. 1994

Abstract

Current hypertext systems have been widely and effectively used on relatively small data volumes. But the law is concerned with large complex data sets. The potential of database technology is explored for aiding the implementation of hypertext systems holding very large amounts of complex data. Databases meet many requirements of the hypermedium: persistent data management, large volumes, data modelling, multi-level architecture with abstractions and views, meta-data integrated with operational data, short-term transaction processing and high-level end-user languages for searching and updating data. To illustrate the potential for the use of data bases, a system implementing the storage, retrieval and recall of trails through hypertext comprising textual complex objects is described. Weaknesses in current database systems for handling the legal models are discussed.


Department Technical Report Series - 1994
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 464, 27 June 1997