3583 search results - page 106 / 717 » A Type System for the Relational Calculus of Object Systems |
ADBIS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In moving object databases, many authors assume that number and position of objects to be processed are always known in advance. Detecting an unknown moving object and pu...
DASFAA
2004
IEEE
14 years 22 days ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
GIS
1998
ACM
13 years 8 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
ATAL
2006
Springer
14 years 22 days ago
2006
Springer
In this paper we present Mob, a service-oriented scripting language for programming mobile agents in distributed systems. The main feature of the language is the integration of th...
TABLEAUX
2009
Springer
14 years 3 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...