1193 search results - page 107 / 239 » Database Query Languages and Functional Logic Programming |
112
click to vote
LNCS
1993
15 years 6 months ago
1993
– In the past few years considerable demand for user oriented multimedia information systems has developed. These systems must provide a rich set of functionality so that new, co...
117
Voted
IFIP
2009
Springer
15 years 9 months ago
2009
Springer
Application or business logic, used in the development of services, has to do with the operations that define the application functionalities and not with the platform ones. Often...
131
Voted
POPL
2012
ACM
13 years 10 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
134
Voted
GPC
2010
Springer
15 years 9 months ago
2010
Springer
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
144
click to vote
DOOD
1991
Springer
15 years 6 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...