On the completeness of temporal database query languages

Author(s):  
Michael Böhlen ◽  
Robert Marti
2006 ◽  
Vol 24 (2) ◽  
pp. 129-184
Author(s):  
Jesús M. Almendros-Jiménez ◽  
Antonio Becerra-Terón

2009 ◽  
pp. 987-1002
Author(s):  
Valéria M.B. Cavalcanti ◽  
Ulrich Schiel ◽  
Claudio de Souza Baptista

Visual query systems (VQS) for spatio-temporal databases, which enable formulation of queries involving both spatial and temporal dimensions, are an important research subject. Existing results treat these dimensions separately and there are only a few integrated proposals. This chapter presents a VQS called spatio-temporal visual query environment (S-TVQE), which allows the formulation of conventional, spatial, temporal, and spatio-temporal database queries in an integrated environment. With S-TVQE, the user, instead of querying the database by textual query languages will interact with the system by visual operators for the statement of the query conditions. The tool provides a visualization of the results in different formats such as maps, graphics, and tables.


1982 ◽  
Vol 7 (2) ◽  
pp. 164-186 ◽  
Author(s):  
Peter Buneman ◽  
Robert E. Frankel ◽  
Rishiyur Nikhil

1999 ◽  
Vol 64 (4) ◽  
pp. 1689-1699 ◽  
Author(s):  
Jörg Flum ◽  
Martin Ziegler

AbstractWhen analyzing database query languages a roperty, of theories, the pseudo-finite homogeneity property, has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the finite cover property if and only if it has the pseudo-finite saturation property.


Author(s):  
Valéria M.B. Cavalcanti

Visual Query Systems (VQS) for Spatio-Temporal Databases; which enable formulation of queries involving both spatial and temporal dimensions; are an important research subject. Existing results treat these dimensions separately and there are only a few integrated proposals. This chapter presents a VQS; called Spatio-Temporal Visual Query Environment (S-TVQE) which allows the formulation of conventional; spatial; temporal; and spatio-temporal database queries in an integrated environment. With S-TVQE the user; instead of querying the database by textual query languages will interact with the system by visual operators for the statement of the query conditions. The tool provides a visualization of the results in different formats such as maps; graphics; and tables.


Sign in / Sign up

Export Citation Format

Share Document