97 search results - page 10 / 20 » A Domain-theoretic Approach to Integrating Functional and Lo... |
VLDB
1995
ACM
14 years 9 days ago
1995
ACM
We follow the stack-baaed approach to query languages which is a new formal and intellectual paradigm for integrating querying and programming for object-oriented databases. Queri...
ICLP
2007
Springer
14 years 19 days ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
IDEAS
2003
IEEE
14 years 2 months ago
2003
IEEE
The objective of this paper is to investigate the problems related to the extensional integration of information sources. In particular, we propose an approach for managing incons...
XSYM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...