What people are saying - Write a review
We haven't found any reviews in the usual places.
ON RELATIONAL DATABASE SYSTEMS THROUGH LOGIC
A CANONICAL LOGIC FORM FOR QUERY LANGUAGES
12 other sections not shown
aa bb cc age salary dept aggregate functions arguments arity atom atom(A attribute Attrs Attrs2 backtracking built-in predicate canonical form canonical logic form Cartesian product closed world assumption colour weight city Conds Conds2 corresponding data base Database System delete employee I ename ename age salary example execution functor goal GROUPED_BY Horn clauses ILEX system implementation instantiated integer ISBL logic programming london MEMEX names for suppliers not_in optimisation output pname colour weight pno FROM shipment pno pname colour predicate logic problem procedural programming language PROLOG PROLOG system Query Optimisation query tuple RDBM recursive rela relational algebra relational database relational query languages result SELECT sname SELECT sno SELECT-block shipment sno shipment WHERE pno sname status city sno pno qty sno sname status specified structure supplier names supplier numbers suppliers I sno syntax term tion UNIX update variables Zipf's law