[3] Third International Workshop on the Deductive Approach to Information Systems and Databases: Roses-Costa Brava (Catalonia), 28-30 September, 1992

 

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

Roses-Costa Brava (Catalonia), 28-30 September, 1992

[Publicat originalment com a Report de recerca LSI-92-19]

Summary

  • Verification and validation of temporal business rules 

    Theodoulidis, Babis; Alexakis, Petros; Loucopoulos, Pericles (1992)
    Conference report
    Open Access
    In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The fonnalism for expressing the business rules is the Conceptual Rule Language developed as part ...

  • The Odissea project: an environment for the development of information systems from DCM 

    Mayol Sarroca, Enric; Sancho Samsó, María Ribera; Sistac Planas, Jaume (1992)
    Conference report
    Open Access
    Toe main purpose of this paper is to present the ODISSEA project, which aims at exploring the issues involved in the specification, design and implementation of Information Systems by means of Deductive Conceptual Models. ...

  • Specification of information systems by state machine deduced from deductive conceptual models 

    Villena, Salvador; Clares, Buenaventura (1992)
    Conference report
    Open Access
    We propose a transformation from declarative approach to conceptual information system modelling onto an operational implementation. We will introduce an alternative way to obtain the mínimum model of the Herbrand ...

  • A note on the limitations of utilizing modal logic for federated information systems 

    Boman, Magnus (1992)
    Conference report
    Open Access
    Recently much effort has been put into using modal logic representation lan­ guages for different kinds of distributed database and distributed problem solving systems. We have ourselves presented an architecture realizing ...

  • On the use of algebras as semantic domain of object societies 

    Ramos, Isidro; Pastor, Oscar; Canós, J.H. (1992)
    Conference report
    Open Access
    On the main current research topics is to find a semantic domain for the Object-Oriented (OO) model. The interpretation of OO concepts has to reflect in a precise way the properties of the model, keeping at the same time ...

  • Combining the object-oriented approach and the deductive approach for conceptual modelling 

    Quer, Carme (1992)
    Conference report
    Open Access
    We propose a language which takes the advantages of the deductive and the object-oriented approaches. This language is easier to use than apure object­ oriented language because it does not require an explicit specification ...

  • Is there a "right" semantics for negation as failure? 

    Torres, Alberto (1992)
    Conference report
    Open Access
    Negation as Failure (NAF) as a nonmonotonic reasoning mechanism has become a central feature of advanced deductive systems. Monotonic deductive systems are not able to express severa! important queries such as those involving ...

  • Deduction-based data understanding using graphic logic 

    Kellogg, Charles (1992)
    Conference report
    Open Access
    In recent years there have been substantial improvements in the speed, power, and functionality of computer hardware and database management software. Similarly, there has been rapid growth in an ever widening variety of ...

  • Query optimization in object-oriented a Deductive DBMS 

    Gardarin, Georges; Fabret, Frarnçoise (1992)
    Conference report
    Open Access
    This paper studies the various aspects of query optimization in deductive object-oriented databases. First, a rule language is proposed for object- oriented databases. This language is a pragmatic C++ ad ...

  • A complete proof procedure for efficient integrity checking in deductive databases 

    Nüssel, Georg; Decker, Hendrik; Celma, Matilde; Casamayor, Juan Carlos (1992)
    Conference report
    Open Access
    We present proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented more ...

  • Knowledge assimilation in deductive databases 

    Decker, Hendrik (1992)
    Conference report
    Open Access
    Deductive databases, also called knowledge bases, generalize traditional data­ bases as well as expert systems. Semantic foundations of knowledge bases are summarized. Knowledge assimilation comprises the topics of integrity ...

  • An abductive proof procedure for hypothetical reasoning in computational theories 

    Casamayor, Juan Carlos (1992)
    Conference report
    Open Access
    In this paper. we develop a resolution-based proof procedure, called SLY resolution. far hypothetical reasoning in computational theories. SLY coincides with SLD resolution in the case of definite programs and when hypotheses ...

  • Deriving consistency-preserving transaction specifications for (view-)updates in relational databases 

    Pastor Collado, Juan Antonio (1992)
    Conference report
    Open Access
    We propase a new method for generating transaction specifications for (view-)updates in relational databases that are guaranteed to preserve integrity constraints. The method augments the relational database with a set of ...

  • Aspects of consistency driven planning 

    Moerkotte, Guido; Müller, Holger; Posegga, Joachim (1992)
    Conference report
    Open Access
    A new planning paradigm called consistency driven planning was introduced in [1]. It builds on current deductive database technology, especially on consistency maintenance. This paper extends the approach and discusses ...

  • Integrity maintenance systems: an architecture 

    Ceri, Stefano; Fratemali, Piero; Paraboschi, Stefano; Tanca, Letizia (1992)
    Conference report
    Open Access
    In conventional database systems, consistency is preserved either by forbidding operations that violate integrity constraints or by rolling back transactions that produce inconsistent database states. A third way to maintain ...