Temporal Logic in Database Query Languages

2011 ◽  
Keyword(s):  
Temporal Logic ◽  
Query Languages ◽  
Database Query

Database query languages and functional logic programming

2006 ◽  
Vol 24 (2) ◽  
pp. 129-184
Author(s):  
Jesús M. Almendros-Jiménez ◽  
Antonio Becerra-Terón
Keyword(s):  
Logic Programming ◽  
Query Languages ◽  
Database Query ◽  
Functional Logic Programming ◽  
Functional Logic

An implementation technique for database query languages

1982 ◽  
Vol 7 (2) ◽  
pp. 164-186 ◽  
Author(s):  
Peter Buneman ◽  
Robert E. Frankel ◽  
Rishiyur Nikhil
Keyword(s):  
Query Languages ◽  
Database Query ◽  
Implementation Technique

Pseudo-finite homogeneity and saturation

1999 ◽  
Vol 64 (4) ◽  
pp. 1689-1699 ◽  
Author(s):  
Jörg Flum ◽  
Martin Ziegler
Keyword(s):  
Expressive Power ◽  
Query Languages ◽  
Stable Theory ◽  
Finite Cover ◽  
Database Query ◽  
Homogeneity Property ◽  
Finite States

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.

Sign in / Sign up

Export Citation Format

Share Document