4008 search results - page 154 / 802 » An expressive language of signatures |
137
click to vote
IAT
2006
IEEE
16 years 14 days ago
2006
IEEE
Across various domains, the relational model for databases is employed extensively for the purpose of storing, managing and retrieving data. The translation, however, of data mode...
185
click to vote
DIAGRAMS
2004
Springer
15 years 10 months ago
2004
Springer
Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalen...
165
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
The existence of a language expressing precisely the PTIME queries on arbitrary structures remains the central open problem in the theory of database query languages. As it turns o...
158
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We convert, via a version that uses constraints, a type inference system for strictness analysis into an algorithm which given an expression finds the set of possible typ...
183
click to vote
HASKELL
2007
ACM
15 years 10 months ago
2007
ACM
We propose an extension to list comprehensions that makes it easy to express the kind of queries one would write in SQL using ORDER BY, GROUP BY, and LIMIT. Our extension adds exp...