What people are saying - Write a review
We haven't found any reviews in the usual places.
Continuity and Scotts Induction
Programs and Relations
15 other sections not shown
abstract access functions addition algL alpha expression applied Assume attributes axiomatic axioms basic binary relational Boolean product candidate key cartesian product computation concepts data base models data values datalogical defined denote desk domain E.F. CODD E.J. NEUHOLD elements employee equivalent example execution exists FIFO finite first-order formal description formula frame of reference functional dependence given implementation infological interpretation infological model information system input integer language least fixed point lemma mapping matrix product monotonicity multiplication n x n normal form notation objects operating system pair PASIC programs path predicate predicate logic primary key problem Proc proof properties prove reader recursive recursive procedures relational algebra relational calculus relational data base relational model result rule satisfy Scott's induction selectors semantic sequence simple specified statement Strassen's algorithm structure subject matter models theorem theory tion transitive closure tuple vector