Abstract. In recent years, data warehouses have reached a prominent position in the database field, especially in the database industry. There are many issues in common between data warehouses and other database fields such as federated databases; in our opinion this fact has not been explored in its entirety. In this paper, an integrated database architecture in which data warehouses are part of the database is put forward. Instead of having data warehouses built using a database, we propose to have data warehouses defined as part of the database architecture; this architecture is defined as an extension of a federated database architecture.

AbtractWe propose a method for integrity checking in the context of temporal deductive databases. A temporal deductive database is a deductive database that supports some aspect of time, in our case valid time, in which valid time is the time when the fact is true in the modelled reality. Our method augments U database with a set of transition and event rules, which explicitly define the insertions and deletions by database update. Standard SLDNF resolution can then be used to check satisfaction of integrity constraints.A temporal deductive database has to be consistent, that is, after performing an update the database must satisfy its set of integrity constraints. Using our method the temporal deductive database always is consistent because if a retroactive or proactive update violated some integrity constraint the update would be rejected.

Abstract.A bitemporal deductive database is a deductive database that supports valid and transaction time. A set of facts to be inserted and/or deleted in a bitemporal deductive database can be done in a past, present or future valid time. This circumstance causes that the maintenance of database consistency becomes more hard. In this paper, we present a new approach to reduce the difficulty of this problem, based on applying transition and event rules, which explicitly define the insertions and deletions given by a database update. Transition rules range over all the possible cases in which an update could violate some integrity contraint. Although, we have a large amount of transition rules, for each one we argue its utility or we eliminate it. We augment a database with this set of transition and event rules and then standard SLDNF resolution can be used to check satisfaction of integrity constraints.

No abstract

No abstract