3836 search results - page 480 / 768 » Semantics of Database Transformations |
215
Voted
EDBT
2012
ACM
13 years 8 months ago
2012
ACM
Many stream processing applications require access to a multitude of streaming as well as stored data sources. Yet there is no clear semantics for correct continuous query executi...
175
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
173
Voted
LPNMR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
173
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this article, we describe the XML storage system used in the WebContent project. We begin by advocating the use of an XML database in order to store WebContent documents, and w...
164
click to vote
ECSQARU
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...