Sciweavers

4397 search results - page 221 / 880
» Relational Algebra Operations
Sort
View
EDBT
2006
ACM
106views Database» more  EDBT 2006»
16 years 4 months ago
Online, Non-blocking Relational Schema Changes
A database schema should be able to evolve to reflect changes to the universe it represents. In existing systems, user transactions get blocked during complex schema transformation...
Jørgen Løland, Svein-Olaf Hvasshovd
ACSC
2008
IEEE
15 years 10 months ago
Relative simulation and model checking of real-time processes
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
Colin J. Fidge
INFOCOM
2005
IEEE
15 years 9 months ago
Relating two formal models of path-vector routing
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
Aaron D. Jaggard, Vijay Ramachandran
BIRTHDAY
2008
Springer
15 years 6 months ago
Linear Recurrence Relations for Graph Polynomials
A sequence of graphs Gn is iteratively constructible if it can be built from an initial labeled graph by means of a repeated fixed succession of elementary operations involving add...
Eldar Fischer, Johann A. Makowsky
ECAI
2006
Springer
15 years 6 months ago
On the Logic of Theory Change: Relations Between Incision and Selection Functions
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
Marcelo A. Falappa, Eduardo L. Fermé, Gabri...