Logic and Databases

Logic and Databases

Abstract

Logic and databases have gone a long way together since the advent of relational databases. Already the first basic query languages for relational databases beside relational algebra - tuple calculus and domain calculus - are actually a subset of first order predicate logic. Furthermore logic proved to be very adequate for establishing a sound theory for relational databases. When attempts were made to integrate AI and database technology in form of expert database systems or knowledge base management systems logic provided a unifying framework although several differences in the use of logic in the both fields have been discovered. The confluence of logic programming and databases triggered deductive databases as new area of research. In this overview paper we will discuss shortly the relationship between relational databases and logic and present the possibilities for coupling Prolog with databases. The main part of this paper concentrates on deductive databases, in particular on the database language Datalog. We conclude by mentioning some facets of recent research on logic and databases. The goal of this paper is to provide an overview of the most relevant developments in the field and providing pointers to the literature.

Grafik Top
Authors
  • Eder, Johann
Grafik Top
  • © 1992 Springer Verlag (<a href='http://www.springer.de/comp/lncs/index.html'>WWW</a>)
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings
Event Title
Advanced Topics in Artificial Intelligence
Divisions
Workflow Systems and Technology
Event Location
Prague, Czechoslovakia
Event Type
Conference
Event Dates
1992-07-06
Series Name
Lecture Notes in Computer Science 617
Publisher
Springer Verlag
Page Range
pp. 95-103
Date
July 1992
Official URL
http://www.pri.univie.ac.at/Publications/1992/Eder...
Export
Grafik Top