SQL: An Implementation of the Relational Algebra
|
|
- Blake Montgomery
- 6 years ago
- Views:
Transcription
1 : An Implementation of the Relational Algebra P.J. McBrien Imperial College London P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 1 / 40
2 SQL Relation Model and Algebra proposed by C.J.Codd in 1970 IBM deleveped a prototype relational database called System R with a query language Structured English Query Language (SEQUEL) SEQUEL later renamed SQL Various commericial versions of SQL launched in late 1970 s/early 1980s DB2 Oracle P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 2 / 40
3 SQL Relation Model and Algebra proposed by C.J.Codd in 1970 IBM deleveped a prototype relational database called System R with a query language Structured English Query Language (SEQUEL) SEQUEL later renamed SQL Various commericial versions of SQL launched in late 1970 s/early 1980s DB2 Oracle SQL Language Components Data Definition Language (DDL): a relational schema with data Data Manipulation Language (DML): a relational query and update language P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 2 / 40
4 RM to SQL DDL SQL DML: Definition of Tables CREATE TABLE branch ( sortcode INTEGER NOT NULL, bname VARCHAR(20) NOT NULL, cash DECIMAL(10,2) NOT NULL ) branch sortcode bname cash CREATE TABLE account ( INTEGER NOT NULL, type VARCHAR(8) NOT NULL, cname VARCHAR(20) NOT NULL, rate DECIMAL(4,2) NULL, sortcode INTEGER NOT NULL ) account type cname rate sortcode P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 3 / 40
5 RM to SQL DDL SQL DML: SQL Data Types SQL Data Types Keyword Semantics BOOLEAN A logical value (TRUE, FALSE, or UNKNOWN) BIT 1 bit integer (0, 1, or NULL) INTEGER 32 bit integer REAL 32 bit floating point number FLOAT(n) An n bit mantissa floating point number DECIMAL(p,s) A p digit number with s digits after the decimal point CHAR(n) A fixed length string of upto n characters VARCHAR(n) A varying length string of upto n characters DATE A calendar date (day, month and year) TIME A time of day (seconds, minutes, hours) TIMESTAMP time and day together ARRAY A fixed length list of a certain datatype MULTISET A variable sized bag of a certain datatype XML XML text P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 4 / 40
6 RM to SQL DDL SQL DML: Definition of Keys branch CREATE TABLE branch sortcode bname cash ( sortcode INTEGER NOT NULL, bname VARCHAR(20) NOT NULL, cash DECIMAL(10,2) NOT NULL, CONSTRAINT branch pk PRIMARY KEY (sortcode ) ) CREATE TABLE account ( INTEGER NOT NULL, type VARCHAR(8) NOT NULL, cname VARCHAR(20) NOT NULL, rate DECIMAL(4,2) NULL, sortcode INTEGER NOT NULL, CONSTRAINT account pk PRIMARY KEY (), ) CONSTRAINT account fk FOREIGN KEY ( sortcode ) REFERENCES branch account type cname rate sortcode account(sortcode) fk branch(sortcode) Primary Key Choose the key most often used to access a table as the primary key P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 5 / 40
7 RM to SQL DDL SQL DML: Definition of Keys branch CREATE TABLE branch sortcode bname cash ( sortcode INTEGER NOT NULL, bname VARCHAR(20) NOT NULL, cash DECIMAL(10,2) NOT NULL, CONSTRAINT branch pk PRIMARY KEY (sortcode ) ) CREATE TABLE account ( INTEGER NOT NULL, type VARCHAR(8) NOT NULL, cname VARCHAR(20) NOT NULL, rate DECIMAL(4,2) NULL, sortcode INTEGER NOT NULL, CONSTRAINT account pk PRIMARY KEY (), ) CONSTRAINT account fk FOREIGN KEY ( sortcode ) REFERENCES branch account type cname rate sortcode account(sortcode) fk branch(sortcode) Declaring Primary Keys after table creation ALTER TABLE branch ADD CONSTRAINT branch pk PRIMARY KEY ( sortcod P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 5 / 40
8 RM to SQL DDL SQL DML: Definition of Keys branch CREATE TABLE branch sortcode bname cash ( sortcode INTEGER NOT NULL, bname VARCHAR(20) NOT NULL, cash DECIMAL(10,2) NOT NULL, CONSTRAINT branch pk PRIMARY KEY (sortcode ) ) CREATE TABLE account ( INTEGER NOT NULL, type VARCHAR(8) NOT NULL, cname VARCHAR(20) NOT NULL, rate DECIMAL(4,2) NULL, sortcode INTEGER NOT NULL, CONSTRAINT account pk PRIMARY KEY (), ) CONSTRAINT account fk FOREIGN KEY ( sortcode ) REFERENCES branch account type cname rate sortcode account(sortcode) fk branch(sortcode) Declaring additional keys for a table CREATE UNIQUE INDEX branch bname key ON branch(bname) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 5 / 40
9 RM to SQL DDL SQL DML: Inserting, Updating and Deleting Data INSERT INTO account VALUES (100, current, McBrien, P.,NULL,67), (101, deposit, McBrien, P.,5.25,67), (103, current, Boyd, M.,NULL,34), (107, current, Poulovassilis, A.,NULL,56), (119, deposit, Poulovassilis, A.,5.50,56), (125, current, Bailey, J.,NULL,56) account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 6 / 40
10 RM to SQL DDL SQL DML: Inserting, Updating and Deleting Data INSERT INTO account VALUES (100, current, McBrien, P.,NULL,67), (101, deposit, McBrien, P.,5.25,67), (103, current, Boyd, M.,NULL,34), (107, current, Poulovassilis, A.,NULL,56), (119, deposit, Poulovassilis, A.,5.50,56), (125, current, Bailey, J.,NULL,56) UPDATE account SET type= deposit WHERE =100 account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 account type cname rate sortcode 100 deposit McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 DELETE WHERE =100 account type cname rate sortcode 101 deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 6 / 40
11 RA to SQL DML SQL DML: An Implementation of the RA SQL SELECT statements: Rough Equivalence to RA SELECT A 1,...,A n FROM R 1,...,R m WHERE P 1 AND... AND P k π A1,...,A n σ P1... P k R 1... R m SQL SELECT implements RA π,σ and π bname, σ branch.sortcode=account.sortcode account.type= current (branch account) SELECT branch.bname, account., branch WHERE account. sortcode=branch. sortcode AND account. type= current P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 7 / 40
12 RA to SQL DML Naming columns in SQL Column naming rules in SQL You must never have an ambiguous column name in an SQL statement You can use SELECT * to indicate all columns (i.e. have projection) You can use tablename.* to imply all columns from a table SELECT branch.bname, account. sortc ode, branch WHERE account. sortc ode= branch. sortcode AND account. type= current SELECT bname, sortc ode, branch WHERE account. sortc ode= branch. sortcode AND type= current SELECT bname, account. sortc ode, branch WHERE account. sortc ode= branch. sortcode AND type= current SELECT branch.,, branch WHERE account. sortc ode= branch. sortcode AND type= current sortcode bname cash 67 Strand Goodge St Wimbledon Wimbledon P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 8 / 40
13 RA to SQL DML Quiz 1: Translating RA into SQL Which SQL query implements π bname, σ type= deposit (account branch)? A SELECT, branch WHERE type= deposit B SELECT bname,, branch WHERE type= deposit C SELECT bname, FROM branch, account WHERE branch. sortcode= account. sortcode AND type= deposit D SELECT bname,, branch WHERE branch. sortcode= account. AND type= deposit P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 9 / 40
14 RA to SQL DML Connectives Between SQL SELECT statements Binary operators between SELECT statements SQL UNION implements RA SQL EXCEPT implements RA SQL INTERSECT implements RA Note that two tables must be union compatible: have the same number and type of columns π account π movement SELECT EXCEPT SELECT FROM movement P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 10 / 40
15 Joins SQL Joins Classic SQL Join Syntax SELECT branch.,, type, cname, rate FROM branch, account WHERE branch. sortcode=account. sortcode Modern SQL Join Syntax SELECT branch.,, type, cname, rate FROM branch JOIN account ON branch. sortcode=account. sortcode Special Syntax for Natural Join SELECT FROM branch NATURAL JOIN account Ather Special Syntax for Natural Join SELECT branch.,, type, cname, rate FROM branch JOIN account USING (sortcode ) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 11 / 40
16 Joins Overview of RA and SQL correspondances RA and SQL RA Operator SQL Operator π SELECT σ WHERE R 1 R 2 FROM R 1,R 2 or FROM R 1 CROSS JOIN R 2 R 1 R 2 FROM R 1 NATURAL JOIN R 2 θ R 1 R2 FROM R 1 JOIN R 2 ON θ R 1 R 2 R 1 EXCEPT R 2 R 1 R 2 R 1 UNION R 2 R 1 R 2 R 1 INTERSECT R 2 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 12 / 40
17 Joins Try some examples yourself... medusa-s2(pjm)-4$ psql -h db -U lab -d lab bank branch -W Password: lab bank branch=> SELECT * lab bank branch-> FROM branch NATURAL JOIN account; sortcode bname cash type cname rate Strand current McBrien, P. 67 Strand deposit McBrien, P Goodge St current Boyd, M. 56 Wimbledon current Poulovassilis, A. 56 Wimbledon deposit Poulovassilis, A Wimbledon current Bailey, J. P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 13 / 40
18 Joins...and find out that t all DBMSs are the same medusa-s2(pjm)-4$ sqsh -S sqlserver -X -U lab -D lab bank branch Password: [21] sqlserver.lab bank branch.1> SELECT * [21] sqlserver.lab bank branch.2> FROM branch NATURAL JOIN account [21] sqlserver.lab bank branch.3> \go Msg 102, Level 15, State 1 Server DOWITCHER, Line 2 Line 2: Incorrect syntax near account. P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 14 / 40
19 Bags v Sets SQL: Bags and Sets SELECT sortcode π sortcode account sortcode SELECT DISTINCT sortcode π sortcode account sortcode SQL SELECT: Bag semantics By default, an SQL SELECT (equivalent to an RA π) does t eliminate duplicates, and returns a bag (or multiset) rather than a set. Any SELECT that does t cover a key of the input relation, and requires a set based answer, should use DISTINCT. P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 15 / 40
20 Bags v Sets SQL: Bags and Sets SELECT ALL sortcode π sortcode account sortcode SELECT DISTINCT sortcode π sortcode account sortcode SQL SELECT: Bag semantics By default, an SQL SELECT (equivalent to an RA π) does t eliminate duplicates, and returns a bag (or multiset) rather than a set. Any SELECT that does t cover a key of the input relation, and requires a set based answer, should use DISTINCT. P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 15 / 40
21 Bags v Sets Quiz 2: Correct use of SELECT DISTINCT (1) branch(sortcode,bname,cash) key branch(sortcode) key branch(bname) Which SQL query requires the use of DISTINCT in order to avoid the possibility of a bag being produced? A SELECT FROM branch WHERE cash >10000 B SELECT sortcode FROM branch WHERE cash >10000 C SELECT bname, cash FROM branch D SELECT cash FROM branch WHERE cash >10000 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 16 / 40
22 Bags v Sets Quiz 3: Correct use of SELECT DISTINCT (2) branch(sortcode,bname,cash) account(,type,cname,rate,sortcode) key branch(sortcode) key branch(bname) key account() Which SQL query requires the use of DISTINCT in order to avoid the possibility of a bag being produced? A SELECT FROM branch NATURAL JOIN account B SELECT branch. sortcode, type, rate FROM branch NATURAL JOIN account C SELECT branch. sortcode, FROM branch NATURAL JOIN account D SELECT branch. sortcode,, cash FROM branch NATURAL JOIN account P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 17 / 40
23 Bags v Sets Quiz 4: Operators that might produce bags If R and S are sets, which RA operator could produce a bag result if the implementation did t check for duplicates? A σr B R S C R S D R S P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 18 / 40
24 Bags v Sets Bag and Set operations in SQL RA Operator Set Based SQL Bag Based SQL π A1,...,A n SELECT DISTINCT A 1,...,A n SELECT ALL A 1,...,A n R 1... R m FROM R 1,...,R m FROM R 1,...,R m σ P1,...,P k WHERE P 1 AND...AND P k WHERE P 1 AND...AND P k R 1 R 2 R 1 UNION DISTINCT R 2 R 1 UNION ALL R 2 R 1 R 2 R 1 EXCEPT DISTINCT R 2 R 1 EXCEPT ALL R 2 R 1 R 2 R 1 INTERSECT DISTINCT R 2 R 1 INTERSECT ALL R 2 Chosing between set and bag semantics If you omit DISTINCT or ALL, then the defaults are: SELECT ALL UNION DISTINCT EXCEPT DISTINCT INTERSECT DISTINCT No FROM DISTINCT or WHERE DISTINCT? There is need for DISTINCT or ALL around FROM ( ) and WHERE (σ) cant introduce any duplicates, and any existing duplicates can be removed in the SELECT P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 19 / 40
25 Bags v Sets Project-Select-Product Queries SQL SELECT statements: Exact Equivalence to RA SELECT DISTINCT A 1,...,A n FROM R 1,...,R m WHERE P 1 AND... AND P k SQL SELECT implements RA π,σ and Omit DISTINCT when either you kwn A 1,...,A n cover a key you want a bag (rather than set) answer π A1,...,A n σ P1... P k R 1... R m P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 20 / 40
26 Bags v Sets Quiz 5: SQL EXCEPT SELECT FROM movement EXCEPT SELECT movement mid amount tdate /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/1999 account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 What is the result of the above SQL query? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 21 / 40
27 Bags v Sets Quiz 6: SQL EXCEPT ALL SELECT FROM movement EXCEPT ALL SELECT movement mid amount tdate /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/1999 account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 What is the result of the above SQL query? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 22 / 40
28 Bags v Sets Table Aliases Table and Column Aliases The SQL operator AS allows a column or table name to be renamed. Essential when needing to join a table with itself List people with a current and a deposit account SELECT current account.cname, current account. AS current, deposit account. AS deposit AS current account JOIN account AS deposit account ON current account.cname=deposit account.cname AND current account. type= current AND deposit account. type= deposit cname current deposit McBrien, P Poulovassilis, A P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 23 / 40
29 Bags v Sets Worksheet: Translating Between Relational Algebra and SQL account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 movement mid amount tdate /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/1999 movement() fk account. P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 24 / 40
30 Set Operations Set Operations: IN IN operator tests for membership of a set SELECT WHERE type= current AND IN (100,101) Can use nested SELECT to generate set SELECT WHERE type= current AND IN (SELECT FROM movement WHERE amount >500) 100 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 25 / 40
31 Set Operations Set Operations: IN IN operator tests for membership of a set SELECT WHERE type= current AND IN (100,101) Can use nested SELECT to generate set SELECT WHERE type= current AND IN (SELECT FROM movement WHERE amount >500) SELECT DISTINCT account. FROM account JOIN movement ON account. =movement. WHERE type= current AND amount >500 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 25 / 40
32 Set Operations Quiz 7: SQL Set Membership Testing SELECT WHERE type= current AND NOT IN ( SELECT FROM movement WHERE amount >500) account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 movement mid amount tdate /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/1999 What is the result of the above SQL query? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 26 / 40
33 Set Operations Quiz 7: SQL Set Membership Testing SELECT SELECT DISTINCT account. WHERE type= current JOIN movement AND NOT IN ON account.=movement. ( SELECT WHERE type= current FROM movement AND NOT amount >500 WHERE amount >500) What is the result of the above SQL query? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 26 / 40
34 Set Operations Set Operations: EXISTS Testing for Existence IN can be used to test if some value is in a relation, either listed, or produced by some SELECT statement EXISTS can be used to test if a SELECT statement returns any rows List people without a deposit account SELECT cname WHERE cname NOT IN ( SELECT cname WHERE type= deposit ) cname Boyd, M. Bailey, J. SELECT cname WHERE NOT EXISTS ( SELECT deposit account WHERE type= deposit AND account.cname=cname) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 27 / 40
35 Set Operations Set Operations: EXISTS NOT EXISTS and EXCEPT Most queries involving EXCEPT can be also written using NOT EXISTS EXCEPT relatively recent addition to SQL π account π movement SELECT EXCEPT SELECT FROM movement SELECT WHERE NOT EXISTS ( SELECT FROM movement WHERE =account.) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 28 / 40
36 Set Operations Set Operations: SOME and ALL Can test a value against members of a set V op SOME S is TRUE is there is at least one V s S such that V op V s V op ALL S is TRUE is there are values V s S such that NOT V op V s names of branches that only have current accounts SELECT bname FROM branch WHERE current =ALL (SELECT type WHERE branch. sortcode=account. sortcode ) names of branches that have deposit accounts SELECT bname FROM branch WHERE deposit =SOME (SELECT type WHERE branch. sortcode=account. sortcode ) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 29 / 40
37 Set Operations Worksheet: Set Operations branch sortcode bname cash 56 Wimbledon Goodge St Strand movement mid amount tdate /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/1999 account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 key branch(sortcode) key branch(bname) key movement(mid) key account() movement() fk account() account(sortcode) fk branch(sortcode) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 30 / 40
38 Set Operations Worksheet: Set Operations (3) Write an SQL query without using any negation (i.e. without the use of NOT or EXCEPT) that list accounts with movements on or before the 11-Jan SELECT WHERE 11 jan 1999 <ALL (SELECT tdate FROM movement WHERE movement.=account.) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 31 / 40
39 Set Operations Worksheet: Set Operations (4) Write an SQL query that lists the cname of customers that have every type of account that appears in account SELECT DISTINCT cname AS cust account WHERE NOT EXISTS ( SELECT type EXCEPT SELECT type WHERE account.cname=cust account.cname ) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 32 / 40
40 Set Operations Set Operations: NOT SOME NOT and ALL In first order classical logic: accounts with all movements less than or equal to 500 SELECT WHERE 500>=ALL ( SELECT amount FROM movement WHERE account.=movement.) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 33 / 40
41 Set Operations Set Operations: NOT SOME NOT and ALL In first order classical logic: accounts with all movements less than or equal to 500 SELECT WHERE 500>=ALL ( SELECT amount FROM movement WHERE account.=movement.) SELECT WHERE NOT 500<SOME ( SELECT amount FROM movement WHERE account.=movement.) P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 33 / 40
42 Null Null Several definitions of null have been proposed, including: 1 null represents a something that is t present in the UoD P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 34 / 40
43 Null Null Several definitions of null have been proposed, including: 1 null represents a something that is t present in the UoD 2 null represents something that might be present in the UoD, but we do t kw its value at present P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 34 / 40
44 Null Null Several definitions of null have been proposed, including: 1 null represents a something that is t present in the UoD 2 null represents something that might be present in the UoD, but we do t kw its value at present 3 null represents something that is present in the UoD, but we do t kw its value at present P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 34 / 40
45 Null Null Several definitions of null have been proposed, including: 1 null represents a something that is t present in the UoD 2 null represents something that might be present in the UoD, but we do t kw its value at present 3 null represents something that is present in the UoD, but we do t kw its value at present SQL handling of NULL SQL uses a three valued logic to process WHERE predicate Truth values are TRUE, FALSE, and UNKNOWN SQL standard vague, but handling of NULL is nearest to option 2 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 34 / 40
46 Null Quiz 8: SQL handling of NULL (1) account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 SELECT WHERE rate=null What is the result of the SQL query above? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 35 / 40
47 Null Quiz 9: SQL handling of NULL (2) account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 SELECT WHERE rate=null OR rate<>null What is the result of the SQL query above? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 36 / 40
48 Null SQL implements three valued logic P 1 OR P 2 P 2 TRUE UNKNOWN FALSE TRUE TRUE TRUE TRUE P 1 UNKNOWN TRUE UNKNOWN UNKNOWN FALSE TRUE UNKNOWN FALSE NOT P 1 TRUE FALSE P 1 UNKNOWN UNKNOWN FALSE TRUE P 1 AND P 2 P 2 TRUE UNKNOWN FALSE TRUE TRUE UNKNOWN FALSE P 1 UNKNOWN UNKNOWN UNKNOWN FALSE FALSE FALSE FALSE FALSE x=null is UNKNOWN (and t TRUE or FALSE) null=null is UNKNOWN x IS NULL returns TRUE if x has a null value x IS NOT NULL returns TRUE if x does t have a null value P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 37 / 40
49 Null Correct SQL Queries Using null Every nullable attribute can be tested to see if it is null: SELECT WHERE rate IS NULL SELECT WHERE rate IS NULL OR rate IS NOT NULL Can test for logical state by IS TRUE, IS NOT TRUE,... SELECT WHERE (rate=5.50) IS NOT TRUE P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 38 / 40
50 Null Quiz 10: SQL Might Be SELECT WHERE (rate=5.25) IS NOT FALSE account type cname rate sortcode 100 current McBrien, P. NULL deposit McBrien, P current Boyd, M. NULL current Poulovassilis, A. NULL deposit Poulovassilis, A current Bailey, J. NULL 56 What is the result of the above SQL query? A B C D P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 39 / 40
51 Null Worksheet: Null values in SQL movement mid amount tdate null /1/ /1/ /1/ /1/ /1/ /1/ /1/ /1/ null 20/1/ null null 20/1/ null /1/ null /1/1999 account type cname rate sortcode 100 current McBrien, P. null deposit McBrien, P deposit Poulovassilis, A current Bailey, J. null 56 P.J. McBrien (Imperial College London) SQL: An Implementation of the Relational Algebra 40 / 40
Datalog. P.J. McBrien. Imperial College London. P.J. McBrien (Imperial College London) Datalog 1 / 19
Datalog P.J. McBrien Imperial College London P.J. McBrien (Imperial College London) Datalog 1 / 19 The Datalog Language Data Data is held as extensional predicates branch sortcode bname cash 56 Wimbledon
More informationSQL: A Language for Database Applications
SQL: A Language for Database Applications P.J. McBrien Imperial College London P.J. McBrien (Imperial College London) SQL: A Language for Database Applications 1 / 42 Extensions to RA select, project and
More informationBig Data: Pig Latin. P.J. McBrien. Imperial College London. P.J. McBrien (Imperial College London) Big Data: Pig Latin 1 / 44
Big Data: P.J. McBrien Imperial College London P.J. McBrien (Imperial College London) Big Data: 1 / 44 Introduction Scale Up 1GB 1TB 1PB Scale Up As the amount of data increase, buy a larger computer to
More informationOPENRULES. Tutorial. Determine Patient Therapy. Decision Model. Open Source Business Decision Management System. Release 6.0
OPENRULES Open Source Business Decision Management System Release 6.0 Decision Model Determine Patient Therapy Tutorial OpenRules, Inc. www.openrules.org March-2010 Table of Contents Introduction... 3
More informationBalancing Authority Ace Limit (BAAL) Proof-of-Concept BAAL Field Trial
Balancing Authority Ace Limit (BAAL) Proof-of-Concept BAAL Field Trial Overview The Reliability-based Control Standard Drafting Team and the Balancing Area Control Standard Drafting Team were combined
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationExcel Lesson 3 page 1 April 15
Excel Lesson 3 page 1 April 15 Monday 4/13/15 We begin today's lesson with the $ symbol, one of the biggest hurdles for Excel users. Let us learn about the $ symbol in the context of what I call the Classic
More informationGrade 6 Math Connects Suggested Course Outline for Schooling at Home
Grade 6 Math Connects Suggested Course Outline for Schooling at Home I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO: Scavenger
More informationDigital Logic Lecture 5 Boolean Algebra and Logic Gates Part I
Digital Logic Lecture 5 Boolean Algebra and Logic Gates Part I By Ghada Al-Mashaqbeh The Hashemite University Computer Engineering Department Outline Introduction. Boolean variables and truth tables. Fundamental
More informationArtificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur
Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied
More informationLazy Functional Programming for a survey
Lazy Functional Programming for a survey Norman Ramsey Tufts November 2012 Book: Programming languages for practitioners Why? For people who will write code Gives future practitioners something to do I
More informationMath 10 Lesson 1 4 Answers
Math 10 Lesson 1 Answers Lesson Questions Question 1 When we calculate the radical, radicals that are rational numbers result in a rational number while radicals that are irrational result in an irrational
More informationArtificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
More informationHOW TO WRITE AN NDES POLICY MODULE
HOW TO WRITE AN NDES POLICY MODULE 1 Introduction Prior to Windows Server 2012 R2, the Active Directory Certificate Services (ADCS) Network Device Enrollment Service (NDES) only supported certificate enrollment
More informationRosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples
Rosen, Discrete Mathematics and Its Applications, 6th edition Extra Examples Section 1.1 Propositional Logic Page references correspond to locations of Extra Examples icons in the textbook. p.2, icon at
More informationQuorums. Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich
Quorums Christian Plattner, Gustavo Alonso Exercises for Verteilte Systeme WS05/06 Swiss Federal Institute of Technology (ETH), Zürich {plattner,alonso}@inf.ethz.ch 20.01.2006 Setting: A Replicated Database
More informationGrade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons
Grade 7 Math Connects Suggested Course Outline for Schooling at Home 132 lessons I. Introduction: (1 day) Look at p. 1 in the textbook with your child and learn how to use the math book effectively. DO:
More informationModule 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
More informationSemantic Entailment and Natural Deduction
Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.
More informationMacro Plan
College Macro Plan 2018-2019 Subject: Computer Science Teacher: M.Sheeraz Iqbal Class / Sections: XII- BrookBond We ek Event From To Saturday Status Working Days Teaching Days Chapters Content Term-I 57-Working
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: Truth-Value Assignments and Truth-Functions Truth-Value Assignments Truth-Functions Introduction to the TruthLab Truth-Definition Logical Notions Truth-Trees Studying
More informationMATH1061/MATH7861 Discrete Mathematics Semester 2, Lecture 5 Valid and Invalid Arguments. Learning Goals
MAH1061/MAH7861 Discrete Mathematics Semester 2, 2016 Learning Goals 1. Understand the meaning of necessary and sufficient conditions (carried over from Wednesday). 2. Understand the difference between
More information2.1 Review. 2.2 Inference and justifications
Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning
More informationUC Berkeley, Philosophy 142, Spring 2016
Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion
More informationIt is One Tailed F-test since the variance of treatment is expected to be large if the null hypothesis is rejected.
EXST 7014 Experimental Statistics II, Fall 2018 Lab 10: ANOVA and Post ANOVA Test Due: 31 st October 2018 OBJECTIVES Analysis of variance (ANOVA) is the most commonly used technique for comparing the means
More informationINFORMATION FOR DVC MATH STUDENTS in Math 75, 110, 120, 121, 124 and 135 Distance Education Hours by Arrangement (HBA) - Summer 2010
INFORMATION FOR DVC MATH STUDENTS in Math 75, 110, 120, 121, 124 and 135 Distance Education Hours by Arrangement (HBA) - Summer 2010 During Summer Session 2010, there is an Hours-By-Arrangement (HBA) requirement
More informationLGCS 199DR: Independent Study in Pragmatics
LGCS 99DR: Independent Study in Pragmatics Jesse Harris & Meredith Landman September 0, 203 Last class, we discussed the difference between semantics and pragmatics: Semantics The study of the literal
More informationCurriculum Guide for Pre-Algebra
Unit 1: Variable, Expressions, & Integers 2 Weeks PA: 1, 2, 3, 9 Where did Math originate? Why is Math possible? What should we expect as we use Math? How should we use Math? What is the purpose of using
More informationGrade 6 correlated to Illinois Learning Standards for Mathematics
STATE Goal 6: Demonstrate and apply a knowledge and sense of numbers, including numeration and operations (addition, subtraction, multiplication, division), patterns, ratios and proportions. A. Demonstrate
More informationSUMMARY COMPARISON of 6 th grade Math texts approved for 2007 local Texas adoption
How much do these texts stress... reinventing more efficiently memorized? calculator dependence over mental training? estimation over exact answers? ; develops concepts incrementally suggested for 34 problems,
More informationALEKS ANSWER KEY PDF
ALEKS ANSWER KEY PDF ==> Download: ALEKS ANSWER KEY PDF ALEKS ANSWER KEY PDF - Are you searching for Aleks Answer Key Books? Now, you will be happy that at this time Aleks Answer Key PDF is available at
More informationRussell: On Denoting
Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of
More informationArtificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are
More informationOn Truth At Jeffrey C. King Rutgers University
On Truth At Jeffrey C. King Rutgers University I. Introduction A. At least some propositions exist contingently (Fine 1977, 1985) B. Given this, motivations for a notion of truth on which propositions
More informationIntel x86 Jump Instructions. Part 5. JMP address. Operations: Program Flow Control. Operations: Program Flow Control.
Part 5 Intel x86 Jump Instructions Control Logic Fly over code Operations: Program Flow Control Operations: Program Flow Control Unlike high-level languages, processors don't have fancy expressions or
More informationGateway Developer Guide
Gateway Developer Guide Apache Airavata's Programming API is the API which is exposed to the Gateway Developers. Gateway Developers can use this API to execute and monitor workflows. The API user should
More informationGeorgia Quality Core Curriculum
correlated to the Grade 8 Georgia Quality Core Curriculum McDougal Littell 3/2000 Objective (Cite Numbers) M.8.1 Component Strand/Course Content Standard All Strands: Problem Solving; Algebra; Computation
More informationTHE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the
THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally
More informationHoughton Mifflin MATHEMATICS
2002 for Mathematics Assessment NUMBER/COMPUTATION Concepts Students will describe properties of, give examples of, and apply to real-world or mathematical situations: MA-E-1.1.1 Whole numbers (0 to 100,000,000),
More information9 Knowledge-Based Systems
9 Knowledge-Based Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because
More informationWilliams on Supervaluationism and Logical Revisionism
Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Non-citable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633-641 Central to discussion
More informationFormalizing a Deductively Open Belief Space
Formalizing a Deductively Open Belief Space CSE Technical Report 2000-02 Frances L. Johnson and Stuart C. Shapiro Department of Computer Science and Engineering, Center for Multisource Information Fusion,
More informationVerification and Validation
2012-2013 Verification and Validation Part III : Proof-based Verification Burkhart Wolff Département Informatique Université Paris-Sud / Orsay " Now, can we build a Logic for Programs??? 05/11/14 B. Wolff
More information1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More information(Refer Slide Time 03:00)
Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about
More informationSøren Kierk eg aard's Journals and Papers, Volume 1: A-E
Søren Kierkegaard's Journals and Papers, Volume 1: AE. Søren Kierk eg aard's Journals and Papers, Volume 1: A-E Søren Kierkegaard Indiana University Press (1967) Abstract " I can be understood only after
More informationGesture recognition with Kinect. Joakim Larsson
Gesture recognition with Kinect Joakim Larsson Outline Task description Kinect description AdaBoost Building a database Evaluation Task Description The task was to implement gesture detection for some
More informationRootsWizard User Guide Version 6.3.0
RootsWizard Overview RootsWizard User Guide Version 6.3.0 RootsWizard is a companion utility for users of RootsMagic genealogy software that gives you insights into your RootsMagic data that help you find
More information1 Clarion Logic Notes Chapter 4
1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the
More informationSTATISTICS FOR MISSION: JANUARY TO DECEMBER 2014
STATISTICS FOR MISSION: JANUARY TO DECEMBER 2014 Church name: Parish name: Deanery: Diocese: Church code: 6 (If you are entering your form online then you will not need this code.) REMINDER: IF POSSIBLE,
More informationCHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES
CHAPTER ONE STATEMENTS, CONNECTIVES AND EQUIVALENCES A unifying concept in mathematics is the validity of an argument To determine if an argument is valid we must examine its component parts, that is,
More informationArtificial Intelligence I
Artificial Intelligence I Matthew Huntbach, Dept of Computer Science, Queen Mary and Westfield College, London, UK E 4NS. Email: mmh@dcs.qmw.ac.uk. Notes may be used with the permission of the author.
More informationExtended Legacy Format (ELF): Date, Age and Time Microformats
Extended Legacy Format (ELF): Date, Age and Time Microformats 30 December 2018 Editorial note This is a first public draft of the microformats used for dates, ages and times in FHISO s proposed suite of
More informationEpistemic Logic I. An introduction to the course
Epistemic Logic I. An introduction to the course Yanjing Wang Department of Philosophy, Peking University Sept. 14th 2015 Standard epistemic logic and its dynamics Beyond knowing that: a new research program
More informationBiometrics Prof. Phalguni Gupta Department of Computer Science and Engineering Indian Institute of Technology, Kanpur. Lecture No.
Biometrics Prof. Phalguni Gupta Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture No. # 13 (Refer Slide Time: 00:16) So, in the last class, we were discussing
More informationPHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH
PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODEL-THEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's
More informationINTRODUCTION TO HYPOTHESIS TESTING. Unit 4A - Statistical Inference Part 1
1 INTRODUCTION TO HYPOTHESIS TESTING Unit 4A - Statistical Inference Part 1 Now we will begin our discussion of hypothesis testing. This is a complex topic which we will be working with for the rest of
More informationSEVENTH GRADE RELIGION
SEVENTH GRADE RELIGION will learn nature, origin and role of the sacraments in the life of the church. will learn to appreciate and enter more fully into the sacramental life of the church. THE CREED ~
More informationSt. Matthew Catholic School. 6 th Grade Curriculum Overview
St. Matthew Catholic School 6 th Grade Curriculum Overview 6 th Grade Religion Textbook on ipad: Sadlier - We Believe Love of God for his people is woven throughout history and in our world today The Liturgical
More informationSemantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
More informationTamer Özsu Speaks Out On journals, conferences, encyclopedias and technology
Tamer Özsu Speaks Out On journals, conferences, encyclopedias and technology by Marianne Winslett and Vanessa Braganholo Tamer Özsu http://cs.uwaterloo.ca/~tozsu/ Welcome to ACM SIGMOD Record s Series
More informationThe way we convince people is generally to refer to sufficiently many things that they already know are correct.
Theorem A Theorem is a valid deduction. One of the key activities in higher mathematics is identifying whether or not a deduction is actually a theorem and then trying to convince other people that you
More informationNecessity and Truth Makers
JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31-007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/jan-wolenski Keywords: Barry Smith, logic,
More informationNetwork-based. Visual Analysis of Tabular Data. Zhicheng Liu, Shamkant Navathe, John Stasko
Network-based Visual Analysis of Tabular Data Zhicheng Liu, Shamkant Navathe, John Stasko Tabular Data 2 Tabular Data Rows and columns Rows are data cases; columns are attributes/dimensions Attribute types
More informationFacts and Free Logic. R. M. Sainsbury
R. M. Sainsbury 119 Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and the property of barking.
More informationFacts and Free Logic R. M. Sainsbury
Facts and Free Logic R. M. Sainsbury Facts are structures which are the case, and they are what true sentences affirm. It is a fact that Fido barks. It is easy to list some of its components, Fido and
More informationYour use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at
Risk, Ambiguity, and the Savage Axioms: Comment Author(s): Howard Raiffa Source: The Quarterly Journal of Economics, Vol. 75, No. 4 (Nov., 1961), pp. 690-694 Published by: Oxford University Press Stable
More informationPrompt: Explain van Inwagen s consequence argument. Describe what you think is the best response
Prompt: Explain van Inwagen s consequence argument. Describe what you think is the best response to this argument. Does this response succeed in saving compatibilism from the consequence argument? Why
More informationQualitative versus Quantitative Notions of Speaker and Hearer Belief: Implementation and Theoretical Extensions
Qualitative versus Quantitative Notions of Speaker and Hearer Belief: Implementation and Theoretical Extensions Yafa Al-Raheb National Centre for Language Technology Dublin City University Ireland yafa.alraheb@gmail.com
More informationPresuppositions (Ch. 6, pp )
(1) John left work early again Presuppositions (Ch. 6, pp. 349-365) We take for granted that John has left work early before. Linguistic presupposition occurs when the utterance of a sentence tells the
More informationFUZZY EXPERT SYSTEM IN DETERMINING HADITH 1 VALIDITY. 1. Introduction
1 FUZZY EXPERT SYSTEM IN DETERMINING HADITH 1 VALIDITY M.H.Zahedi, M.Kahani and B.Minaei Faculty of Engineering Mashad Ferdowsi University Mashad, Iran ha_za71@stu-mail.um.ac.ir, kahani@ferdowsi.um.ac.ir
More informationA Quranic Quote Verification Algorithm for Verses Authentication
2012 International Conference on Innovations in Information Technology (IIT) A Quranic Quote Verification Algorithm for Verses Authentication Abdulrhman Alshareef 1,2, Abdulmotaleb El Saddik 1 1 Multimedia
More informationSummary. Background. Individual Contribution For consideration by the UTC. Date:
Title: Source: Status: Action: On the Hebrew mark METEG Peter Kirk Date: 2004-06-05 Summary Individual Contribution For consideration by the UTC The Hebrew combining mark METEG is in origin part of the
More informationWhere to get help. There are many ways you can get help as you gather family history information
Where to get help Where to get help There are many ways you can get help as you gather family history information Where to get help The most important thing you can do is to seek and follow the guidance
More informationLogicola Truth Evaluation Exercises
Logicola Truth Evaluation Exercises The Logicola exercises for Ch. 6.3 concern truth evaluations, and in 6.4 this complicated to include unknown evaluations. I wanted to say a couple of things for those
More informationLDS Church Resources by Brett W. Smith
Nine Mile Falls Ward Genealogy Seminar May 8, 2010 LDS Church Resources by Brett W. Smith "Old Stuff" Research Databases: FamilySearch www.familysearch.org accessible to anyone LDS Church Resources by
More informationIntro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.
Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to
More informationBasic Algorithms Overview
Basic Algorithms Overview Algorithms Search algorithm Sort algorithm Induction proofs Complexity 21 December 2005 Ariel Shamir 1 Conceptual Hierarchy Algorithm/Model Program Code Today s lecture Compilers
More informationJosh Parsons MWF 10:00-10:50a.m., 194 Chemistry CRNs: Introduction to Philosophy, (eds.) Perry and Bratman
PHILOSOPHY 1 INTRODUCTION TO PHILOSOPHY Josh Parsons MWF 10:00-10:50a.m., 194 Chemistry CRNs: 46167-46178 Introduction to Philosophy, (eds.) Perry and Bratman COURSE CONTENT: The objective of this course
More informationContradictory Information Can Be Better than Nothing The Example of the Two Firemen
Contradictory Information Can Be Better than Nothing The Example of the Two Firemen J. Michael Dunn School of Informatics and Computing, and Department of Philosophy Indiana University-Bloomington Workshop
More informationHP-35s Calculator Program Cantilever Retaining Wall Design
Program for HP35s Calculator Page 1 HP-35s Calculator Program Cantilever Retaining Wall Design Author: J. E. Charalambides Date: July 9/2012 2012 J. E. Charalambides Line Instruction Process User Instruction
More informationHomework: read in the book pgs and do "You Try It" (to use Submit); Read for lecture. C. Anthony Anderson
Philosophy 183 Page 1 09 / 26 / 08 Friday, September 26, 2008 9:59 AM Homework: read in the book pgs. 1-10 and do "You Try It" (to use Submit); Read 19-29 for lecture. C. Anthony Anderson (caanders@philosophy.ucsb.edu)
More informationIs the law of excluded middle a law of logic?
Is the law of excluded middle a law of logic? Introduction I will conclude that the intuitionist s attempt to rule out the law of excluded middle as a law of logic fails. They do so by appealing to harmony
More informationChapter 3: Basic Propositional Logic. Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling;
Chapter 3: Basic Propositional Logic Based on Harry Gensler s book For CS2209A/B By Dr. Charles Ling; cling@csd.uwo.ca The Ultimate Goals Accepting premises (as true), is the conclusion (always) true?
More informationIntersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne
Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich
More informationBrief Remarks on Putnam and Realism in Mathematics * Charles Parsons. Hilary Putnam has through much of his philosophical life meditated on
Version 3.0, 10/26/11. Brief Remarks on Putnam and Realism in Mathematics * Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what
More informationPROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF?
PROSPECTIVE TEACHERS UNDERSTANDING OF PROOF: WHAT IF THE TRUTH SET OF AN OPEN SENTENCE IS BROADER THAN THAT COVERED BY THE PROOF? Andreas J. Stylianides*, Gabriel J. Stylianides*, & George N. Philippou**
More informationHoly Spirit. A Bible Study Course for Adults. by John F. Vogt SAMPLE. Leader s Guide
Holy Spirit A Bible Study Course for Adults by John F. Vogt Leader s Guide Lesson One The Holy Spirit Is True God... 5 Lesson Two The Holy Spirit s Divine Names and Qualities...10 Lesson Three The Holy
More informationThis Magic Moment: Horwich on the Boundaries of Vague Terms
This Magic Moment: Horwich on the Boundaries of Vague Terms Consider the following argument: (1) Bertrand Russell was old at age 3 10 18 nanoseconds (that s about 95 years) (2) He wasn t old at age 0 nanoseconds
More information1)Asher: create a handout for the week summing up LOGIC
1)Asher: create a handout for the week summing up LOGIC 2)OWN this LESSON...add to it and send by back TUES..(put in common errors from prior weeks based on Daily Exits. tests, you walking around and seeing
More informationAssignment Assignment for Lesson 3.1
Assignment Assignment for Lesson.1 Name Date A Little Dash of Logic Two Methods of Logical Reasoning Joseph reads a journal article that states that yogurt with live cultures greatly helps digestion and
More informationCOS 226 Algorithms and Data Structures Fall Midterm
COS 226 Algorithms and Data Structures Fall 2005 Midterm This test has 6 questions worth a total of 50 points. You have 80 minutes. The exam is closed book, except that you are allowed to use a one page
More informationGURU TEG BAHADUR PUBLIC SCHOOL SYLLABUS FOR SESSION ( ) CLASS - VII English
GURU TEG BAHADUR PUBLIC SCHOOL SYLLABUS FOR SESSION (2015-2016) CLASS - VII English Summative Assessment - I LITERATURE BOOK: New! Learning to communicate 1. A true story about Ladybugs (Prose) 2. Adolf
More informationA New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System
A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System Qutaibah Althebyan, Henry Hexmoor Department of Computer Science and Computer Engineering University
More informationCS 2104 Intro Problem Solving in Computer Science Test 1 READ THIS NOW!
READ THIS NOW! Print your name in the space provided below. There are 5 problems, priced as marked. The maximum score is 100. The grading of each question will take into account whether you obtained a
More informationTruthier Than Thou: Truth, Supertruth and Probability of Truth
to appear in Noûs Truthier Than Thou: Truth, Supertruth and Probability of Truth Nicholas J.J. Smith Department of Philosophy, University of Sydney Abstract Different formal tools are useful for different
More informationEmpty Names and Two-Valued Positive Free Logic
Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive
More informationDurham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peer-review status of attached le: Not peer-reviewed Citation for published item: Uckelman, Sara L. (2016)
More informationLeveraging mobile Esri technology at VDOT to move into the 21st Century. Michelle Fults, GISP Virginia DOT Matthew Kabak Esri Transportation Practice
Leveraging mobile Esri technology at VDOT to move into the 21st Century Michelle Fults, GISP Virginia DOT Matthew Kabak Esri Transportation Practice Presentation Overview Agenda Introduction NPDES Construction
More information