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 given goal GROUPED_BY Horn clauses ILEX system implementation instantiated integer ISBL logic programming london MEMEX names for suppliers not_in optimisation output paris pname colour weight 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 sno SELECT-block shipment sno pno shipment WHERE pno sname status city sno FROM shipment sno pno qty sno sname status specified structure supplier names supplier numbers suppliers sno sname syntax term tion update variables Zipf's law