A logic-programming/object-oriented cocktail

1 September 1986

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record

Vol. 15 (3), 11-21
https://doi.org/10.1145/15833.15835

Abstract

I define a simple data model which is based on an object oriented approach and uses logic programming as a computational model. The query part of the data model is purely declarative and has a fixpoint semantics, while the update part is imperative and uses assignments.

Keywords

UPDATE PART
LOGIC PROGRAMMING
OBJECT-ORIENTED COCKTAIL
FIXPOINT SEMANTICS
DATA MODEL
QUERY PART
COMPUTATIONAL MODEL
SIMPLE DATA MODEL
COMPUTER MODEL
OBJECT ORIENTED

This publication has 5 references indexed in Scilit:

Making smalltalk a database system
Published by Association for Computing Machinery (ACM) ,1984
A semantics of multiple inheritance
Lecture Notes in Computer Science, 1984
Data abstraction in Prolog/KR
New Generation Computing, 1983
Object oriented programming in Concurrent Prolog
New Generation Computing, 1983
Contributions to the Theory of Logic Programming
Journal of the ACM, 1982

Cited by 22 articles