Sciweavers

4397 search results - page 64 / 880
» Relational Algebra Operations
Sort
View
AMAST
2000
Springer
14 years 2 days ago
Meta Languages in Algebraic Compilers
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
Eric Van Wyk
GISCIENCE
2004
Springer
136views GIS» more  GISCIENCE 2004»
14 years 1 months ago
Simplifying Sets of Events by Selecting Temporal Relations
Reasoning about events or temporal aspects is fundamental for modeling geographic phenomena. This work concerns the analysis of events as configurations of temporal intervals. It...
Andrea Rodríguez, Nico Van de Weghe, Philip...
MOC
2002
70views more  MOC 2002»
13 years 7 months ago
Solving norm equations in relative number fields using S-units
Abstract. In this paper, we are interested in solving the so-called norm equation NL/K(x) = a, where L/K is a given arbitrary extension of number fields and a a given algebraic num...
Denis Simon
TGC
2007
Springer
14 years 1 months ago
Relational Analysis for Delivery of Services
Many techniques exist for statically computing properties of the evolution of processes expressed in process algebras. Static analysis has shown how to obtain useful results that c...
Flemming Nielson, Hanne Riis Nielson, Jörg Ba...
SIGMOD
2005
ACM
93views Database» more  SIGMOD 2005»
14 years 7 months ago
Supporting Executable Mappings in Model Management
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...
Sergey Melnik, Philip A. Bernstein, Alon Y. Halevy...