[2] Second International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava-Costa Brava (Catalonia), 9-11 September, 1991

 

Proceedings of the Second International Workshop on the Deductive Approach to Information Systems and Databases

Aiguablava-Costa Brava (Catalonia), 9-11 September, 1991

Organized by:

  • Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics

[Publicat originalment com a Report de recerca LSI-91-30]

Sumari

  • Design and execution of event/action DB applications 

    Loucopoulos, Pericles; Papastamatiou, George; Pantazis, Dionysios; Diakonikolaou, George (1991)
    Text en actes de congrés
    Accés obert
    This paper introduces a declarative design formalism for active temporal database applications. Modelling of objects - including time modelling and complex objects - is carried out using the Entity Relationship Time (ERT) ...

  • Odissea: a language for deductlve information systems 

    Quer, Carme; Sistac Planas, Jaume (1991)
    Text en actes de congrés
    Accés obert
    In this paper we describe the ODISSEA language for the specification of information systems defined in the deductive approach. This language is being developed as part of the ODISSEA project, which aims at exploring the ...

  • An approach to validation of deductive conceptual models 

    Costal Costa, Dolors (1991)
    Text en actes de congrés
    Accés obert
    We propose an approach to validation of deductive conceptual models. This validation is performed through plan generation. The objective of plan generation is to determine sequences of events that lead to a certain goal ...

  • Object oriented and relational specification of information systems 

    Pastor, Oscar; Ramos, Isidro; Canós, J.H. (1991)
    Text en actes de congrés
    Accés obert
    Taking a Deductive and an Object Oriented approach to specify Information Systems has become a rich research topic. Within this framework, RMOL [11] and its active evolution OASIS [13] [9] are two object- oriented specification ...

  • An approach to monitoring changes in deductive databases 

    Urpí Tubella, Antoni (1991)
    Text en actes de congrés
    Accés obert
    We propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicitly define the insertions, deletions and modifications induced by a ...

  • Object-level abduction for view updates 

    Console, Luca; Sapino, Maria Luisa; Theseider Dupre, Daniele (1991)
    Text en actes de congrés
    Accés obert
    Many database systems provide the user with the possibility of defining views, i.e. mechanisms for introducing intensional definitions of relations among objects. The problem of view updat­ing (i.e. of modifying the extension ...

  • Towards a strategy for Achieving security and multi-user integrity in knowledge base systems 

    Steinke, Gerhard (1991)
    Text en actes de congrés
    Accés obert
    Security means that a user may only access a subset of the total information, namely that informationfor which access permission has been granted. lntegrity concerns the correctness of the information. The implementation ...

  • On the declarative, operational and procedural semantics of disjunctive computational theories 

    Decker, Hendrik (1991)
    Text en actes de congrés
    Accés obert
    First, we recapitulate recent results concerning models and fixpoints of disjunctive computational theories. Then, we develop an SL-resolution-based abductive proof procedure for such theories. It is shown to be sound and ...

  • On the compilation of consistency constraints 

    Moerkotte, Guido; Rosch, Karl (1991)
    Text en actes de congrés
    Accés obert
    We introduce a compilation technique for efficient consistency checking in de­ductive databases. Whereas most approaches to efficient consistency checking rely on the interpretation of the (simplified) consistency constraints ...

  • A derivation path recording method for integrity checking in deductive databases 

    Celma, Matilde; Casamayor, Juan Carlos; Mota, L.; Pastor, M.A.; Marqués, Francisco (1991)
    Text en actes de congrés
    Accés obert
    A method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. In ...

  • Deductive object bases: concept, implementation, applications 

    Jarke, Matthias (1991)
    Text en actes de congrés
    Accés obert
    Deductive object bases attempt to combine the advantages of deductive relational databases with those o/ object-oriented data models. We present the definition and architecture o/ such systems, togetlrer with some ...

  • Towards a unified view of query- and update-driven Inference in deductive databases 

    Manthey, Rainer (1991)
    Text en actes de congrés
    Accés obert
    When thinking oí deductive databases, most people will probably associate this notion rather closely with problems of query processing: deductive database research is essen­ tially concerned with formalization and ...

  • Combining deductive and active capabilities: a systems perspective 

    Chakravarthy, S. (1991)
    Text en actes de congrés
    Accés obert
    Traditionally, database management systems have supported and managed large amounts of shared data (facts or extensional data). This resulted in systems that concentrated on techniques for effi.cient handling of extensional ...