R.H. Guting. Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. In Proc. ACM SIGMOD Conference, pp. 277--286, Washington, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Mapping Conceptual Geographic Models onto DBMS Data Models - Voisard, David (1997) (Correct)
....Rose Algebra [14, 15] has a clean approach with a clear separation of levels due to the introduction of an Object Model Interface that allows one to make the connection between a geographic model and a database model. However, this solution may seem complex as it requires second order signatures [16]. We will show that operations on maps can be expressed in a simple manner if some general features are provided in the underlying database framework. This paper is organized as follows. In Section 2, we give as a basis a simple conceptual geographic model, together with examples of operations ....
R.H. Guting, "Second-Order Signature: A Tool for Specifying Data Models, Query Processing and Optimization," in Proc. ACM-SIGMOD Conf., 1993.
Mapping Conceptual Geographic Models onto DBMS Data Models - Voisard, David (1997) (Correct)
....[GS93b, GS93a] has a clean approach with a clear separation of levels due to the introduction of an Object Model Interface that allows one to make the connection between a geographic model and a database model. However, this solution may seem complex as 2 it requires second order signatures [Gut93] We will show that operations on maps can be expressed in a simple manner if some general features are provided in the underlying database framework. This paper is organized as follows. In Section 2, we give as a basis a simple conceptual geographic model, together with examples of operations ....
R.H. Guting. Second-Order Signature: A Tool for Specifying Data Models, Query Processing and Optimization. In Proc. ACM-SIGMOD Conf., 1993.
A Foundation for Representing and Querying Moving Objects - Güting, Böhlen, Erwig.. (2000) (2 citations) (Correct)
....the sorts are called kinds and describe certain subsets of types, and in the role of operators we have type constructors. The terms generated by the signature describe exactly the types available in our type system. For more background on this technique for defining type systems and algebras see [Gut93] Table 2 shows the signature defining our type system. Here kinds are written in capitals and type constructors in italics. Type constructor Signature int, real, string, bool BASE point, points, line, region SPATIAL instant TIME moving, intime BASE [ SPATIAL TEMPORAL range BASE [ ....
R. H. Guting. Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 277--286, Washington, 1993.
Defining the Search Space for Query Optimization in a.. - Florescu, Raschid.. (1 citation) (Correct)
....we incorporate heterogeneous equivalences among entities in multiple heterogeneous schema. We specify heterogeneous object equivalences to map from the entities of a remote target schema to the unified global schema, using a second order algebraic language [Florescu and Valduriez (1994) Guting (1993)] The heterogeneous search space is then defined using heterogeneous object equivalences, and logical and semantic equivalences in both the global and target schema(s) Our approach to specifying heterogeneous equivalences is similar to the concept of virtual classes, proposed in [Abiteboul and ....
....with efficiency. 2.1 The Flora Algebra The framework is based on a many sorted algebra, which, unlike the relational algebra, supports arbitrary types, and operations between arbitrary types. A formal description of the algebraic representation is in [Florescu and Valduriez (1994) Guting (1993)] Flora type expressions are constructed from the basic types (atomic built in types, external types, and user defined object types) through the recursive application of the following type constructors: set, list and tuple. The set of corresponding Flora operators include built in and ....
Guting, R.H. (1993) "Second-order signature: a tool for specifying data models, query processing and optimization," Proceedings of the International Conference on the Management of Data.
Efficient Integration of Query Algebra Modules into an Extensible .. - Dieker (2001) Self-citation (Guting) (Correct)
No context found.
R.H. Guting. Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. In Proc. ACM SIGMOD Conference, pp. 277--286, Washington, 1993.
A Foundation for Representing and Querying Moving Objects - Güting, Böhlen, Erwig.. (1998) (2 citations) Self-citation (Guting) (Correct)
....Here the sorts are called kinds and describe certain subsets of types, and instead of operators we have type constructors. The terms generated by the signature describe exactly the types available in our type system. For more background on this technique for defining type systems and algebras see [Gut93] Table 1 shows the signature defining our type system. Type constructor Signature int, real, string, bool BASE point, points, line, region SPATIAL instant TIME moving, intime BASE [ SPATIAL TEMPORAL range BASE [ TIME RANGE Table 1: Signature describing the type system Terms, ....
R. H. Guting. Second-Order Signature: A Tool for Specifying Data Models, Query Processing, and Optimization. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 277--286, Washington, 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC