A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and is suitable for any data model for which schema mappings are defined. In particular, the constructs of query, query language, view and view integration can be consistently expressed in this arrow formalism and correspondingly specified. This gives rise to a general graph-based framework for specifying complex view systems. Basic constructions of the language and the entire framework as well can be considered as specialization of very general constructs developed in the mathematical category theory.
In this paper we present a denotational semantics for a class of database definition languages. We p...
Abstract. The idea of a combined reference model- and view-based specification approach has been pro...
This paper presents a methodology to derive views over a relational database by applying a sequence ...
Abstract. In the paper a new approach to semantic modeling and view integration is proposed. The und...
The aim of the paper is to suggest a formalized data-model-independent language for metadata modelin...
In the paper a new approach to semantic modeling and view integration is proposed. The underlying da...
This paper presents a graphical query language for semantic data models. This language is based on a...
Abstract. This paper presents the semantics of database mappings in the rela-tional database (DB) ca...
The goal of the paper is to develop a graphical formalism for specifying queries and views within th...
An object-oriented data schema is a complex structure of classes interrelated via generalization and...
In this paper we discuss a graphical language for information retrieval and processing. A lot of rec...
Abstract. Many aspects of database systems have been improved by Graphical User Interfaces (GUIs). O...
We present a declarative language for the construction of hypertext views on databases. The language...
Problem statement Suppose that we are to build one information system (database, say) for several us...
We present a formal data model for views in Object DataBase Systems (ODBS) which is a continuation o...
In this paper we present a denotational semantics for a class of database definition languages. We p...
Abstract. The idea of a combined reference model- and view-based specification approach has been pro...
This paper presents a methodology to derive views over a relational database by applying a sequence ...
Abstract. In the paper a new approach to semantic modeling and view integration is proposed. The und...
The aim of the paper is to suggest a formalized data-model-independent language for metadata modelin...
In the paper a new approach to semantic modeling and view integration is proposed. The underlying da...
This paper presents a graphical query language for semantic data models. This language is based on a...
Abstract. This paper presents the semantics of database mappings in the rela-tional database (DB) ca...
The goal of the paper is to develop a graphical formalism for specifying queries and views within th...
An object-oriented data schema is a complex structure of classes interrelated via generalization and...
In this paper we discuss a graphical language for information retrieval and processing. A lot of rec...
Abstract. Many aspects of database systems have been improved by Graphical User Interfaces (GUIs). O...
We present a declarative language for the construction of hypertext views on databases. The language...
Problem statement Suppose that we are to build one information system (database, say) for several us...
We present a formal data model for views in Object DataBase Systems (ODBS) which is a continuation o...
In this paper we present a denotational semantics for a class of database definition languages. We p...
Abstract. The idea of a combined reference model- and view-based specification approach has been pro...
This paper presents a methodology to derive views over a relational database by applying a sequence ...