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.
Get full access to this article
View all access options for this article.