[5] Fifth International Workshop on the Deductive Approach to Information Systems and Databases: Aiguablava, Costa Brava (Catalonia). September 19-21, 1994
Proceedings of the Fifth International Workshop on the Deductive Approach to Information Systems and Databases
Aiguablava-Costa Brava (Catalonia), 19-21 September, 1994
[Publicat originalment com a Report de recerca LSI-94-28-R]
Summary
-
Change management in objectbases
(1994)
Conference report
Open AccessIn OODBMSs type-specific methods are used far manipulating objects, in order to maintain the consistency of the database. This is, however, of little help far the method implementor as far as the model-inherent constraints ... -
Rock and roll: a deductive object-oriented database system
(1994)
Conference report
Open AccessThis extended abstract presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation. The approach is novel, in that ... -
IFO2: A uniform approach for information system modelling
(1994)
Conference report
Open AccessThis paper is devoted to the IFO2 conceptual model, an extension of the semantic IFO model defined by S. Abiteboul and R. Hull. Its originalities are a uniform approach for both structural and behavioural application ... -
Object certification
(1994)
Conference report
Open AccessA brief overview is made of the use of temporal logic formalisms for specifying and verifying concurrent systems in generar and information systems in particular. The requirements imposed by object-orientation on such ... -
Derived objects and classes in DOOD systems
(1994)
Conference report
Open AccessToe closure property is essential to enhance the power of database languages. In the deductive object-oriented database (D00D) context, this property implies that the rulederived objects as well as the rule-derived classes ... -
The operational semantics of user-defined relationships in object oriented database
(1994)
Conference report
Open AccessIn 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 ... -
Use of an object-based system with reasoning capabilities to integrate relational databases
(1994)
Conference report
Open AccessThe 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 ... -
A common framework for classifying and specifying deductive database updating problems
(1994)
Conference report
Open AccessSeveral 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 ... -
An execution model for change computation in deductive databases
(1994)
Conference report
Open AccessEfficient 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 ... -
Extending the synthesis of update transaction programs to handle existential rules in deductive databases
(1994)
Conference report
Open AccessWe 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 ... -
On specifying database updates
(1994)
Conference report
Open AccessWe 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 ... -
Reftections on sorne fundamental issues of rule-based incremental update propagation
(1994)
Conference report
Open AccessThis 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 ... -
Update propagation in chimera, an active DOOD language
(1994)
Conference report
Open AccessPropagating 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 ... -
Integrity constraints checking in historical deductive databases
(1994)
Conference report
Open AccessWe 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 ... -
Dislog - a system for reasoning in disjunctive deductive databases
(1994)
Conference report
Open AccessDisLoG 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 ... -
Reasoning about the safety of information: from logical formalization to operational definition
(1994)
Conference report
Open AccessWe 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 ... -
Validating constraints with partial information: research overview
(1994)
Conference report
Open AccessWe 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 ...
RSS 1.0