4397 search results - page 207 / 880 » Relational Algebra Operations |
140
click to vote
NMR
2004
Springer
15 years 9 months ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
128
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...
136
Voted
ECEASST
2006
15 years 3 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
143
Voted
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Subsystem based generalizations of rough set approximations are investigated. Instead of using an equivalence relation, an arbitrary binary relation is used to construct ...
233
Voted
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper, we are concerned with the distributed monitoring of P2P systems. We introduce the P2P Monitor system and a new declarative language, namely P2PML, for specifying mo...