[1] International Workshop on the Deductive Approach to Information Systems and Databases: S'Agaró (Catalonia). October 15-17, 1990

 

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

S'Agaró (Catalonia), 15-17 October, 1990

Summary

  • Syntactic query processing: dealing with structure and time 

    Illarramendi, A.; Sbattella, L. (1990)
    Conference report
    Open Access
    The present paper proposes new syntactical simplification opportuni­ties deriving from the presence in a query Language of constructa ex­plicitely referring to structural and temporal information. The paper refers to the ...

  • Semantic query optimization: from DBMS to KBS 

    Blanco, J.M.; Illarramendi, A. (1990)
    Conference report
    Open Access
    Although in the context of databases, the problem of semantic query optimization is well defined and many solutions has been proposed, this is not the case for knowledge base systems. Our goal in this paper is to present ...

  • Strategies for the computation of conditional answers 

    Demolombe, Robert (1990)
    Conference report
    Open Access
    We consider bere non-Horn Deductive Data Bases {DDB). In this con­ text there are many queries whose answer is : I don't know. A first ap­proach to reduce the number of such answers is to add information, like default ...

  • Deriving an internal events model from a deductive conceptual model 

    Sancho Samsó, María Ribera (1990)
    Conference report
    Open Access
    This work is based in the Internal Events Model. We extend the application of the transition rules to integrity constraints and output requirements. Finally, we present a formal method to determine the P-type and N-type ...

  • Objects as structuring units for incorporating dynamics in deductive conceptual modeling 

    Sernadas, Cristina; Gouveia, Paula; Silva, Luisa; Lopes, Antónia (1990)
    Conference report
    Open Access
    Following the deductive approach, the conceptual schema is a theory in a chosen logic framework whose assertions reflect the relevant static and dynamic aspects of the UoD. The problem with aflat deductive approach is the ...

  • The internal events method for integrity constraints enforcement in deductive databases 

    Pastor Collado, Juan Antonio (1990)
    Conference report
    Open Access
    We propose a new method for integrity checking in deductive databases. The method augments a database with a set of transition and intemal events rules, which explicitly define the insenions and deletions induced by a ...

  • Optimizing deductive databa.ses using integrity constraints 

    Nytro, Oystein (1990)
    Conference report
    Open Access
    This paper is an Informal discussion of, and motivation for, an optimization method for deductive database. The distinction between optimization and wrt. computation is pointed out. Both knowledge bases and deductive ...

  • A weak allowedness condition that ensures completeness of SLDNF-resolution 

    Cavedon, Lawrence; Decker, Hendrik (1990)
    Conference report
    Open Access
    The lillowedness condition usually imposed on classes of programs for which general completeness results for SLDNF-resolution have been proved is a very restrictive one and prohibits many important programming constructs. ...

  • The internal events method for view updating in deductive databases 

    Teniente López, Ernest (1990)
    Conference report
    Open Access
    We propose a new method for view updating in deductive databases. The method augments a database with a set of transition and intemal events rules, which explicitly define the insertions and deletions induced by a database ...

  • Belief revision for deductive databases 

    Kakas, A.C. (1990)
    Conference report
    Open Access
    We study the problem of evolution of knowledge in a deductive database by formulating this in terms of belief revision and using abductive (hypothetical) reasoning. The problem of the existence of multiple different solutions ...

  • Database support for a rule-based approach to information systems 

    Kopanas, V.; Loucopoulos, Pericles (1990)
    Conference report
    Open Access
    This paper reports on an attempt to address the problem of enhancing the relational database model with facilities which can serve as an implementation platform for a rule-based paradigm to information systems. The paper ...

  • Automatic deduction of temporal information 

    Barbic, F.; Maiocchi, R.; Pernici, B. (1990)
    Conference report
    Open Access
    In many computer based applications, temporal information has to be stored, retrieved, and related to other temporal information. Several time models have been proposed to manage temporal knowledge in the fields of conceptual ...