On the Integrity of Typed First Order Data Bases

Publisher Website

1 January 1981

book chapter
Published by Springer Nature

p. 137-157
https://doi.org/10.1007/978-1-4615-8297-7_6

Abstract

No abstract available

This publication has 4 references indexed in Scilit:

Deductive Planning and Pathfinding for Relational Data Bases
Published by Springer Nature ,1978
Deductive Question-Answering on Relational Data Bases
Published by Springer Nature ,1978
An Experimental Relational Data Base System Based on Logic
Published by Springer Nature ,1978
An Approach to Deductive Question-Answering
Published by Defense Technical Information Center (DTIC) ,1977