A View Mechanism for a Knowledge-Based Information System

Article type: Research Article

Authors: Bertino, Elisa^b | Damiani, Maria^b | Paganini, Alessandro^{a; *}

Affiliations: [a] Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Viale Benedetto XV 3, 16132 Genova, Italy | [b] Datamont R&D Centre, Via Taramelli 26, 20124 Milano, Italy

Correspondence: [*] To whom all correspondence should be addressed.

Abstract: This article describes a view definition mechanism for an advanced information system based on the BACK (Berlin advanced computational knowledge) knowledge representation system. We first discuss motivations for providing a view definition mechanism. Then, we describe the overall approach for views. Then, we describe a set of basic transformation primitives, which can be combined to define (complex) views, and we introduce the notion of schema-view, Finally, we present the formal semantics of a set of rewriting rules allowing to transform a query on a view into a query on the knowledge base concepts.

DOI: 10.3233/ICA-1994-1503

Journal: Integrated Computer-Aided Engineering, vol. 1, no. 5, pp. 397-420, 1994