Cerca
Ara es mostren els items 1-10 de 17
Dislog - a system for reasoning in disjunctive deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
DisLoG 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 ...
An execution model for change computation in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
Efficient 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 ...
Rock and roll: a deductive object-oriented database system
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
This extended abstract presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation.
The approach is novel, in that ...
Use of an object-based system with reasoning capabilities to integrate relational databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
The integration of heterogeneous and autonomous information sources
is a requirement for the new type of cooperative information systems.
In this paper we show the advantages of using a terminological system
for integrating ...
Update propagation in chimera, an active DOOD language
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
Propagating 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 ...
Extending the synthesis of update transaction programs to handle existential rules in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
We 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 ...
Reftections on sorne fundamental issues of rule-based incremental update propagation
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
This 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 ...
Reasoning about the safety of information: from logical formalization to operational definition
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
We 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 ...
The operational semantics of user-defined relationships in object oriented database
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
In semantic data models, abstract relationslúp ( e.g. generalization, aggregation,
etc) semantics is defined specifying how insertion, deletion and modification operations
made at a higher abstraction level can a.ffect ...
Change management in objectbases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Text en actes de congrés.
Accés obert
Text en actes de congrés.
Accés obert
In OODBMSs type-specific methods are used far manipulating objects, in
order to maintain the consistency of the database. This is, however, of little
help far the method implementor as far as the model-inherent constraints ...