Congressos
Comunitat que allotja les comunicacions, ponències i actes presentades a congressos o jornades organitzades per la UPC amb l'objectiu d'augmentar la seva visibilitat i de fer-los accessibles i preservables.
Els membres de la UPC interessats a dipositar documents en aquesta comunitat, si us plau, contacteu amb: Info.Biblioteques@upc.edu
Comunidad que aloja las comunicaciones, ponencias y actos presentados en congresos o jornadas organizados por la UPC con el objetivo de aumentar su visibilidad y de hacerlos accesibles y preservables.
Los miembros de la UPC interesados en depositar documentos en esta comunidad, por favor, pónganse en contacto con: Info.Biblioteques@upc.edu
A community hosting open-access scientific and technical journal articles published by UPC units in order to increase their visibility and accessibility and ensure their preservation.
Members of the UPC who are interested in depositing documents in this community should contact Info.Biblioteques@upc.edu
Sub-communities within this community
-
Arquitectonics [440]
-
COMPLAS [543]
-
FIT-A recerca [2]
-
Jornada FICAL [5]
-
Jornada Low Tech [21]
-
Research Café [37]
-
TRUDEVICE [43]
Recent Submissions
-
Validating constraints with partial information: research overview
(1994)
Conference report
Open AccessWe are interested in the problem of validating the consistency of integrity constraints when data is modified. In particular, we consider how constraints can be checked with only "partial information". Partial information ... -
Reasoning about the safety of information: from logical formalization to operational definition
(1994)
Conference report
Open AccessWe assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to represent information safety, and to derive ... -
Dislog - a system for reasoning in disjunctive deductive databases
(1994)
Conference report
Open AccessDisLoG is a system for reasoning in disjunctive -deductive databases. It seeks to combine features of disjunctive logic programming, such as the support for incomplete information, with those of deductive databases, such ... -
Integrity constraints checking in historical deductive databases
(1994)
Conference report
Open AccessWe propose to add temporal support to deductive databases thus obtaining all the advantages of these databases while gaining the power of interpreting facts in the context of time. A historical deductive database is a ... -
Update propagation in chimera, an active DOOD language
(1994)
Conference report
Open AccessPropagating updates is an important task to be performed within many database services such as integrity checking, maintenance of materialized views, and condition monitoring. This paper is concerned with the propagation ... -
Reftections on sorne fundamental issues of rule-based incremental update propagation
(1994)
Conference report
Open AccessThis paper addresses two fundamental aspects of update propagation in deductive databases: 1. How to incrementally compute the sets of updates induced by a deductive rule from the changes of the data sets on which the ... -
Espai per a preguntes, reflexions o identificació de sinergies
(2022-10-19)
Conference lecture
Open AccessEn aquest Research Café es presenten projectes on la tecnologia es posa al servei dels mars i els oceans, i que estan lligats amb els objectius ODS Vida Submarina i Acció pel clima. En aquest vídeo trobem les conclusions ... -
On specifying database updates
(1994)
Conference report
Open AccessWe address the problem of formalizing the evolution of a database under the effect of an arbitrary sequence of update transactions. We do so by appealing to a first order representation language called the situation ... -
Extending the synthesis of update transaction programs to handle existential rules in deductive databases
(1994)
Conference report
Open AccessWe propose a new method for generating consistency-preserving transaction programs for (view) updates in deductive databases. The method augments the deductive database schema with a set of transition and intemal events ... -
An execution model for change computation in deductive databases
(1994)
Conference report
Open AccessEfficient change computation is very important in the field of deductive databases in order to optimise the processes of integrity constraints checking, materialized view maintenance and condition monitoring. In this paper ... -
A common framework for classifying and specifying deductive database updating problems
(1994)
Conference report
Open AccessSeveral problems may arise when updating a deductive database. Up to now, the general approach of the research related to deductive database updating problems has been to provide specific methods for solving particular ...
RSS 1.0