Write Python queries returning True or False for each of the following logical sentences.

INFS 740 – HA3- Working with SQL DB (MySQL) and MongoDB
Follow the links from Python documentation
(https://www.w3schools.com/python/default.asp) to download and install Python MySQL
and Python MongoDB.
Download and unpack archive HA3.zip. It has a number of files. If you use ATOM
studio (which I recommend), under “File”, choose “Add Project Folder” and select
folder “infs740_ha3_mongoDB_SQL_template”
Assume a JSON database of the form as given in the collection “sampleUnivDB.json”
(see file in the main folder). The meaning of the stored info is self-explanatory. For
the purpose of queries below, assume that the possible grades are A, B, C and F; and
that to satisfy a prerequisite for a class/course means to have taken the prerequisite
courses (in transcript) with the grade of B or better.
You need to implement the function ha3(univDB) in the library module ha3lib.py
(see in the main folder.) Initially, create ha3lib.py by duplicating it from
ha3lib_template.py
1. create MySQL DB, create tables corresponding to JSON structures for
(a) student and (b) class, and will populate these tables with
corresponding data from univDB.
2. create mongoDB, and populate it with the rest of JSON structures including
for (a) course, (b) prereq, (c) enrollment, (d) transcript and (e) faculty
3. implement each query below in 3 steps, as annotated in the ha3lib.py
template:
(a) extract relevant part from MySQL DB
(b) extract relevant part from mongoDB
(c) compute the result using (a) and (b) only
Note that the extractions (a) and (b) are not the extraction of the entire content from
MySQL and MongoDB databases. Rather, the SQL and Mongo subqueries must
extract the MINIMAL amount of data necessary from MySQL DB and MongoDB,
respectively. Choose their order, i.e., SQL subquery first vs. Mongo subquery first, as
the result from the first subquery may be used to minimize the amount of data
extracted in the second. Add commands (assignments etc) if needed. The overall
Python query can only use SQL and Mongo subqueries, but NOT allowed to use
univDB directly.
To run using Python:
1. make HA3 your current folder in command line, and then:
2. Run in command line: >> python3 ha3_main.py > out.json
Your result will be in the output file out.json. Note that initially, ha3lib.py is a
template with queries returning “tbd”; you need to replace “tbd”s with correct code.
Note that the file “queryAnswers.json” contains the correct answer to queries for the
input in “sampleUnivDB.json”. You can use it for debugging your queries.
To help you test and debug your queries, under the folder “testDBs”, there are test
JSON databases “db1”, “db2”, etc. as well as the JSON file “correct_answers.json”.
When you’re ready to test “ha3lib.py”, you can generate a report on correctness of
your queries by running the following in command line (from the current folder
“HA3”):
>> python3 ha3_produce_answers_main.py > ./testDBs/answers.json
>> zorba report_main.jq -o ./testDBs/report.json
Open report.json in Atom. You can see how many correct queries do you have out of
how many. Also, you can see a per query information, including for which test
databases it produced correct vs. incorrect answers. It is convenient to prettify
report.json, and collapse it before you open the relevant parts.
The list of queries to be implemented is as follows:
1. Write Python queries returning True or False for each of the following logical
sentences.
a. The student with ssn = 82 has taken the course “CS 530” (must be in
Transcipts)
b. A student named “John Smith” has taken the course “CS 530” (must be in
Transcipts).
c. All students named “John Smith” has taken the course “CS 530” (must be
in Transcipts)
d. The student with ssn = 82 has satisfied all prerequisites for each class she is
enrolled in.
e. Every student has satisfied all prerequisites each class she is enrolled in.
f. Every student who majors in “CS” has satisfied all prerequisites for each
class she is enrolled in.
g. A student named “John Smith” is enrolled in a class for which he did
satisfied all prerequisites.
h. Some courses do not have prerequisites
i. All classes offered this semester have prerequisites.
j. Some students received only grades “A” or “B” in every course they have
taken (must appear in Transcripts)
k. All students currently enrolled in classes taught by professor Brodsky (i.e.,
the name is “Brodsky” in faculty), major in “CS”
l. Some students who are currently enrolled in classes taught by professor
Brodsky major in “CS”
2. Write Python queries to express/compute each of the following sets
(sequences). Eliminate duplicates, and sort the answers (by ssn for students, by
(dcode, cno) for courses, by class for classes).
a. All students { ssn: …, name: …, major: …, status: …} who have taken the
course “cs530” (must be in transcripts)
b. All students { ssn: …, name: …, major: …, status: …} named “John” (i.e.,
name = “John” in student) who have taken the course “CS 530” (must be
in transcripts)
c. All students { ssn: …, name: …, major: …, status: …} who satisfied all
prerequisites each class they are enrolled in.
d. All students { ssn: …, name: …, major: …, status: …} who are enrolled in
a class for which they have not satisfied all its prerequisites.
e. All students { ssn: …, name: …, major: …, status: …} named “John” who
are enrolled in a class for which they have not satisfied all its
prerequisites.
f. All courses {dcode: …, cno: ….} that do not have prerequisites
g. All courses {dcode: …, cno: ….} that do have some prerequisites
h. All classes {class: …, dcode: …, cno: …, instr: …} offered this semester
that have prerequisites.
i. All students { ssn: …, name: …, major: …, status: …} who received only
grades “A” or “B” in every course they have taken (must appear in
Transcripts)
j. All CS students { ssn: …, name: …, major: …, status: …} who are
currently enrolled in a class taught by professor Brodsky (name =
“Brodsky” in faculty).