[4] Fourth International Workshop on the Deductive Approach to Information Systems and Databases: Lloret, Costa Brava, Catalonia. September 20-22, 1993

 

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

Lloret de Mar-Costa Brava (Catalonia), 22-23 September, 1993

[Publicat originalment com a Report de recerca LSI-93-25-R]

Sumari

  • Design, implementation and evaluation of an application following the deductive approach 

    Petrounias, Ilias; Loucopoulos, Pericles (1993)
    Text en actes de congrés
    Accés obert
    This paper presents the process and the results of designing and implementing an application using the deductive approach. The application concems a safety critical system and for modelling the application domain two ...

  • Explaining the behaviour of a deductive conceptual model 

    Sancho Samsó, María Ribera (1993)
    Text en actes de congrés
    Accés obert
    In this paper we present our approach for studying the temporal behaviour of a deductive conceptual model. It is based on the use of the semantic prototyping technique. We have implemented a tool able to simulate the ...

  • Objects as observable processes 

    Ramos, Isidro; Pastor, Oscar; Cuevas, Jose; Devesa, Jaume (1993)
    Text en actes de congrés
    Accés obert
    Research on the integration of the 00 and the deductive approac for design­ ing Information Systems an.d Databases has been a major topic of interest in the last years. The 00 and deductíve environment represented by Oasis ...

  • Extending the scope of information modelling 

    Bubenko jr, Janis A. (1993)
    Text en actes de congrés
    Accés obert
    Traditional infonnation modelling methods and techniques have mainly been concerned with promoting various representation formalisms far formally describing information systems, and discussing the expressive power of thern. ...

  • A deductive approach to semantic heterogeneity in multidatabase systems 

    Mazumdar, Subhasish (1993)
    Text en actes de congrés
    Accés obert
    Heterogeneous Databases are becoming increasingly important, but they present several problems. We consider the problem of semantic heterogeneity and show that a deductive model is suita.ble for coping with the problem. ...

  • lntegratin persistence and deductive databases 

    Cooper, Richard; Mackenzie, David (1993)
    Text en actes de congrés
    Accés obert
    Emerging database applications, for instance those typical of design databases, place a number of novel requirements on Database Management Systems, principally due to the added complexíty of the data and the software which ...

  • History, survey and comparison of selected object-oriented and deductive database query languages 

    Kempe, Johann; Hofling, Gabriele; Hayler, Christian (1993)
    Text en actes de congrés
    Accés obert
    In this paper we present the history, a survey, and a comparison of selected deductive and object-oriented database query languages. The languages are: O-Logic, F-Logic, IQL, and Living-in-a-Lattice. The main purpose is ...

  • Real-time object specification logic 

    Böhm, Klemens; Sernadas, Amílcar (1993)
    Text en actes de congrés
    Accés obert
    A formal specification method called RTOSL ('Real-Time Object Specification Logic') for the object­ oriented approach is presented: We have extended the object specification logic OSL ([SemadasA et al. 92b]) so that real-time ...

  • A new plan generation method for deductive conceptual models validation 

    Costal Costa, Dolors (1993)
    Text en actes de congrés
    Accés obert
    A new method for planning in a deductive conceptual model context is proposed. lt is based on viewing the information base modelled by a deductive conceptual model as a deductive database. This is possible provided that ...

  • Reasoning aspects in information systems and databases 

    Gouveia, Paula; Sernadas, Cristina (1993)
    Text en actes de congrés
    Accés obert
    Deductive approaches are very impm·tant namely for reasoning and detecting inconsistencies in conceptual schema definition. Object-oriented approaches are very efficient in providing structuring mechanisms to conceptual ...

  • Exploiting consistency maintenance for planning 

    Moerkotte, Guido; Müller, Holger (1993)
    Text en actes de congrés
    Accés obert
    A planning problem mainly consists of a description of an initial world, a set of formulas which declaratively define a goal world and a set of operator specifications which can be used to derive new worlds from given ...

  • Constructing a hierarchy of generalization/specialization from the O.A.S hierarchy of formal classes 

    Fernández, María C.; Pérez, Concepción; Portaencasa, Rafael; Santos, Eugenio (1993)
    Text en actes de congrés
    Accés obert
    In this work is specialized the Hierarchy of Formal Classes, developed-within the OAS Model (Object-Semantic Association) [BRIAND 92], [PEREZ-LLERA 91]. The Hierarchy of Formal Classes provides far a formal generallzation, ...

  • Sustained models and sustained answers in first-order data bases 

    Decker, Hendrik; Casamayor, Juan Carlos (1993)
    Text en actes de congrés
    Accés obert
    First-order databases may contain clauses with disjunctive heads as well as deniais. We dis­ tinguish "sustained models" as alternatives of intended interpretations and show that they satisfy desirable properties. Extending ...

  • Consistency verification of deductive database schemes 

    Marqués, Francisco; Casamayor, Juan Carlos (1993)
    Text en actes de congrés
    Accés obert
    A deductive database scheme consists of a set of base predicate schemes and a set of possibly non­ Horn clauses. A database can be considered as a particular instance of a given scheme. Clearly, a property that must be ...

  • Integrity constraints revisited 

    Demolombe, Robert; Jones, Andrew (1993)
    Text en actes de congrés
    Accés obert
    When computerised databases began to be used in business applications, there naturally arose a concern with how the integrity the stored data could be checked. This task was irnplemented by large sets of programs, depending ...

  • Incorporating modification requests in updating consistent knowledge bases 

    Mayol Sarroca, Enric; Teniente López, Ernest (1993)
    Text en actes de congrés
    Accés obert
    An important problem that arises when updating a knowledge base ·is related to integrity constraints maintenance. That is, given a consistent knowledge base and an update request, to obtain all possible ways of updating ...

  • Information systems and enterprise integration 

    Loucopoulos, Pericles (1993)
    Text en actes de congrés
    Accés obert
    The aims and objectives of Enterprise Integration is the development of computer-based systems that facilitate the co-ordination of tasks and infonnation ílow across organisational boundaries. Tbis is a key challenging ...