Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Brian Rossiter

Downloads


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.


Publication metadata

Author(s): Rossiter BN, Sillitoe TJ, Heather MA

Publication type: Report

Publication status: Published

Series Title: Department of Computing Science Technical Report Series

Year: 1993

Pages: 34

Print publication date: 01/12/1993

Source Publication Date: December 1993

Report Number: 464

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/464.pdf


Share