174 search results - page 7 / 35 » Language Constructs for Programming Active Databases |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
104
click to vote
DOOD
1991
Springer
15 years 1 months ago
1991
Springer
This paper examines the problem of adding non-deterministic constructs to a declarative database language based on Horn Clause Logic. We revise a previously proposed approach, the...
IFIP
1998
Springer
15 years 1 months ago
1998
Springer
Case studies made of multimedia document production highlight the need for a means of classifying and describing the transformations of media elements which make up this process. ...
ICLP
1994
Springer
15 years 1 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
86
Voted
XSYM
2005
Springer
15 years 3 months ago
2005
Springer
Among various proposals for primitives for deconstructing XML data two approaches seem to clearly stem from practise: path expressions, widely adopted by the database community, an...