Relational Database Management System Implementation
ITD 320

Spring 2010
infinite in both directions can do. P1: 1
CH137T Rosen2311T MHIA017Rosenv5.cls May 13, 2011 10:27 904
P1: 1 APP17T Rosen2311T MHIA017Rosenv5.cls May 13, 2011 10:28 1
APPENDIX Axioms for the Real
Numbers and the Positive Integers In
this book we have
Relational Database Management System Implementation
ITD 320

Spring 2010
[Sm98]. Prolog is discussed in depth in
Nilsson and Maluszynski [NiMa95] and
in Clocksin and Mellish [ClMe94]. The
basics of proofs are covered in
Cupillari [Cu05], Morash [Mo91], Solow
[So09], Velleman [Ve06], and Wolf
[Wo98]. The science and art of
cons
Relational Database Management System Implementation
ITD 320

Spring 2010
of statements. P1: 1 APP37T Rosen2311T MHIA017Rosenv5.cls May 13,
2011 10:28 A14 Appendix 3 /
Pseudocode Loop Constructions There
are two types of loop construction in
the pseudocode in this book. The first
is the for construction, which has the
form
Relational Database Management System Implementation
ITD 320

Spring 2010
Mathematical induction axiom If S is a
set of positive integers such that 1 S
and for all positive integers n if n S,
then n + 1 S, then S is the set of
positive integers. Most mathematicians
take the real number system as already
existing, with the real
Relational Database Management System Implementation
ITD 320

Spring 2010
statement the lefthand side is the
name of the variable and the righthand side is an expression that
involves constants, variables that have
been assigned values, or functions
defined by procedures. The righthand
side may contain any of the usual
arithm
Relational Database Management System Implementation
ITD 320

Spring 2010
a greater than relationship, the greater
than relationship is preserved and
when we multiply both sides of a
greater than relationship by a positive
real number (that is, a real number x
with x > 0), the greater than
relationship is preserved. Additive
co
Relational Database Management System Implementation
ITD 320

Spring 2010
by qj is qj 1. All odd primes other than
3 are of the form 6k + 1 or 6k + 5, and
the product of primes of the form 6k + 1
is also of this form. Therefore at least
one of the pis must be of the form 6k+5,
a contradiction. 31. The product of
numbers of the
Relational Database Management System Implementation
ITD 320

Spring 2010
Prove that for all real numbers x, y, and
z, if x + z = y + z, then x = y. 7. Prove that
for every real number x, (x) = x.
Define the difference x y of real
numbers x and y by x y = x + (y),
where y is the additive inverse of y,
and the quotient x/y, wher
Relational Database Management System Implementation
ITD 320

Spring 2010
your answer. 10. Define a linearbounded automaton. Explain how
linearbounded automata are used to
recognize sets. Which sets are
recognized by linearbounded
automata? Provide an outline of a
proof justifying your answer. 11. Look
up Turings original defi
Relational Database Management System Implementation
ITD 320

Spring 2010
equivalence classes are discussed in
Chapter 9.) Next, the set of rational
numbers can be constructed using the
equivalence classes of pairs of integers
where the second integer in the pair is
not zero, where (a, b) (c, d) if and
only if a d = b c; additi
Relational Database Management System Implementation
ITD 320

Spring 2010
same result when we first add a pair of
real numbers and then multiply by a
third real number or when we multiply
each of these two real numbers by the
third real number and then add the
two products. Distributive laws For all
real numbers x, y, and z, x
Relational Database Management System Implementation
ITD 320

Spring 2010
statements are axioms, they are
commonly called laws or rules. The
first two of these axioms tell us that
when we add or multiply two real
numbers, the result is again a real
number; these are the closure laws.
Closure law for addition For all real
number
Relational Database Management System Implementation
ITD 320

Spring 2010
calculated an approximation of .
Archimedes was also an accomplished
engineer and inventor; his machine for
pumping water, now called
Archimedes screw, is still in use today.
Perhaps his best known discovery is
the principle of buoyancy, which tells
us th
Relational Database Management System Implementation
ITD 320

Spring 2010
rational number (that is, a number of
the form x/y, where x and y are
integers with y = 0). Exercises 21 and
22 involve the notion of an equivalence
relation, discussed in Chapter 9 of the
text. 21. Define a relation on the
set of ordered pairs of positiv
Relational Database Management System Implementation
ITD 320

Spring 2010
material should consult precalculus or
calculus books, such as those
mentioned in the Suggested Readings.
Exponential Functions Let n be a
positive integer, and let b be a fixed
positive real number. The function
fb(n) = bn is defined by fb(n) = bn = b
b
Relational Database Management System Implementation
ITD 320

Spring 2010
These laws are called identity laws.
Additive identity law For every real
number x, x + 0 = 0 + x = x.
Multiplicative identity law For every
real number x, x 1 = 1 x = x. Although
it seems obvious, we also need the
following axiom. Identity elements
axiom
Relational Database Management System Implementation
ITD 320

Spring 2010
Often, we require the use of a more
general type of construction. This is
used when we wish to do one thing
when the indicated condition is true,
but another when it is false. We use the
construction if condition then
statement 1 else statement 2 Note tha
Relational Database Management System Implementation
ITD 320

Spring 2010
real number x there exists an integer n
such that n>x. Proof: Suppose that x is
a real number such that n x for every
integer n. Then x is an upper bound of
the set of integers. By the
completeness property it follows that
the set of integers has a least
Relational Database Management System Implementation
ITD 320

Spring 2010
Projects Respond to these with essays
using outside sources. 1. Describe how
the growth of certain types of plants
can be modeled using a Lidenmeyer
system. Such a system uses a grammar
with productions modeling the
different ways plants can grow. 2.
Desc
Relational Database Management System Implementation
ITD 320

Spring 2010
this last inequality becomes 1 > 0,
contradicting the trichotomy law
because we had assumed that 0 > 1.
Because we know that 0 = 1 and that it
is impossible for 0 > 1, by the
trichotomy law, we conclude that 1 > 0.
ARCHIMEDES (287 b.c.e.212 b.c.e.)
Archim
Relational Database Management System Implementation
ITD 320

Spring 2010
more general for statement, of the
form for all elements with a certain
property is used in this text. This
means that the statement or block of
statements that follow are carried out
successively for the elements with the
given property. The second type
Relational Database Management System Implementation
ITD 320

Spring 2010
construction. So, when it makes sense,
we will use the for construction in
preference to the corresponding
while construction. Loops within
Loops Loops or conditional statements
are often used within other loops or
conditional statements. In the
pseudocod
Relational Database Management System Implementation
ITD 320

Spring 2010
select persons 1, 2, 3, and 4 to be the
central committee. Every person
outside the central committee calls one
person on the central committee. At this
point the central committee members
as a group know all the scandals. They
then exchange information a
Relational Database Management System Implementation
ITD 320

Spring 2010
the cake, and the second person chooses
the portion he thinks is at least 1/2 of
the cake (at least one of the pieces must
satisfy that condition). For the inductive
step, suppose there are k + 1 people. By
the inductive hypothesis, we can
suppose that th
Relational Database Management System Implementation
ITD 320

Spring 2010
must show that ak+1 bk+1 (mod m).
By Theorem 5 from Section 4.1, a ak
b bk (mod m), which by defini P1: 1
ANS Rosen2311T MHIA017Rosenv5.cls May 13, 2011 10:29 Answers to
OddNumbered Exercises S31 tion says
that ak+1 bk+1 (mod m). 61. Let P (n)
be [(
Relational Database Management System Implementation
ITD 320

Spring 2010
McAllister [StMc77] has a thorough
section on countability. Chapter 17 of
Aigner, Ziegler, and Hoffman
[AiZiHo09] provides an excellent
discussion of cardinality and the
continuum hypothesis. Discussions of
the mathematical foundations needed
for computer
Relational Database Management System Implementation
ITD 320

Spring 2010
comprehensive reference
book.Additional applications of
discrete mathematics can be found in
Michaels and Rosen [MiRo91], which is
also available online on the companion
website for this book. Deeper coverage
of many topics in computer science,
including