A PROLOG database system

Front Cover
Research Studies Press, 1984 - Computers - 207 pages

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

INTRODUCTION
1
ON RELATIONAL DATABASE SYSTEMS THROUGH LOGIC
11
A CANONICAL LOGIC FORM FOR QUERY LANGUAGES
29
A PICTURELIKE LANGUAGE
45
AN ENGLISHLIKE LANGUAGE
65
A MATHEMATICSLIKE LANGUAGE
87
NEGATION AND AGGREGATION WITHIN THE SYSTEM ILEX
105
QUERY OPTIMISATION BASED ON THE CANONICAL LOGIC FORM
117
THE ILEX SYSTEM ARCHITECTURE BASED ON MEMEX
127
CONCLUSIONS AND FUTURE WORK
141
REFERENCES
147
PROGRAMMING IN PROLOG
157
THE RELATIONAL COMPLETENESS OF THE CANONICAL FORM
169
SAMPLE QUERIES
179
INDEX
205
Copyright

Other editions - View all