A logic-programming/object-oriented cocktail-Reference-Cited by-同舟云学术

A logic-programming/object-oriented cocktail

Published:1986-09 Issue:3 Volume:15 Page:11-21
ISSN:0163-5808
Container-title:ACM SIGMOD Record
language:en
Short-container-title:SIGMOD Rec.

Author:

Bancilhon Francois

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Information Systems,Software

Link

https://dl.acm.org/doi/pdf/10.1145/15833.15835

Reference13 articles.

1. {Ait-Kaci 85} Hassan Ait-Kaci "Unpublished Gripe" March 1985. {Ait-Kaci 85} Hassan Ait-Kaci "Unpublished Gripe" March 1985.

2. Contributions to the Theory of Logic Programming

3. {Cardelli 84} "A Semantics of Multiple Inheritance" L. Cardelli in "Semantics of Data Types" Lecture Notes in Computer Science No. 173 pp. 51-67 Springer Verlag 1984. {Cardelli 84} "A Semantics of Multiple Inheritance" L. Cardelli in "Semantics of Data Types" Lecture Notes in Computer Science No. 173 pp. 51-67 Springer Verlag 1984.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Logic for Programming Database Transactions;Logics for Databases and Information Systems;1998

2. The state of change: A survey;Transactions and Change in Logic Databases;1998

3. Deductive and object data languages: A quest for integration;Deductive and Object-Oriented Databases;1995

4. An overview of transaction logic;Theoretical Computer Science;1994-10

5. Database Programming in Transaction Logic;Database Programming Languages (DBPL-4);1994