Workshop on the Deductive Approach to Information Systems and Databases

Enviaments recents

  • Validating constraints with partial information: research overview 

    Widom, Jennifer; Gupta, Ashish; Sagiv, Yehoshua; Ullman, Jeffrey D. (1994)
    Text en actes de congrés
    Accés obert
    We 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 

    Cholvy, Laurence; Demolombe, Robert (1994)
    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 ...

  • Dislog - a system for reasoning in disjunctive deductive databases 

    Seipel, Dietmar; Thöne, Helmut (1994)
    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 ...

  • Integrity constraints checking in historical deductive databases 

    Martín Escofet, Carme; Sistac Planas, Jaume (1994)
    Text en actes de congrés
    Accés obert
    We 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 

    Griefahn, Ulrike; Manthey, Rainer (1994)
    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 ...

  • Reftections on sorne fundamental issues of rule-based incremental update propagation 

    Manthey, Rainer (1994)
    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 ...

  • On specifying database updates 

    Reiter, Raymond (1994)
    Text en actes de congrés
    Accés obert
    We 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 

    Pastor Collado, Juan Antonio (1994)
    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 ...

  • An execution model for change computation in deductive databases 

    Quer, Carme (1994)
    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 ...

  • A common framework for classifying and specifying deductive database updating problems 

    Teniente López, Ernest; Urpí Tubella, Antoni (1994)
    Text en actes de congrés
    Accés obert
    Several 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 ...

  • Use of an object-based system with reasoning capabilities to integrate relational databases 

    Goñi, A.; Illarramendi, A.; Blanco, J.M.; Mena, E. (1994)
    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 ...

  • The operational semantics of user-defined relationships in object oriented database 

    Díaz, Óscar (1994)
    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 ...

Mostra'n més