VIP-MDBS: a logic multidatabase system

International Symposium on Databases for Parallel and Distributed SystemsPublished 5 December 1988

Eva Kühn, Thomas Ludwig

Citations32

Abstract

We present a multidatabase management system built in Vienna Integrated Prolog (VIP) for cooperative management of autonomous databases. Data in different databases may differ with respect to naming, structures and value types. VIP-MDBS (VIP MultiDataBase System) allows the ability to manipulate them jointly and in a non-procedural way. Its features are similar to those of the relational multidatabase language MSQL, but adapted to logic programming. We introduce the concept of so-called semantic relations, a concept which stems from the extension of global views by deductiveness. VIP-MDBS allows for representation of intentional data and formulation of recursive multiple queries.

Keywords

Computer Science

ACM Transactions on Information SystemsA federated architecture for information management

554 Citations1985Dennis Heimbigner, Dennis McLeod

An approach to the coordinated sharing and interchange of computerized information is described emphasizing partial, controlled sharing among autonomous databases.

View PDF

IEEE Transactions on Software EngineeringView Definition and Generalization for Database Integration in a Multidatabase System

328 Citations1984Umeshwar Dayal, Hai-Yann Hwang

A versatile view definition facility for the functional data model is described and the use of this facility for resolving inconsistencies is illustrated and its importance to database integration is emphasized.

IEEE Transactions on Software EngineeringSuperviews: Virtual Integration of Multiple Databases

251 Citations1987A. Motro

A formal method that generates superviews, in an interactive process of schema editing operations, that is derived from the editing process, and stored together with the superview as a virtual database.

The Journal of Logic ProgrammingA basis for deductive database systems II

172 Citations1986John W. Lloyd, Rodney Topor

The main results are concerned with the nonfloundering and completeness of query evaluation and an alternative query evaluation process and show that corresponding versions of the earlier results can be obtained.

Database theory—past and future

89 Citations1987Jeffrey D. Ullman

The development of the various branches of database theory is sketched, including such areas as dependency theory, universal-relation theory, and hypergraph theory, including the theory of relational databases.

The Journal of Logic ProgrammingPerspectives in deductive databases

62 Citations1988Jack Minker

The relationships between techniques from formal logic, databases, logic programming, and artificial intelligence will continue to be explored and the field of deductive databases will become a more prominent area of computer science in coming years.

ACM SIGPLAN NoticesImplementation of a high-speed Prolog interpreter

11 Citations1987Andreas Krall