2574 search results - page 5 / 515 » Typed Query Languages for Databases Containing Queries |
DBPL
2001
Springer
14 years 1 months ago
2001
Springer
PODS
2010
ACM
14 years 1 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
ADC
2008
Springer
14 years 3 months ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
SIGMOD
2004
ACM
14 years 8 months ago
2004
ACM
PODS
2010
ACM
14 years 1 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...