Finding two nontrivial functional dependencies that follow from F (but are not in F)

Given below is the set F of functional dependencies for the relational schema:

R = {A,B,C,D,E,F,G}.  F = {AB → C,BC → D,G → F,AE → FG} 

Show two nontrivial functional dependencies that follow from F:

Which is :

AB → CD

ABC → D

I don’t know how those two derived from? Could someone walk me through? thanks

understanding makefiles & their dependencies

In a practice question, I was supposed to derive a dependencies graph from a given make-file. I couldn’t find any relevant examples online but I attempted the following. Is this what is expected?

all: prog x.o: x.cpp globals.hh $(CC) -c x.cpp y.o: y.cpp globals.hh$  (CC) -c y.cpp prog: x.o y.o $(LD) -o prog x.o y.o -lc  Also, I would like to understand what happens if we repeat make all after altering either x.cpp or the headers file after. From what I understand, if I run make all once and then change x.cpp, the following commands will be re-run: $  (CC) -c x.cpp and -o prog x.o y.o -lc 

and in case of the headers file, I think all three will re-run when I do make all again. Am I correct? What would be the sequence?

Shortest sequence of jobs, with dependencies, subject to capacity constraints

Suppose I have $$n$$ courses, some with some prerequisites, and I can take up to $$k$$ courses in a semester. I want to compute the least number of semesters needed to complete all courses, while respecting prerequisites.

Equivalently: suppose I have a dag $$G=(V,E)$$, and a positive integer $$k$$. The desired output is a sequence $$S_1,\dots,S_m$$ of vertices that minimizes $$m$$, subject to the constraint that $$S_1 \cup \dots \cup S_m = V$$, $$|S_i| \le k$$ for all $$k$$, and every edge goes from some set $$S_i$$ to $$S_j$$ where $$i (i.e., there is no edge $$v \to w$$ where $$v\in S_i$$, $$w\in S_j$$, and $$i \ge j$$).

Is there a polynomial-time algorithm for this problem?

Approaches I’ve considered:

The obvious greedy strategy is a variant of Kahn’s algorithm is: in each semester, arbitrarily pick $$k$$ courses whose prerequisites have all been previously taken, and take those $$k$$ courses. Unfortunately, this algorithm is not guaranteed to generate an optimal schedule. For example, in the graph with vertices $$v_1,v_2,v_3,v_4$$ and the single edge $$v_1 \to v_2$$, with $$k=2$$ this algorithm might generate the schedule $$\{v_3,v_4\},\{v_1\},\{v_2\}$$, which is longer than the optimal schedule $$\{v_1,v_3\},\{v_2,v_4\}$$.

The next natural idea is to modify the above approach by breaking ties in favor of vertices that are part of longer dependency chains. I’m not sure whether this works or not.

Inspired by taking school courses efficiently.

How many RAW dependencies are present in these instructions?

What is the number of RAW dependencies in below set of instructions?

I1: R1 = R2 - R3 I2: R2 = R1 + R3 I3: R3 = R1 + R2 I4: R1 = R2 - R2 

I can see the following RAW dependencies in it:

$$I_2-I_1\ for\ R_1$$ ……… (a)

$$I_3-I_1\ for\ R_1$$ ……… (b)

$$I_3-I_2\ for\ R_2$$ ……… (c)

$$I_4-I_2\ for\ R_2$$ ……… (d)

I think taking (a) and (b) implies that (c) has already been included. So, should this be counted as 4 RAW dependencies or 3 RAW dependencies?

How to formally prove the dependencies of a computer malware?

I’m in the process of the writing a thesis. A small part of it is to prove that certain malware have certain dependencies which must first be satisfied before they are successful in infecting the host. For instance, a virus must first get on the host and then start executing before infection.

• Dependency 1: getting on the host
• Dependency 2: executing

We know these dependencies to be true from experience and common sense, however, how would be go about formally proving these in computer science? I am not asking for all the proofs (I realize that that’s my job!), but just how to approach them since right now I see no way to formally prove it.

What are the types of these functional dependencies?

I was wondering if anyone could help me solve this homework problem I have for my database management class. We were given this table:

We were then given the following functional dependencies

CourseID -> CourseLanguage, CourseLevel ClientID -> ClientName CourseID, ClientID -> Attendance, FinalScore 

We had to identify each dependency by the types of full, transitive, or partial.

I have come to the following conclusions and want to know if they are logical:

• The first dependency is partial because CourseLanguage and CourseLevel are both determined by CourseID, which is part of a composite primary key
• The second dependency is also partial because ClientName is determined by ClientID, which is part of a composite primary key
• The third dependency is full because the entire primary key determines the columns attendance and final score.

Thank you for your time and help!

Checking to see if my relation is in 3NF based on the functional dependencies

I have a relation, called Score (which stores scores of football games), and it has the following functional dependencies for its various attributes G, H, T, S, W, D, and O (representing GameID, HomeOrAway, TeamID, Season, Week, Date, and Outcome):

GH → TSWDOP

SD → W

TSW → GH

D → SW

I would like to know if Score is in 3NF, or if not, suggest a decomposition that achieves 3NF. Can you guys help me go about figuring this out? I know that for each functional dependency, I need to check that the left side contains a key for Score, but I’m not sure how to really go about doing that. Any help would be greatly appreciated!

Unmet dependencies in wine

Reading state information… Done Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable a distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation:

The following packages have unmet dependencies: winehq-staging : Depends: wine-staging (= 4.17~xenial) E: Unable to correct problems, you have held broken packages.

Unity not resolving android dependencies and only returns resolution success

As i remember in previous installations unity downloaded many libraries for plugins on resolve. Now it only returns “resolution success” with no library added and it doeant work in final build.

Can any one tell what is the problem??

npm dependencies failed to install //// jupyterlab

en la pagina de vpython dicen que luego de instalar node.js, debo ejecutar en el terminal: jupyter labextension install vpython

pero luego de hacerlo me salta el error:

Building jupyterlab assets An error occured. RuntimeError: npm dependencies failed to install See the log file for details:

y no se como solucionarlo. espero puedan ayudarme, gracias!