Data bases: A logical perspective

Authors:
Raymond Reiter
Affiliations:
Department of Computer Science, University of British Columbia, Vancouver, B.C., Canada
Venue:
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Year:
1980

Citing 2
Cited 4

On closed world data bases

Readings in nonmonotonic reasoning
Equality and Domain Closure in First-Order Databases

Journal of the ACM (JACM)

A sound and sometimes complete query evaluation algorithm for relational databases with null values

Journal of the ACM (JACM)
Database relations with null values

PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Using Design Axioms and Topology to Model Database Semantics

VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
On interacting defaults

IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

My work in data base theory is a natural outgrowth of my longstanding concern with the problem of representing and reasoning with domain specific knowledge, a problem of major concern in Artificial Intelligence. In data base terminology this is the conceptual modelling issue. My own methodological bias favours logic as a representation language for conceptual modelling, a bias which historically arose within AI in response to AI's emphasis on the ability to reason deductively with representations. In this position paper I shall argue that logic has other advantages for data base theory. Specifically my objective is to provide the outline of a logical reconstruction of certain aspects of conventional data base theory.