The Range Form of Databases and Queries or: How to Avoid Floundering
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A basis for deductive database systems IIThe Journal of Logic Programming, 1986
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumptionThe Journal of Logic Programming, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- On the Integrity of Typed First Order Data BasesPublished by Springer Nature ,1981
- Negation as FailurePublished by Springer Nature ,1978