1193 search results - page 31 / 239 » Database Query Languages and Functional Logic Programming |
PLANX
2007
14 years 11 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
103
click to vote
ACL2
2006
ACM
15 years 1 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
104
Voted
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
92
Voted
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
ICDE
1997
IEEE
15 years 1 months ago
1997
IEEE
In this paper we propose a data model for representing moving objects in database systems. It is called the Moving Objects Spatio-Temporal (MOST) data model. We also propose Futur...