721 research outputs found

    Formal Verification of Recursive Predicates

    Get PDF

    Preface of the Proceedings of WRAP 2004

    Get PDF

    Binary Relation Database BIRD: Issues of Representation and Implementation

    Get PDF
    This thesis presents a study of two issues, integrity and homogeneity of information representation, within the area of databases. Treatments of these issues were studied within the standard and semantic database models, leading to the proposal of a new model, the Binary Relation Database, BIRD. The BIRD model uses the binary relationship as the basis for the representation of all database data and meta-data. The inadequacy of integrity definition faculties within current database technology areelaborated in this thesis and were taken into account in the BIRD system. The effects of inhomogeneity of database data and meta-data in current databases are described and the benefits of the homogeneity of information representation in BIRD demonstrated. BIRD was implemented as a prototype database system; using Modula-2, - the implementation and subsequent evaluation of the system are included in this thesis. A simple user menu driven user interface to BIRD was constructed, - the user may manipulate information at any conceptual level in the system in a homogeneous manner. The user is free to manipulate information from any conceptual level at anytime; - BIRD ensures that the database is returned to a consistent state before the next operation may take place. The new model proposed in this thesis fulfilled its objectives, - suggestions for further and implementation oriented work are presented at the end of the thesis

    Preface of the Proceedings of WRAP 2004

    Get PDF

    Computer integrated documentation

    Get PDF
    The main technical issues of the Computer Integrated Documentation (CID) project are presented. The problem of automation of documents management and maintenance is analyzed both from an artificial intelligence viewpoint and from a human factors viewpoint. Possible technologies for CID are reviewed: conventional approaches to indexing and information retrieval; hypertext; and knowledge based systems. A particular effort was made to provide an appropriate representation for contextual knowledge. This representation is used to generate context on hypertext links. Thus, indexing in CID is context sensitive. The implementation of the current version of CID is described. It includes a hypertext data base, a knowledge based management and maintenance system, and a user interface. A series is also presented of theoretical considerations as navigation in hyperspace, acquisition of indexing knowledge, generation and maintenance of a large documentation, and relation to other work
    corecore